Este documento define conceptos básicos de lógica proposicional como proposiciones, operaciones lógicas (disyunción, conjunción, negación), tablas de verdad, y leyes del álgebra proposicional. También cubre cuantificadores lógicos y funciones proposicionales.
L’OEEO, Organisation d’Entraide des Etudiants en Orthophonie, a été créée en août 2012 à Toulouse. L’association, composée de 12 étudiantes en orthophonie de 2ème et 3ème année, se rend pour la deuxième fois au Centre Educatif Zohour, accueillant près de 200 enfants sourds, à Aït Melloul, près d’Agadir (Maroc). Pendant les deux premières semaines de mars, elles réaliseront cet échange afin d’optimiser l’apport de la prothèse auditive en développant des méthodes d’accompagnement adaptées aux enfants malentendants.
Avant de préparer le coeur du projet (les actions sur place), les étudiantes ont dû passer par l’étape cruciale : réunir le budget nécessaire à leur transport ainsi qu’à l’achat de matériel (instruments de musique, enceintes, peinture, papeterie diverse …). Comme me l’a dit Audrey Delannoy, présidente de l’association, « Le gros travail préalable, c’est vraiment la récolte de fonds ! Sans une grande campagne de communication et sans financement, le projet n’est pas réalisable ! ».
Instrucciones para inscribirse en el CURSO DE VERANO "DERECHOS HUMANOS EN LA ENCRUCIJADA" organizado por Amnistía Internacional del 14 al 18 de julio en el Centro Andaluz de las Letras (Málaga)
Templates in linguistics - Why Garbage GarbageHussein Ghaly
This is my presentation at SQUID 2014 introducing my model for language acquisition that is based mainly on templates. This started with an observation of the patterns used by my son as he was learning to speak. I included a brief survey of other areas in linguistics which also make use of templates; i.e. Information Extraction and Machine Translation.
1. UNIVERSIDAD FERMÍN TORO
VICERRECTORADO ACADEMICO
FACULTAD DE INGENIERÍA
DEPARTAMENTO DE MATEMÁTICA
Asignación Nº2
INTEGRANTE: ALBERT HERRERA
C.I: 19455749
2. PROPOSICIONES:
Una Proposición es un enunciado que puede ser Falso (F) o verdadero (V) pero NO ambas
cosas a la vez o ninguna de ellas en forma simultánea
En general las proposiciones se indican mediante las letras minúsculas a partir de la “p”,
por ejemplo:
p: El 4 es un número PAR.
q: El 15 es un número PRIMO.
r: El 56 NO es divisible entre 3.
EXPRESIONES NO PROPOSICIONALES
a) ¡Levántate temprano!
b) ¿Has entendido lo que es una proposición?
c) ¡Estudia esta lección!
d) ¿Cuál es tu nombre l?
e) Prohibido pasar
f) Borra el pizarrón
No son proposiciones por no poder ser evaluadas como verdaderas ni falsas. Las
exclamaciones, órdenes ni las preguntas son proposiciones
CLASE DE PROPOSICIONES
3. A) Proposición Simple o Atómicas.- Son aquellas proposiciones que constan de un solo
enunciado proposicional .
Por ejemplo, sea la proposición
p: 3 + 6 = 9
B) Proposición Compuesta o molecular.- Son aquellas proposiciones que constan de dos
o más proposiciones simples.
Ejemplo:
r: Pitágoras era griego y era geómetra
p q
Encontramos dos enunciados. El primero (p) nos afirma que Pitágoras era griego y el
segundo (q) que Pitágoras era geómetra.
OPERACIONES DE LA LOGICA MATEMATICA.
4. DISYUNCION.
La Disyunción es una Operación Binaria de la Lógica Matemática
definida entre DOS proposiciones y que da como resultado otra
proposición que será VERDADERA si al menos una de las
proposiciones operadas es verdadera, en caso contrario, es FALSA.
Análisis de la Definición:
1.- Una definición se DA y se acepta COMO válida ya que de inicio es una de las REGLAS
con las que se va a trabajar en cada rama de la matemática. Lo que se le pide a la definición
es que NO se contradiga con el cuerpo de conocimientos aceptados y demostrados como
válidos que conforman a la matemática como metaciencia.
2.- Se define entre DOS proposiciones “ p “ y “ q “.
3.- Se represente mediante el símbolo “ “ y se lee como “ o “. Así: p q: se lee como: “p
o q “.
4.- El resultado es OTRA proposición, característica heredada por ser una Operación Binaria.
5.- Siendo el resultado de una disyunción otra proposición, por definición esta puede ser F o
V.
6.- Así esta Operación se define a partir de validar la proposición resultante.
7.- La que es F si ambas “ p y q “ son F simultáneamente.
8.- Finalmente, con todas las combinaciones que podamos obtener con los valores de verdad
de las proposiciones operadas se construye una tabla de verdad la que nos define
esquemáticamente ésta operación en la forma siguiente:
p q p q
V V V
V F V
F V V
F F F
5. CONJUNCION.
La Conjunción es una Operación Binaria de la Lógica Matemática
definida entre DOS proposiciones y que da como resultado otra
proposición que será VERDADERA si y solo sí las
proposiciones operadas son verdaderas simultáneamente.
Análisis de la Definición:
1.- Nuevamente esta definición se DA y se acepta COMO válida de acuerdo a lo aclarado en
el punto 1 del análisis para la disyunción.
2.- Se define entre DOS proposiciones “ p “ y “ q “.
3.- Se represente mediante el símbolo “ “ y se lee como “ y “. Así: p q: se lee como: “p
y q “.
4.- El resultado es OTRA proposición, característica heredada por ser una Operación Binaria.
5.- Siendo el resultado de una conjunción otra proposición, por definición esta puede ser F o
V.
6.- Asi, esta Operación se define a partir de validar la proposición resultante.
7.- La que es V si ambas “ p y q “ son V simultáneamente en caso contrario es F.
8.- Finalmente, también en este caso podemos construir una tabla de verdad la que nos define
esquemáticamente ésta operación en la forma siguiente:
p q p q
V V V
V F F
F V F
F F F
6. Junto con esta DOS operaciones Binarias, se define otra operación que se aplica sobre una
sola proposición, es decir, NO es una operación binaria. Tal operación es la NEGACION la
que se define en los términos siguientes:
NEGACION
La negación de una proposición “ p “ dada, es otra proposición
que será V si la proposición operada es F y viceversa,
es F si la original es V. Esta operación se representa mediante
el símbolo “ “ y se lee como “ No ”
La correspondiente tabla de verdad es:
p p
V F
F V
IMPLICACIÓN O CONDICIONAL
Implicación de las proposiciones p y q es la proposición p q (si p entonces q). La
proposición p se llama antecedente, y la proposición q se llama consecuente de la
implicación o condicional.
Ejemplo.
Supongamos la implicación
i)Si apruebo, ENTONCES te presto el libro
p q
La implicación está compuesta de las proposiciones
p: apruebo
q: te presto el libro
7. Nos interesa conocer la verdad o falsedad de la implicación i), en relación a la
verdad o falsedad de las proposiciones p y q. El enunciado puede pensarse como un
compromiso, condicionado por p, y podemos asociar su verdad
l cumplimiento del compromiso. Es evidente que si p es F, es decir si no apruebo el
examen, quedo liberado del compromiso y preste o no el apunte la implicación es
verdadera.
Si p es verdadera, es decir si apruebo el examen, y no presto el libro, el compromiso no se
cumple y la proposición i) es falsa. Si p y q son verdaderas, entonces la proposición i) es
verdadera pues el compromiso se cumple.
Tabla de verdad
p q p q
V
V
F
F
V
F
V
F
V
F
V
V
La tabla nos muestra que la implicación sólo es falsa si el antecedente es verdadero y el
consecuente es falsa
DOBLE IMPLICACIÓN O BICONDICIONAL
Doble implicación de las proposiciones p y q es la proposición
p q (se lee "p si y sólo si q")
Ejemplo 1:
p : Karina ingresa a la universidad
q : Karina estudia mucho
Entonces:
p q : Karina ingresa a la universidad si y sólo si estudia mucho.
8. Ejemplo 2:
Sea i) a = b si y sólo si a² = b²
El enunciado está compuesto por las proposiciones:
p: a = b
q: a² = b²
Esta doble implicación es falsa si p es F y q es V. En los demás casos es V.
Tabla de verdad
La doble implicación o bicondicional sólo es verdadera si ambas proposiciones tienen el
mismo valor de verdad.
Diferencia Simétrica
Diferencias simétricas o disyunción en sentido excluyente de las proposiciones p y q es la
proposición p q (se lee "p o q en sentido excluyente") cuya tabla de valores de verdad es:
p q p q
p q p q
V
V
F
F
V
F
V
F
V
F
F
V
9. V
V
F
F
V
F
V
F
F
V
V
F
La verdad de p q está caracterizada por la verdad de una y sólo una de las proposiciones
componentes.
Ejemplo.
Sea i) o vamos a Lima o vamos a Icaqueda claro que sólo podremos ir a uno de los dos
lugares, y sólo a uno. Es decir que el enunciado i) es verdadero sólo si vamos a una de las
dos ciudades. En caso de ir a ambas, o de no ir a ninguna, el enunciado es Falso
TAUTOLOGÍA, CONTRADICCIÓN Y CONTINGENCIA
Al conjunto de proposiciones, conectivos lógicos y símbolos de agrupación lo
denominamos fórmula lógica. Por ejemplo:
~{ (p q) (s t) }
Tautología
Si al evaluar una fórmula lógica, resulta que todos los valores de verdad resultantes son
siempre V para cualquier combinación de sus valores veritativos, decimos que dicha
fórmula es una Tautología o Ley lógica.
Ejemplo.
Si analizamos la proposición t: p ~p realizando su tabla de verdad:
p ~p p ~p
10. Vemos que para cualquier combinación de las proposiciones p y su negación ~p, la
proposición t: p ~p es siempre verdadera. Entonces, la proposición t es una tautología.
Ejemplo.Analizemos ahora la fórmula lógica
{ ( p q ) p } q
En este caso comprobamos también que independientemente de la combinación de valores
de verdad de las proposiciones p y q, el resultado de la fórmula lógica es siempre V.
Decimos, aquí también, que esta fórmula es una tautología o ley lógica.
Contradicción
Si al estudiar una fórmula lógica, a diferencia de los ejemplos anteriores resulta que para
cualquier valor de verdad de las proposiciones intervinientes el resultado de dicha fórmula
es siempre falso, decimos que dicha fórmula es una Contradicción.
Ejemplo
Analicemos la fórmula lógica p ~p
p ~p p ~p
V
F
F
V
V
V
p q p q q p
{ ( p q ) p }
q
V
V
F
F
V
F
V
F
V
F
V
V
V
F
F
F
V
V
V
V
11. V
F
F
V
F
F
Contingencia
Encontramos que la fórmula es siempre falsa, es entonces una Contradicción.
Si una proposición no es una tautología ni una contradicción (es decir que contiene al
menos un valor V y otro F) es una contingencia.
LEYES DEL ÁLGEBRA PROPOSICIONAL
Como bien dijimos arriba, aquellas fórmulas lógicas que resultan ser siempre verdaderas no
importa la combinación de los valores veritativos de sus componentes, son tautologías o
leyes lógicas. En el cálculo proposicional existen algunas tautologías especialmente útiles
cuya demostración se reduce a la confección de su correspondiente tabla de verdad, a saber:
Involución
~(~p) p
(se lee "no, no p, equivale a p")
Idempotencia
(p ~p) p
(p ~p) p
Conmutatividad
a) de la disyunción: p q q p
b) de la conjunción: p q q p
12. Asociatividad
a) de la disyunción: (p q) r p (q r)
b) de la conjunción: (p q) r p (q r)
Distributivita
a)de la conjunción respecto de la disyunción:
(p q) r (p r) (q r)
b)de la disyunción respecto de la conjunción:
(p q) r (p r) (q r)
Leyes de De Morgan
~( p q ) ~p ~q
" La negación de una disyunción equivale a la conjunción de las negaciones"
~( p q ) ~p ~q
"La negación de una conjunción equivale a la disyunción de las negaciones"
Negación de una Implicación
Las proposiciones p q y ~(p ~q) son equivalentes, como vemos realizando la tabla de
valores correspondientes
p q p q (p ~q) ~(p ~q) p q ~(p ~q)
13. Con esto, comprobamos que la negación de la primera equivale a la negación de la
segunda, es decir ~(p q) ~{ ~(p ~q)}, y podemos concluir entonces que:
~( p q ) ( p ~q)
Es decir, la negación de una implicación no es una implicación sino la conjunción del
antecedente con la negación del consecuente.
Funciones proposicionales y cuantificadores
Cuantificadores
A partir de funciones proposicionales es posible obtener proposiciones generales mediante
un proceso llamado de cuantificación. Asociados a la indeterminada x, introducimos los
símbolos x y x, llamados cuantificador universal y cuantificador existencial
respectivamente. Las expresiones
Cuantificador Universal:
Para todo x, se verifica p(x) ,se denota por x : p(x)
Cuantificador existencial
Existe x, tal que se verifica p(x) , se denota por x / p(x)
corresponden a una función proposicional p(x) cuantificada universalmente en el primer
caso, y existencialmente en el segundo.
V
V
F
F
V
F
V
F
V
F
V
V
F
V
F
F
V
F
V
V
V
V
V
V