PRINCIPIOS DE LGICA MATEMTICA

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:

Lima es la capital del Per La luna es un satlite de marte 2+5=0

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.

En el lenguaje cotidiano se encuentran expresiones como por ejemplo:

Las rosas son rojas y tienen espinas. La seleccin Colombia gan o perdi? En el pas no hay violencia. Si estudio lgica matemtica entonces ser un destacado ingeniero de sistemas. 4 es un nmero par si y slo si se puede dividir por 2. Estas expresiones se denominan oraciones y para su formacin se utilizaron las letras y, o, no, si entonces, s y slo si, que sirvieron para unir o enlazar los enunciados.

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.

x : Quieres caf?. y : Quieres t?. x y : quieres caf o t?.

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

Conjuncin Disyuncin Negacin El Condicional o Implicacin El Bicondicional o Equivalencia

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

p: no es cierto que el hombre es mortal; lo que equivale a decir: p: el hombre mortal no es

Disyuncin:

dadas las proposiciones p y q, se llama disyuncin de p y q a la proposicin p o q que se representa por p q.

Ejemplo: Si p: hace frio en invierno y q: Napolen invadi Rusia, Entonces:

p q: Hace frio en invierno o Napolen invadi Rusia

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:

Dadas las proposiciones p y q, se llama conjuncin de p y q a la proposicin p y q representada por p q.

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.

Ejemplo: Si p: 2 es nmero primo y q: 5 es menor que 4. Entonces:

TABLA DE VERDAD

pq es verdadera si p es falsa o q es verdadera

p q p q

pq: si 2 es nmero primo entonces 5 es menor que 4.

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.

Existen varias condicionales as:

formas

de

enunciar

proposiciones

El bicondicional:

se llama bicondicional de dos proposiciones p y q a la proposicin p si y slo si q representada por pq.

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

pq es verdadera si p y q son ambas verdaderas o ambas falsas.

p q p q

V V F F

V F V F

V F F V

Proposiciones simples y proposiciones compuestas

Una proposicin es simple o atmica si no contiene ningn conectivo lgico.
Ejemplo: Lima es la capital del Per.

Una proposicin es compuesta o molecular si contiene al menos un conectivo lgico.

Ejemplo: Hace fro. calor o hace

Sea la proposicin compuesta: (p q) r

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 .

Tablas de verdad de proposiciones compuestas

Una tabla de verdad es una representacin esquemtica de las relaciones entre proposiciones; sirve para determinar los valores de verdad de proposiciones compuestas, las cuales dependen de los conectivos utilizados y de los valores de verdad de sus proposiciones simples.

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

Tablas de verdad de proposiciones compuestas

Para simbolizar los valores de verdad de una proposicin en el sistema binario, se le asigna 1 al valor verdadero y 0 al valor falso. La siguiente tabla resume los valores de verdad de los conectivos lgicos:

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

Construir tablas de verdad:

el nmero de combinaciones posibles ser de

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

Lectura pyq poq Si p entonces q p y solo si q Para todo

Existe

Realizar Taller No. 2

Proposiciones