Documentos de Académico
Documentos de Profesional
Documentos de Cultura
CAPITULO 2
La lgica proposicional o tambin llamada lgica matemtica estudia las proposiciones, entendiendo como tales a los enunciados declarativos que tienen la propiedad de ser verdaderos o falsos; pero no ambas al mismo tiempo.
Ejemplo:
Las proposiciones se representan simblicamente mediante el uso de letras minsculas del alfabeto tales como p, q, r, s, ..., x, y, z, las cuales reciben el nombre de letras o variables proposicionales, de esta forma, el lenguaje proposicional se hace ms simple y exacto que el lenguaje natural. Ejemplo: p : Hoy es sbado. q : Estudio ingeniera de sistemas. r : New York es llamada la capital del mundo. s : 1 no es un nmero primo. x : 4 + 3 = 10. De esta forma se puede establecer una relacin biunvoca entre el lenguaje natural y el lenguaje formal. Estas proposiciones generalmente se llaman frases.
Conectivos Lgicos: Estos trminos de enlace (y, o, no, si entonces, s y slo si,) reciben el nombre de Conectivos lgicos y al igual que a las proposiciones, tambin se les asignan un lenguaje simblico, as:
EJEMPLOS:
p : Las rosas son rojas. q : Las rosas tienen espinas. p q : Las rosas son rojas y tienen espinas. r: La seleccin Colombia gan?. s: La seleccin Colombia perdi?. r s : La seleccin Colombia gan o perdi?. t : En el pas hay violencia. ~ t : En el pas no hay violencia. x : Estudio lgica matemtica y : Ser un destacado ingeniero de sistemas xy : Si estudio lgica matemtica entonces ser un destacado ingeniero de sistemas. u : 4 es un nmero par. v : 4 es divisible por 2. uv : 4 es un nmero par si y slo si es divisible por 2.
Proposiciones simples: Se denominan proposiciones simples aquellas oraciones que no utilizan conectivos lgicos. Estos son algunos ejemplos: p : El eclipse es un fenmeno natural. q : La luna es un satlite de la tierra. r : 2 es el inverso multiplicativo de 2. s: -3 es el inverso aditivo de 3. El valor de verdad de una proposicin simple puede ser verdadero (V) o falso (F), pero no los dos valores al mismo tiempo, pues dejara de ser proposicin. Proposiciones Compuestas: son aquellas que se obtienen combinando dos o ms proposiciones simples mediante trminos de enlace. Estos son algunos ejemplos de proposiciones compuestas: p : Est lloviendo. q: El sol brilla. p q: Est lloviendo y el sol brilla.
La veracidad o falsedad de una proposicin compuesta, depende del valor de verdad de cada una de las proposiciones simples que la conforman y de la forma como estn combinadas.
Los smbolos que sirven para enlazar dos o ms proposiciones simples, se llaman conectivos lgicos, estos son: la conjuncin, la disyuncin, la negacin, el condicional y el bicondicional.
LENGUAJE NATURAL LENGUAJE FORMAL CONECTIVO LGICO
y o No Sientonces Si y solo si
Entre las proposiciones se definen ciertas operaciones denominadas conectivos lgicos . Los principales conectivos lgicos son:
Negacin
Disyuncin
Conjuncin
Condicional
Bicondicional
Negacin:
Dada una proposicin p, se llama negacin de p a la proposicin no p que se representa por p Ejemplo : Si p: el hombre mortal, entonces: TABLA DE VERDAD es
Si p es verdadera p es falsa; si p es falsa, p es verdadera
Disyuncin:
TABLA DE VERDAD
p q es verdadera si p es verdadera o q es verdadera
p q p q
V V F F
V F V F
V V V F
Conjuncin:
Ejemplo: Si p: 2 es mayor que 5 y q: todo nmero impar es primo, Entonces: p q: 2 es mayor que 5 y todo nmero impar es primo
TABLA DE VERDAD
p q es verdadera si p y q son verdaderas simultneamente
p q pq
V V F F
V F V F
V F F F
El condicional:
se llama condicional de p y q a la proposicin si p entonces q y se representa por p q, p se llama antecedente y q consecuente del condicional p q.
TABLA DE VERDAD
V V F F
V F V F
V F V V
El condicional:
se llama condicional de p y q a la proposicin si p entonces q y se representa por p q, p se llama antecedente y q consecuente del condicional p q.
formas
de
enunciar
proposiciones
El bicondicional:
Ejemplo: p: Juan ingresa a la universidad. q: Juan estudia mucho, Entonces: pq: Juan ingresa a la universidad si y slo si estudia mucho.
TABLA DE VERDAD
V V F F
V F V F
V F F V
Distinguimos aqu el condicional como el conectivo lgico principal que caracteriza a la proposicin. Es decir, identificamos a esta proposicin como un condicional. En este caso no es difcil hacer tal identificacin ya que est sugerida por el parntesis el cual nos indica que primero debe efectuarse la disyuncin pq y despus el condicional (pq)r En caso de no existir signos de coleccin, adoptamos la convencin de que el conectivo liga con ms fuerza que o , y a su vez, cada uno de estos liga con mayor fuerza que o .
Ex
P V V F F Q ~Q V F V F
P V V
Q V F V F Q V F V F Q
PvQ V V V F PQ V F F F PQ
(P ~Q) Q
F F P V V F F P
V
V F F P
V
F V F Q
V
F V V PQ
V
V F F Q F
V
F V F
V
F F V ~Q V F
dcpabon@gmail.com
Ex
P V V F F Q ~Q V F V F
P V V
Q V F V F Q V F V F Q
PvQ V V V F PQ V F F F PQ
(P ~Q) Q
F F P V V F F P
V
V F F P
V
F V F Q
V
F V V PQ
V
V F F Q F
V
F V F
V
F F V ~Q V F
dcpabon@gmail.com
Ex
P V V F F Q ~Q V F F V F
P V V
Q V F V F Q V F V F Q
PvQ V V V F PQ V F F F PQ
(P ~Q) Q
F F P V V F F P
V
V F F P
V
F V F Q
V
F V V PQ
V
V F F Q F
V
F V F
V
F F V ~Q V F
dcpabon@gmail.com
Ex
P V V F F Q ~Q V F F V F
P V V
Q V F V F Q V F V F Q
PvQ V V V F PQ V F F F PQ
(P ~Q) Q
F F P V V F F P
V
V F F P
V
F V F Q
V
F V V PQ
V
V F F Q F
V
F V F
V
F F V ~Q V F
dcpabon@gmail.com
Ex
P V V F F Q ~Q V F F V V F
P V V
Q V F V F Q V F V F Q
PvQ V V V F PQ V F F F PQ
(P ~Q) Q
F F P V V F F P
V
V F F P
V
F V F Q
V
F V V PQ
V
V F F Q F
V
F V F
V
F F V ~Q V F
dcpabon@gmail.com
Ex
P V V F F Q ~Q V F F V V F
P V V
Q V F V F Q V F V F Q
PvQ V V V F PQ V F F F PQ
(P ~Q) Q
F F P V V F F P
V
V F F P
V
F V F Q
V
F V V PQ
V
V F F Q F
V
F V F
V
F F V ~Q V F
dcpabon@gmail.com
Ex
P V V F F Q ~Q V F F V V F F
P V V
Q V F V F Q V F V F Q
PvQ V V V F PQ V F F F PQ
(P ~Q) Q
F F P V V F F P
V
V F F P
V
F V F Q
V
F V V PQ
V
V F F Q F
V
F V F
V
F F V ~Q V F
dcpabon@gmail.com
Ex
P V V F F Q ~Q V F F V V F F
P V V
Q V F V F Q V F V F Q
PvQ V V V F PQ V F F F PQ
(P ~Q) Q
F F P V V F F P
V
V F F P
V
F V F Q
V
F V V PQ
V
V F F Q F
V
F V F
V
F F V ~Q V F
dcpabon@gmail.com
Ex
P V V F F Q ~Q V F F V V F F V
P V V
Q V F V F Q V F V F Q
PvQ V V V F PQ V F F F PQ
(P ~Q) Q
F F P V V F F P
V
V F F P
V
F V F Q
V
F V V PQ
V
V F F Q F
V
F V F
V
F F V ~Q V F
dcpabon@gmail.com
Ex
P V V F F
P V V
Q V F V F Q V F V F Q
PvQ V V V F PQ V F F F PQ
(P ~Q) Q
Q ~Q P~Q V F F V V F F V
F F P V V F F P
V
V F F P
V
F V F Q
V
F V V PQ
V
V F F Q F
V
F V F
V
F F V ~Q V F
dcpabon@gmail.com
Ex
P V V F F
P V V
Q V F V F Q V F V F Q
PvQ V V V F PQ V F F F PQ
(P ~Q) Q
Q ~Q P~Q V F F V V F F V
F F P V V F F P
V
V F F P
V
F V F Q
V
F V V PQ
V
V F F Q F
V
F V F
V
F F V ~Q V F
dcpabon@gmail.com
Ex
P V V F F
P V V
Q V F V F Q V F V F Q
PvQ V V V F PQ V F F F PQ
(P ~Q) Q
Q ~Q P~Q V F F F V V F F V
F F P V V F F P
V
V F F P
V
F V F Q
V
F V V PQ
V
V F F Q F
V
F V F
V
F F V ~Q V F
dcpabon@gmail.com
Ex
P V V F F
P V V
Q V F V F Q V F V F Q
PvQ V V V F PQ V F F F PQ
(P ~Q) Q
Q ~Q P~Q V F F F V V F F V
F F P V V F F P
V
V F F P
V
F V F Q
V
F V V PQ
V
V F F Q F
V
F V F
V
F F V ~Q V F
dcpabon@gmail.com
Ex
P V V F F
P V V
Q V F V F Q V F V F Q
PvQ V V V F PQ V F F F PQ
(P ~Q) Q
Q ~Q P~Q V F F F V V V F F V
F F P V V F F P
V
V F F P
V
F V F Q
V
F V V PQ
V
V F F Q F
V
F V F
V
F F V ~Q V F
dcpabon@gmail.com
Ex
P V V F F
P V V
Q V F V F Q V F V F Q
PvQ V V V F PQ V F F F PQ
(P ~Q) Q
Q ~Q P~Q V F F F V V V F F V
F F P V V F F P
V
V F F P
V
F V F Q
V
F V V PQ
V
V F F Q F
V
F V F
V
F F V ~Q V F
dcpabon@gmail.com
Ex
P V V F F
P V V
Q V F V F Q V F V F Q
PvQ V V V F PQ V F F F PQ
(P ~Q) Q
Q ~Q P~Q V F F F V V V F F F V
F F P V V F F P
V
V F F P
V
F V F Q
V
F V V PQ
V
V F F Q F
V
F V F
V
F F V ~Q V F
dcpabon@gmail.com
Ex
P V V F F
P V V
Q V F V F Q V F V F Q
PvQ V V V F PQ V F F F PQ
(P ~Q) Q
Q ~Q P~Q V F F F V V V F F F V
F F P V V F F P
V
V F F P
V
F V F Q
V
F V V PQ
V
V F F Q F
V
F V F
V
F F V ~Q V F
dcpabon@gmail.com
Ex
P V V F F
P V V
Q V F V F Q V F V F Q
PvQ V V V F PQ V F F F PQ
(P ~Q) Q
Q ~Q P~Q V F F F V V V F F F V F
F F P V V F F P
V
V F F P
V
F V F Q
V
F V V PQ
V
V F F Q F
V
F V F
V
F F V ~Q V F
dcpabon@gmail.com
Ex
P V V F F
P V V
Q V F V F Q V F V F Q
PvQ V V V F PQ V F F F PQ
(P ~Q) Q
Q ~Q P~Q (P ~Q)Q V F F F V V V F F F V F
F F P V V F F P
V
V F F P
V
F V F Q
V
F V V PQ
V
V F F Q F
V
F V F
V
F F V ~Q V F
dcpabon@gmail.com
Ex
P V V F F
P V V
Q V F V F Q V F V F Q
PvQ V V V F PQ V F F F PQ
(P ~Q) Q
Q ~Q P~Q (P ~Q)Q V F F F V V V F F F V F
F F P V V F F P
V
V F F P
V
F V F Q
V
F V V PQ
V
V F F Q F
V
F V F
V
F F V ~Q V F
dcpabon@gmail.com
Ex
P V V F F
P V V
Q V F V F Q V F V F Q
PvQ V V V F PQ V F F F PQ
(P ~Q) Q
Q ~Q P~Q (P ~Q)Q V F F F F V V V F F F V F
F F P V V F F P
V
V F F P
V
F V F Q
V
F V V PQ
V
V F F Q F
V
F V F
V
F F V ~Q V F
dcpabon@gmail.com
Ex
P V V F F
P V V
Q V F V F Q V F V F Q
PvQ V V V F PQ V F F F PQ
(P ~Q) Q
Q ~Q P~Q (P ~Q)Q V F F F F V V V F F F V F
F F P V V F F P
V
V F F P
V
F V F Q
V
F V V PQ
V
V F F Q F
V
F V F
V
F F V ~Q V F
dcpabon@gmail.com
Ex
P V V F F
P V V
Q V F V F Q V F V F Q
PvQ V V V F PQ V F F F PQ
(P ~Q) Q
Q ~Q P~Q (P ~Q)Q V F F F F V V F V F F F V F
F F P V V F F P
V
V F F P
V
F V F Q
V
F V V PQ
V
V F F Q F
V
F V F
V
F F V ~Q V F
dcpabon@gmail.com
Ex
P V V F F
P V V
Q V F V F Q V F V F Q
PvQ V V V F PQ V F F F PQ
(P ~Q) Q
Q ~Q P~Q (P ~Q)Q V F F F F V V F V F F F V F
F F P V V F F P
V
V F F P
V
F V F Q
V
F V V PQ
V
V F F Q F
V
F V F
V
F F V ~Q V F
dcpabon@gmail.com
Ex
P V V F F
P V V
Q V F V F Q V F V F Q
PvQ V V V F PQ V F F F PQ
(P ~Q) Q
Q ~Q P~Q (P ~Q)Q V F F F F V V F V F F F F V F
F F P V V F F P
V
V F F P
V
F V F Q
V
F V V PQ
V
V F F Q F
V
F V F
V
F F V ~Q V F
dcpabon@gmail.com
Ex
P V V F F
P V V
Q V F V F Q V F V F Q
PvQ V V V F PQ V F F F PQ
(P ~Q) Q
Q ~Q P~Q (P ~Q)Q V F F F F V V F V F F F F V F
F F P V V F F P
V
V F F P
V
F V F Q
V
F V V PQ
V
V F F Q F
V
F V F
V
F F V ~Q V F
dcpabon@gmail.com
Ex
P V V F F
P V V
Q V F V F Q V F V F Q
PvQ V V V F PQ V F F F PQ
(P ~Q) Q
Q ~Q P~Q (P ~Q)Q V F F F F V V F V F F F F V F F
F F P V V F F P
V
V F F P
V
F V F Q
V
F V V PQ
V
V F F Q F
V
F V F
V
F F V ~Q V F
dcpabon@gmail.com
Ex
P V V F F
P V V
Q V F V F Q V F V F Q
PvQ V V V F PQ V F F F PQ
(P ~Q) Q
Q ~Q P~Q (P ~Q)Q V F F F F V V F V F F F F V F F
F F P V V F F P
V
V F F P
V
F V F Q
V
F V V PQ
V
V F F Q F
V
F V F
V
F F V ~Q V F
dcpabon@gmail.com
Ex
P 1 1 0 0 Q ~Q 1 0 1 0
P 1 1
Q 1 0 1 0 Q 1 0 1 0 Q
PvQ 1 1 1 0 PQ 1 0 0 0 PQ
(P ~Q) Q
0 0 P 1 1 0 0 P
1
1 0 0 P
1
0 1 0 Q
1
0 1 1 PQ
1
1 0 0 Q 0
1
0 1 0
1
0 0 1 ~Q 1 0
dcpabon@gmail.com
Ex
P 1 1 0 0 Q ~Q 1 0 1 0
P 1 1
Q 1 0 1 0 Q 1 0 1 0 Q
PvQ 1 1 1 0 PQ 1 0 0 0 PQ
(P ~Q) Q
0 0 P 1 1 0 0 P
1
1 0 0 P
1
0 1 0 Q
1
0 1 1 PQ
1
1 0 0 Q 0
1
0 1 0
1
0 0 1 ~Q 1 0
dcpabon@gmail.com
Ex
P 1 1 0 0 Q ~Q 1 0 0 1 0
P 1 1
Q 1 0 1 0 Q 1 0 1 0 Q
PvQ 1 1 1 0 PQ 1 0 0 0 PQ
(P ~Q) Q
0 0 P 1 1 0 0 P
1
1 0 0 P
1
0 1 0 Q
1
0 1 1 PQ
1
1 0 0 Q 0
1
0 1 0
1
0 0 1 ~Q 1 0
dcpabon@gmail.com
Ex
P 1 1 0 0 Q ~Q 1 0 0 1 0
P 1 1
Q 1 0 1 0 Q 1 0 1 0 Q
PvQ 1 1 1 0 PQ 1 0 0 0 PQ
(P ~Q) Q
0 0 P 1 1 0 0 P
1
1 0 0 P
1
0 1 0 Q
1
0 1 1 PQ
1
1 0 0 Q 0
1
0 1 0
1
0 0 1 ~Q 1 0
dcpabon@gmail.com
Ex
P 1 1 0 0 Q ~Q 1 0 0 1 1 0
P 1 1
Q 1 0 1 0 Q 1 0 1 0 Q
PvQ 1 1 1 0 PQ 1 0 0 0 PQ
(P ~Q) Q
0 0 P 1 1 0 0 P
1
1 0 0 P
1
0 1 0 Q
1
0 1 1 PQ
1
1 0 0 Q 0
1
0 1 0
1
0 0 1 ~Q 1 0
dcpabon@gmail.com
Ex
P 1 1 0 0 Q ~Q 1 0 0 1 1 0
P 1 1
Q 1 0 1 0 Q 1 0 1 0 Q
PvQ 1 1 1 0 PQ 1 0 0 0 PQ
(P ~Q) Q
0 0 P 1 1 0 0 P
1
1 0 0 P
1
0 1 0 Q
1
0 1 1 PQ
1
1 0 0 Q 0
1
0 1 0
1
0 0 1 ~Q 1 0
dcpabon@gmail.com
Ex
P 1 1 0 0 Q ~Q 1 0 0 1 1 0 0
P 1 1
Q 1 0 1 0 Q 1 0 1 0 Q
PvQ 1 1 1 0 PQ 1 0 0 0 PQ
(P ~Q) Q
0 0 P 1 1 0 0 P
1
1 0 0 P
1
0 1 0 Q
1
0 1 1 PQ
1
1 0 0 Q 0
1
0 1 0
1
0 0 1 ~Q 1 0
dcpabon@gmail.com
Ex
P 1 1 0 0 Q ~Q 1 0 0 1 1 0 0
P 1 1
Q 1 0 1 0 Q 1 0 1 0 Q
PvQ 1 1 1 0 PQ 1 0 0 0 PQ
(P ~Q) Q
0 0 P 1 1 0 0 P
1
1 0 0 P
1
0 1 0 Q
1
0 1 1 PQ
1
1 0 0 Q 0
1
0 1 0
1
0 0 1 ~Q 1 0
dcpabon@gmail.com
Ex
P 1 1 0 0 Q ~Q 1 0 0 1 1 0 0 1
P 1 1
Q 1 0 1 0 Q 1 0 1 0 Q
PvQ 1 1 1 0 PQ 1 0 0 0 PQ
(P ~Q) Q
0 0 P 1 1 0 0 P
1
1 0 0 P
1
0 1 0 Q
1
0 1 1 PQ
1
1 0 0 Q 0
1
0 1 0
1
0 0 1 ~Q 1 0
dcpabon@gmail.com
Ex
P 1 1 0 0
P 1 1
Q 1 0 1 0 Q 1 0 1 0 Q
PvQ 1 1 1 0 PQ 1 0 0 0 PQ
(P ~Q) Q
Q ~Q P~Q 1 0 0 1 1 0 0 1
0 0 P 1 1 0 0 P
1
1 0 0 P
1
0 1 0 Q
1
0 1 1 PQ
1
1 0 0 Q 0
1
0 1 0
1
0 0 1 ~Q 1 0
dcpabon@gmail.com
Ex
P 1 1 0 0
P 1 1
Q 1 0 1 0 Q 1 0 1 0 Q
PvQ 1 1 1 0 PQ 1 0 0 0 PQ
(P ~Q) Q
Q ~Q P~Q 1 0 0 1 1 0 0 1
0 0 P 1 1 0 0 P
1
1 0 0 P
1
0 1 0 Q
1
0 1 1 PQ
1
1 0 0 Q 0
1
0 1 0
1
0 0 1 ~Q 1 0
dcpabon@gmail.com
Ex
P 1 1 0 0
P 1 1
Q 1 0 1 0 Q 1 0 1 0 Q
PvQ 1 1 1 0 PQ 1 0 0 0 PQ
(P ~Q) Q
Q ~Q P~Q 1 0 0 0 1 1 0 0 1
0 0 P 1 1 0 0 P
1
1 0 0 P
1
0 1 0 Q
1
0 1 1 PQ
1
1 0 0 Q 0
1
0 1 0
1
0 0 1 ~Q 1 0
dcpabon@gmail.com
Ex
P 1 1 0 0
P 1 1
Q 1 0 1 0 Q 1 0 1 0 Q
PvQ 1 1 1 0 PQ 1 0 0 0 PQ
(P ~Q) Q
Q ~Q P~Q 1 0 0 0 1 1 0 0 1
0 0 P 1 1 0 0 P
1
1 0 0 P
1
0 1 0 Q
1
0 1 1 PQ
1
1 0 0 Q 0
1
0 1 0
1
0 0 1 ~Q 1 0
dcpabon@gmail.com
Ex
P 1 1 0 0
P 1 1
Q 1 0 1 0 Q 1 0 1 0 Q
PvQ 1 1 1 0 PQ 1 0 0 0 PQ
(P ~Q) Q
Q ~Q P~Q 1 0 0 0 1 1 1 0 0 1
0 0 P 1 1 0 0 P
1
1 0 0 P
1
0 1 0 Q
1
0 1 1 PQ
1
1 0 0 Q 0
1
0 1 0
1
0 0 1 ~Q 1 0
dcpabon@gmail.com
Ex
P 1 1 0 0
P 1 1
Q 1 0 1 0 Q 1 0 1 0 Q
PvQ 1 1 1 0 PQ 1 0 0 0 PQ
(P ~Q) Q
Q ~Q P~Q 1 0 0 0 1 1 1 0 0 1
0 0 P 1 1 0 0 P
1
1 0 0 P
1
0 1 0 Q
1
0 1 1 PQ
1
1 0 0 Q 0
1
0 1 0
1
0 0 1 ~Q 1 0
dcpabon@gmail.com
Ex
P 1 1 0 0
P 1 1
Q 1 0 1 0 Q 1 0 1 0 Q
PvQ 1 1 1 0 PQ 1 0 0 0 PQ
(P ~Q) Q
Q ~Q P~Q 1 0 0 0 1 1 1 0 0 0 1
0 0 P 1 1 0 0 P
1
1 0 0 P
1
0 1 0 Q
1
0 1 1 PQ
1
1 0 0 Q 0
1
0 1 0
1
0 0 1 ~Q 1 0
dcpabon@gmail.com
Ex
P 1 1 0 0
P 1 1
Q 1 0 1 0 Q 1 0 1 0 Q
PvQ 1 1 1 0 PQ 1 0 0 0 PQ
(P ~Q) Q
Q ~Q P~Q 1 0 0 0 1 1 1 0 0 0 1
0 0 P 1 1 0 0 P
1
1 0 0 P
1
0 1 0 Q
1
0 1 1 PQ
1
1 0 0 Q 0
1
0 1 0
1
0 0 1 ~Q 1 0
dcpabon@gmail.com
Ex
P 1 1 0 0
P 1 1
Q 1 0 1 0 Q 1 0 1 0 Q
PvQ 1 1 1 0 PQ 1 0 0 0 PQ
(P ~Q) Q
Q ~Q P~Q 1 0 0 0 1 1 1 0 0 0 1 0
0 0 P 1 1 0 0 P
1
1 0 0 P
1
0 1 0 Q
1
0 1 1 PQ
1
1 0 0 Q 0
1
0 1 0
1
0 0 1 ~Q 1 0
dcpabon@gmail.com
Ex
P 1 1 0 0
P 1 1
Q 1 0 1 0 Q 1 0 1 0 Q
PvQ 1 1 1 0 PQ 1 0 0 0 PQ
(P ~Q) Q
Q ~Q P~Q (P ~Q)Q 1 0 0 0 1 1 1 0 0 0 1 0
0 0 P 1 1 0 0 P
1
1 0 0 P
1
0 1 0 Q
1
0 1 1 PQ
1
1 0 0 Q 0
1
0 1 0
1
0 0 1 ~Q 1 0
dcpabon@gmail.com
Ex
P 1 1 0 0
P 1 1
Q 1 0 1 0 Q 1 0 1 0 Q
PvQ 1 1 1 0 PQ 1 0 0 0 PQ
(P ~Q) Q
Q ~Q P~Q (P ~Q)Q 1 0 0 0 1 1 1 0 0 0 1 0
0 0 P 1 1 0 0 P
1
1 0 0 P
1
0 1 0 Q
1
0 1 1 PQ
1
1 0 0 Q 0
1
0 1 0
1
0 0 1 ~Q 1 0
dcpabon@gmail.com
Ex
P 1 1 0 0
P 1 1
Q 1 0 1 0 Q 1 0 1 0 Q
PvQ 1 1 1 0 PQ 1 0 0 0 PQ
(P ~Q) Q
Q ~Q P~Q (P ~Q)Q 1 0 0 0 0 1 1 1 0 0 0 1 0
0 0 P 1 1 0 0 P
1
1 0 0 P
1
0 1 0 Q
1
0 1 1 PQ
1
1 0 0 Q 0
1
0 1 0
1
0 0 1 ~Q 1 0
dcpabon@gmail.com
Ex
P 1 1 0 0
P 1 1
Q 1 0 1 0 Q 1 0 1 0 Q
PvQ 1 1 1 0 PQ 1 0 0 0 PQ
(P ~Q) Q
Q ~Q P~Q (P ~Q)Q 1 0 0 0 0 1 1 1 0 0 0 1 0
0 0 P 1 1 0 0 P
1
1 0 0 P
1
0 1 0 Q
1
0 1 1 PQ
1
1 0 0 Q 0
1
0 1 0
1
0 0 1 ~Q 1 0
dcpabon@gmail.com
Ex
P 1 1 0 0
P 1 1
Q 1 0 1 0 Q 1 0 1 0 Q
PvQ 1 1 1 0 PQ 1 0 0 0 PQ
(P ~Q) Q
Q ~Q P~Q (P ~Q)Q 1 0 0 0 0 1 1 0 1 0 0 0 1 0
0 0 P 1 1 0 0 P
1
1 0 0 P
1
0 1 0 Q
1
0 1 1 PQ
1
1 0 0 Q 0
1
0 1 0
1
0 0 1 ~Q 1 0
dcpabon@gmail.com
Ex
P 1 1 0 0
P 1 1
Q 1 0 1 0 Q 1 0 1 0 Q
PvQ 1 1 1 0 PQ 1 0 0 0 PQ
(P ~Q) Q
Q ~Q P~Q (P ~Q)Q 1 0 0 0 0 1 1 0 1 0 0 0 1 0
0 0 P 1 1 0 0 P
1
1 0 0 P
1
0 1 0 Q
1
0 1 1 PQ
1
1 0 0 Q 0
1
0 1 0
1
0 0 1 ~Q 1 0
dcpabon@gmail.com
Ex
P 1 1 0 0
P 1 1
Q 1 0 1 0 Q 1 0 1 0 Q
PvQ 1 1 1 0 PQ 1 0 0 0 PQ
(P ~Q) Q
Q ~Q P~Q (P ~Q)Q 1 0 0 0 0 1 1 0 1 0 0 0 0 1 0
0 0 P 1 1 0 0 P
1
1 0 0 P
1
0 1 0 Q
1
0 1 1 PQ
1
1 0 0 Q 0
1
0 1 0
1
0 0 1 ~Q 1 0
dcpabon@gmail.com
Ex
P 1 1 0 0
P 1 1
Q 1 0 1 0 Q 1 0 1 0 Q
PvQ 1 1 1 0 PQ 1 0 0 0 PQ
(P ~Q) Q
Q ~Q P~Q (P ~Q)Q 1 0 0 0 0 1 1 0 1 0 0 0 0 1 0
0 0 P 1 1 0 0 P
1
1 0 0 P
1
0 1 0 Q
1
0 1 1 PQ
1
1 0 0 Q 0
1
0 1 0
1
0 0 1 ~Q 1 0
dcpabon@gmail.com
Ex
P 1 1 0 0
P 1 1
Q 1 0 1 0 Q 1 0 1 0 Q
PvQ 1 1 1 0 PQ 1 0 0 0 PQ
(P ~Q) Q
Q ~Q P~Q (P ~Q)Q 1 0 0 0 0 1 1 0 1 0 0 0 0 1 0 0
0 0 P 1 1 0 0 P
1
1 0 0 P
1
0 1 0 Q
1
0 1 1 PQ
1
1 0 0 Q 0
1
0 1 0
1
0 0 1 ~Q 1 0
dcpabon@gmail.com
Ex
P 1 1 0 0
P 1 1
Q 1 0 1 0 Q 1 0 1 0 Q
PvQ 1 1 1 0 PQ 1 0 0 0 PQ
(P ~Q) Q
Q ~Q P~Q (P ~Q)Q 1 0 0 0 0 1 1 0 1 0 0 0 0 1 0 0
0 0 P 1 1 0 0 P
1
1 0 0 P
1
0 1 0 Q
1
0 1 1 PQ
1
1 0 0 Q 0
1
0 1 0
1
0 0 1 ~Q 1 0
dcpabon@gmail.com
2 x 2 x 2 = 23 = 8
Veamos: Para construir una tabla de verdad de 3 proposiciones simples partimos asignado 4 valores verdaderos y 4 falsos, para la segunda columna asignaremos de a 2 valores de verdad, para la tercera de a 1
76
Tautologa y Contradicciones
En lgica proposicional es de mucha importancia el estudio de las proposiciones compuestas que tienen la propiedad de ser verdaderas siempre, dichas proposiciones se denominan tautologas. Una proposicin compuesta es una contradiccin si es siempre falsa, cualesquiera sean los valores de verdad de sus componentes.
Nota: las proposiciones que no son tautologas ni contradicciones se llaman contingencias o indeterminacin.
CUANTIFICADORES
Una proposicin cuantificada es aquella en la que se sabe cuntos elementos la satisfacen.
Ejemplos: Existe un x, tal que x+5=12. Ningn gato es blanco. Todos los animales son mamferos. Ningn caballo vuela.
Las palabras todos, existe un, ningn, que nos dicen cuntos, se denominan cuantificadores. Los cuantificadores se dividen en universales y existenciales.
CUANTIFICADORES UNIVERSALES
El cuantificador universal es todos y representa por el smbolo:
La expresin, x, xZ, significa que para todo x (para cualquier x), x es un elemento del conjunto Z.
CUANTIFICADORES EXISTENCIALES
El cuantificador existencial es existen algunos y se representa con el smbolo .
La expresin, x/x+3=8, significa que existe algn x tal que x+3=8.
NO OLVIDAR:
p p p p Smbolos q q q q Significado conjuncin disyuncin condicional bicondicional
cuantificador universal
cuantificador existencial
Existe