Lgica proposicional

Una proposicin es cualquier enunciado lgico al que se le pueda asignar un valor de verdad (V) o falsedad (F). Dada una proposicin p, se define la negacin de p como la proposicin p' que es verdadera cuando p es falsa y que es falsa cuando p es verdadera. Se lee "no p". A partir de una o varias proposiciones elementales se pueden efectuar diversas operaciones lgicas para construir nuevas proposiciones; en este caso, se necesita conocer su valor de verdad o falsedad en funcin de los valores de las proposiciones de que se componen, lo cual se realiza a travs de las tablas de verdad de dichas operaciones. Por ejemplo, la tabla de verdad de la negacin es la siguiente: p V F p' F V

A continuacin se describen las principales operaciones lgicas entre dos proposiciones p,q y sus tablas de verdad: Conjuncin: es aquella proposicin que es verdadera cuando p y q son verdaderas, y falsa en cualquier otro caso. Se escribe p q, y se lee "p y q". p q pq V V V F F V F F V F F F

Disyuncin: es aquella proposicin que es verdadera cuando al menos una de las dos p o q es verdadera, y falsa en caso contrario. Se escribe p q, y se lee "p o q". p q pq V V V F F V F F V V V F

Disyuncin exclusiva: es aquella proposicin que es verdadera cuando una y slo una de las dos p o q es verdadera, y falsa en cualquier otro caso. Se escribe p q, y se lee "p o q pero no ambas". Se usa muy poco. p q pq V V V F F V F F F V V F

Condicional: es aquella proposicin que es falsa nicamente cuando la condicin suficiente p es verdadera y la condicin necesaria q es falsa. Se escribe p q, y se lee "si p entonces q". p q pq V V V F F V F F V F V V

Bicondicional: es aquella proposicin que es verdadera cuando p y q tienen el mismo valor de verdad, y falsa en caso contrario. Se escribe p q, y se lee "si y slo si p entonces q". P q pq V V V F F V F F V F F V

Una proposicin se dice que es una tautologa si su valor de verdad es siempre V independientemente de los valores de las proposiciones que lo componen; por ejemplo: p p'. Una proposicin se dice que es una contradiccin si su valor de verdad es siempre F independientemente de los valores de las proposiciones que lo componen; por ejemplo: p p'. Una paradoja es una proposicin a la que no se le puede asignar ningn valor de verdad; suelen estar relacionadas con incorrecciones en el lenguaje lgico. Por ejemplo: p="la proposicin p es falsa".

TALLER 2 LGICA MATEMTICA PRINCIPIOS DE LGICA 1. Diga si las siguientes expresiones son proposiciones o no, y en tal caso d su valor de verdad. Si son proposiciones compuestas identificar el conectivo lgico que se usa. a. Colombia est en Europa Proposicin simple Colombia est en Amrica b. 1>5 Proposicin simple 5>1 c. Hoy es lunes Proposicin simple Hoy es jueves d. Si 3+2=7, entonces 4+4=8 Proposicin compuesta conectivo entonces Si 3+2=5, entonces 4+4=8 e. No es verdad que 2+2=5, si, y solo s, 4+4=10 Proposicin bicondicional verdadera conectivo si, y solo si, f. Pars est en Inglaterra o Londres est en Francia Proposicin compuesta conectivo o Paris esta en Francia o Londres en Inglaterra g. Buenos das No es proposicin h. Los cocodrilos pueden volar Proposicin simple Los cocodrilos no pueden volar i. Esta expresin es falsa No es una proposicion j. Quien alaga a todos, no alaga a nadie No es proposicin k. Las matemticas son agradables Proposicin abierta l. No es verdad que 1+1=3 o que 2+1=3 Proposicin compuesta Verdadero conectivo (o) m. El 26 de febrero fue sbado Proposicin simple n. Es falso que Pars est en Inglaterra, entonces Londres est en Francia Proposicin compuesta Verdadero conectivo (entonces) 2. Escribir en forma simblica los siguientes enunciados: p=juan es rico q=feliz

a. Juan es rico y feliz

pq
b. Juan no puede ser rico y feliz

~p q
c. Si Juan es pobre, entonces es feliz

~p q
d. Juan es pobre solo si es infeliz ~p q e. Juan es pobre o bien es rico e infeliz ~p v p q f. Juan es pobre pero feliz

~p q
g. Si Juan no es pobre y feliz, entonces Juan es rico

p q p
h. Juan pobre implica que Juan es feliz

~p q
3. Sean p, q y r proposiciones. Determinar cules de las siguientes proposiciones compuestas son tautolgicas, contradictorias o contingentes: a. p q p r Contingente b. p p q Contingente c. p ~ (q v p) Contradictoria d. (p q) (~q p) Tautolgica e. (p q) (p ~q) Contradictoria f. p ~ ((p v q) v r) Contradictoria g. p ~ ((p v q) v r) Contradictoria h. p v (~p v r)

Tautolgica 4. Construya la tabla de verdad para las siguientes proposiciones compuestas: a. [p (~q p)] ~[(p~q)(q v ~p)]
p V V F F q V F V F

~q ~p
F V F V F F V V

(~q p)

p (~q p)

(p~q)

(q v ~p)

*(p~q)(q v ~p)]

~*(p~q)(q v ~p)+

*p (~q p)+ ~*(p~q)(q v ~p)+

V V V F

V V F F

F V V F

V F V V

V F V V

F V F F

F V F F

b. [p v (q ~r)] [ (~p v r) ~q]

p q r ~r (q ~r) *p v (q ~r)+ ~p ~q (~p v r) (~p v r) ~q *p v (q ~r)+ *(~p v r) ~q+

V V V V F F F F

V V F F V V F F

V F V F V F V F

F V F V F V F V

F V V V F V V V

V V V V F V V V

F F F F V V V V

F F V V F F V V

V F V F V V V V

F V V F F F V V

F V V F F F V V

c. (~p ~q)~[p q) ~q p)]

p V V F F q V F V F ~p F F V V ~q (~p ~q) F F V F F F V V (pq) (~q p) (pq)(~q p) ~*(pq)(~q p) (~p ~q)~*(pq)(~q p)+ V F F V F F V F V F F F F V F F F F V V

d. q[( p q )p]
d V V F F q ( pq ) *( pq )p+ q*( pq )p+ V V V V F F V V V F F V F F F V