LOGICA PROPOSICIONAL

1. INTRODUCCIN La lgica estudia la forma de razonamiento. Es una disciplina que se utiliza para determinar si un argumento es vlido, tiene aplicacin en todos los campos del saber; en la filosofa, para determinar si un razonamiento es vlido o no, ya que una frase puede tener diferentes interpretaciones; sin embargo la lgica permite saber el significado correcto. Los matemticos usan la lgica, para demostrar teoremas e inferir resultados que puedan ser aplicados en investigaciones. En la computacin, para revisar programas y crear sus algoritmos, es utilizada en el diseo de computadoras. Existen circuitos integrados que realizan operaciones lgicas con los bits, gracias a estos se ha desarrollado las telecomunicaciones (telefona mvil, internet,...) ENUNCIADO: Es cualquier frase u oracin que expresa una idea. PROPOSICIN: Son oraciones aseverativas que se pueden calificar como verdaderas o falsas. Se representan con las letras minsculas del abecedario: p ; q ; r ; s. Ejemplo: * * * Tpac Amaru muri decapitado. 9 < 10 45 = 3 - 2 Proposicin Simple: Son proposiciones que no tienen conjunciones gramaticales ni adverbio de negacin. Ejemplo: * Cincuenta es mltiplo de diez. Proposicin Compuesta: Formada por dos o ms proposiciones simples unidas por conectivos lgicos o por el adverbio de negacin. Ejemplo: * 29 es un nmero primo y 5 es impar.

2.

CONECTIVOS LGICOS: Smbolos que enlazan dos o ms proposiciones simples para formar una proposicin compuesta. Los conectores lgicos que usaremos son: SMBOLO ~ OPERACIN LGICA Negacin Conjuncin Disyuncin Condicional Bicondicional Disyuncin Exclusiva SIGNIFICADO No p pyq poq Si p, entonces q p si y slo si q "o ........ o ........"

OBS: La negacin es un conector mondico, afecta solamente a una proposicin. OPERACIONES LGICAS Y TABLAS DE VERDAD La validez de una proposicin compuesta depende de los valores de verdad de las proposiciones simples que la componen y se determina mediante una tabla de verdad. 1. Conjuncin: Vincula dos proposiciones mediante el conectivo lgico "y". Tabla de Verdad p q V F V F p V F F F q

ENUNCIADO ABIERTO: Son enunciados que pueden tomar cualquiera de los 2 valores de verdad. Ejemplo: Si:

P ( x) : x > 6 P ( 9) : 9 > 6 es verdadero P ( 2) : 2 > 6 es falso

Se cumple que:

El valor de verdad de P(x) depende del valor de x, tambin, se le conoce como funcin proposicional. CLASES DE PROPOSICIONES:

V V F F

2.

Disyuncin: Vincula dos proposiciones mediante el conectivo lgico "o". Tabla de Verdad

Tabla de Verdad

p ~ p V F F V

p V V F F
3.

q V F V F

V V V F

OBSERVACIN: La cantidad de filas en una tabla es:

f i l an s

Donde n es la cantidad de proposiciones simples. Disyuncin Exclusiva: Vincula dos proposiciones mediante el conectivo lgico: "o ..........., o ............." Tabla de Verdad IMPORTANTE: * Cuando los valores del operador principal son todos verdaderos se dice que el esquema molecular es tautolgico. Se dir que el esquema molecular es contradictorio si los valores del operador principal son todos falsos. Si los valores del operador principal tiene por lo menos una verdad y una falsedad se dice que es contingente o consistente. LEYES DE LGEBRA PROPOSICIONAL Son equivalencias lgicas que nos permiten reducir esquemas moleculares complejos y expresarlos en forma ms sencilla. Las demostraciones de dichas leyes se hacen construyendo la tabla de verdad en cada caso. Principales Leyes: a. Ley de Idempotencia:

p V V F F
4.

q V F V F

F V V F

Condicional: Vincula dos proposiciones mediante el conectivo lgico: "Si ............, entonces .............." Tabla de Verdad

p V V F F

q V F V F

V F V V F

p p p p p p p q q p p q q p ( p q ) r p (q r ) ( p q ) r p (q r )

b. 5. Bicondicional: Vincula dos mediante el conectivo lgico: ".............. si y slo si .............." proposiciones c.

Ley Conmutativa:

Ley Asociativa:

Tabla de Verdad

d.

Ley Distributiva:

p ( q r ) ( p q) ( p r ) p ( q r ) ( p q) ( p r )

p V V F F
6.

q V F V F

V F F V

q
e. f.

Ley de la Doble Negacin: Leyes de Identidad:

~ (~ p ) p

p V V ; p F p p V p ; p F F p ~p V p ~p F
pq ~ p q

Negacin: Afecta a una sola proposicin. Es un operador mondico que cambia el valor de verdad de una proposicin:

g.

Leyes del Complemento:

h.

Ley del Condicional:

i.

Ley de la Bicondicional:

2.

p q ( p q) (q p) p q ( p q ) (~ p ~q) p q ~ ( p D q)
j. Ley de Absorcin:

Circuito Paralelo: Dos interruptores conectados en paralelo representan una disyuncin.

p ( p q) p p ( p q) p p (~ p q ) p q p (~ p q ) p q

< > p q
q
LGICA BINARIA La lgica binaria trata con variables que toman 2 valores discretos y con operaciones que asumen significado lgico, para este propsito es conveniente asignar los valores de 1 y 0. PRINCIPALES COMPUERTAS LGICAS * Compuerta AND de dos entradas.

k.

Leyes de "De Morgan":

~ ( p q)

~ p ~ q

~ ( p q) ~ p ~ q
CUANTIFICADORES: 1. Cuantificador Universal: Sea la funcin proposicional sobre un conjunto A, el cuantificador ("para todo") indica que todos los valores del conjunto A hacen que la funcin proposicional sea verdadera.
s e le e : " P a r a t o d o "

p q
* Compuerta OR de dos entradas

p q

Ejemplo: Sea:

f( x)

: x3 + 2 > 5

donde x N * es falsa.

p q
Compuerta NOT

La proposicin cuantificada es:

" x N ; x3 + 2 > 5
2.

p
Cuantificador existencial: Sea f ( x ) una funcin proposicional sobre un conjunto A el cuantificador $ (existe algn) indica que para algn valor del conjunto A, la funcin proposicional f ( x ) es verdadera.

Compuerta NAND de dos entradas

p q
*

p (q

s e

le e

" E

x i s te

a lg n "

Compuerta NOR de dos entradas

2 Ejemplo: Sea f ( x ) : x - 5 < 8 , donde: x Z + , la proposicin: $ x Z + / x 2 - 5 < 8 es verdadera. CIRCUITOS LGICOS Un circuito conmutador puede estar solamente en dos estados estables: cerrado o abierto, as como una proposicin puede ser verdadera o falsa, entonces 1. podemos representar una proposicin utilizando un circuito lgico: 1. Circuito Serie: Dos interruptores conectados en serie representan una conjuncin.

p q

p (q

De los siguientes enunciados: * Qu rico durazno. * 7 +15 > 50 * x 2 + y 2 = 25 Qu alternativa es correcta? a) Una es proposicin. b) Dos son enunciados abiertos. c) Dos son expresiones no proposicionales. d) Dos son proposiciones. e) Todas son proposiciones.

< > pq

d) VFV 2. Cuntas de las siguientes expresiones son proposiciones? * Dios mo .... se muri! * El calor es la energa en trnsito. * Baila a menos que ests triste. * Siempre que estudio, me siento feliz. * El delfn es un cetceo, ya que es un mamfero marino. a) 1 b) 2 c) 3 d) 4 e) 5 3. Dadas las siguientes expresiones: * El tomo no se ve, pero existe. * Los tigres no son paquidermos, tampoco las nutrias. * Toma una decisin rpida. * Hay 900 nmeros naturales que se representan con tres cifras. * La Matemtica es ciencia fctica. * Es imposible que el ao no tenga 12 meses. Cuntas no son proposiciones simples? a) 0 b) 1 c) 2 d) 3 e) 4 4. Hallar el valor de verdad de las siguientes proposiciones: Simbolizar:

e) FFF

q
Si la proposicin que se obtiene es falsa. Cules son los valores de p y q respectivamente? a) VV d) FF 8. Si la proposicin: b) VF c) FV e) No se puede precisar

( p : q ) ( : r : s)

es

falsa, deducir el valor de verdad de:

( : p : q ) : p
a) V c) V o F. determinar e) Es V si p es F. b) F d) No se puede

Si la proposicin compuesta: verdaderas. a) p ; r d) q ; t 10.

( p q) ( r t )

Es falsa. Indicar las proposiciones que son b) p ; q e) p ; r ; t c) r ; t

( 3 + 2 = 5) ( 7 - 2 = 11) ( 4 - 1 = 3) ( 2 - 10 = - 8) ( 3 + 7 = 10) ( 12 > 5)

1 ( 12 = 2) + 1 = 3 2 2
a) VVFV VVVV d) VVVF b) VFVV e) FVVV c)

Si "p" es una proposicin falsa, determina el valor de verdad de la expresin:

r { ( p q) ( :

q p) ( r p q) }

a) Verdadero. b) Falso. c) Verdadero o falso. d) Verdadero slo si q es verdadero. e) Falso slo si r es falso. 11. Si la proposicin: frmulas:

5. Determinar el valor de verdad de cada una de la siguientes proposiciones: I. Si: 3 + 1 = 7, entonces: 4 + 4 = 8

( p q) ( q r )

es falsa,

hallar el valor de verdad de las siguientes

II. No es verdad que: 2 + 2 = 5 si y solo si 4 + 4 = 10. III. Madrid est en Espaa o Londres est en Francia. a) VFV d) FVF 6. Si: b) VVV e) FFF c) VFF

: ( p r ) ( p q ) II. ( p : q ) (: r q )
I.

( III. p q ) ( q :
a) VVF d) VFF 12.

r ) ( p : r )
c) VVV

b) VFV e) FVV

( p : q ) r es falsa
Hallar los valores de verdad de p, q y r . a) VVF b) VFF c) VVV Los valores de verdad de las proposiciones "p, "q, "r" y "s" son respectivamente V, F, F y V.

Obtener los valores de verdad de: I. II. III.

p q) r s (

Sea: U = {1 , 2 , 3}, el conjunto universal. Hallar el valor de verdad de:

r ( s p)

( p r ) ( r : s )
b) FVV e) FFF c) VVV

$ x, " y / x 2< y +1 II. " x, $ y / x 2+ y 2 <12

I. III. " x, " y / x 2+ y 2<12 IV. $ x,$ y / x 2+ y 2<12 a) VFVF d) VVVV b) VVFF e) VVFV c) VVVF

a) VFF d) VVF 13.

Si la proposicin: verdaderas? I. II. III.

p ( r s ) es falsa,

cuntas de las siguientes proposiciones son

r p t : r IV. ( r p ) ( s t )
b) Una e) Cuatro c) Dos

( : s t ) : p

Si : U = {1 ; 2 ; 3 ; 4 ; 5} Cul es el valor de verdad de las siguientes proposiciones?

a) Ninguna d) Tres 14.

" x U: x 3 x < 4 I. II. $ x U : x + 2 < 8 x > 6 III. " x U : x + 2 = 5 x - 1 = 2

a) VVV d) FVF 19. b) FFV e) FFF c) VFV

Si la proposicin compuesta:

: p : r ) ( rV: q ) (
No es falsa. Hallar el valor de verdad de las proposiciones r, p y q respectivamente. a) FVV d) FVF 15. b) VVF e) VFF c) VFV

Hallar los valores de verdad de las siguientes proposiciones: I. II.

$ ( " x , x = x ) ( x , x +1> x )

( " x

, x 2 x $ x , x +1 x - 1 ) ( " x , x 0 ) (
c) VVFF

III. ( $ x , x 0 ) IV. a) FVVF d) VFFF Sea : A = {1 , 2 , 3}

( $ x , x - 3 x ) (" x , x - 1 x )
b) FVVV e) VVVF

De la falsedad de la proposicin :

( p : q ) ( : r s )
Se deduce que el valor de verdad de los esquemas: I. II. III.

( : p : q ) ( : q ) ( : r q ) : q r ) s ( ( p q ) p q) : q (
b) FFF e) FFV c)

Determinar el valor de verdad de las siguientes expresiones:

a) VFV VVV d) VVF 16. Sean las proposiciones:

$ x A, " y A / x 2 < y +1 II. " x A, $ y A / x 2 + y 2 <12

I. III. $ x A, " y A, $ z A / x 2 + y 2 < 2 z 2 IV. $ x A, $ y A, " z A / x 2 + y 2 2 z 2 a) VFVV d) FVVV 21. Sealar la b) VVFV e) VVVV expresin c) VVVF

P ( x ) : " x , x0 = 1 Q( y) = $ y / y2 0 R ( z ) : " z , z 2 - 92 = ( z + 3) ( z - 3)
Indique el valor de verdad de:

equivalente

la

proposicin:

( p : p) ( : q : p)
a) q p c) VFV 22. b) p q c) e) d) : p ( p q ) Indicar el valor de verdad de: I.

p q ; p r ; r q
a) FFV d) VVV b) FVV e) FFF

( p q ) : p ( q p ) : p

p ( p q)

II.

( p q ) ( p q)
c) VVF

( III. : p q ) p a) VVV b) VFV d) FVF e) FVV

23. Indicar el valor de verdad de:

a) p q : p : q d) : p q Simplificar:

b) p q e) : p q

c)

: p q) p ( II. ( p q ) p
I. III. IV.

( p q ) ( p q) p ( p q)
b) VVVF e) FVVV c)

M = : p q ) ( : q p ) : ( p q ) ( a) q b) p c) : p : q : p q d) e)
Simplificar:

a) VFVF FVFV d) VFFV 24.

: : p q ) : p ( p : q ) q (
a) p : q b) :

( p q)

c)

Simplificar el siguiente circuito:

p q
d) :

( p q)

e) : p q

~ q ~ p

p ~ q

B p

De la veracidad de: I. II. c)

: p : q ) ( : r : s ) (

Deducir el valor de verdad de:

: ( : q : s ) : p : ( : r s ) ( : p : q )

p q d) : p q

a) p q

b) : p q e) : p : q

q III. p : :
a) FVV d) VFF

( s r )
b) VVF e) FFF c) FFV

25. Hallar la proposicin equivalente al circuito lgico:

Indicar el valor de verdad de: I. II.

( : p : q ) ( p q )
es una contradiccin.

~ ~
a) p p q d) : p q 26.

q p q
c)

p q ) ( q r ) ( p r ) (
es una tautologa.

p III. ( p q ) ( qVr )
es una contingencia. a) VVV b) VVF d) VFV e) FVV De los siguientes esquemas: c) VFF

b) p : q e) p : q

( q r ) ( : p r )
( p q ) p p : p q ) : r : : ( p : q ) r (
c) Indicar en el orden dado cul es Tautologa (T), Contingencia (S) o Contradiccin (C): a) T , C , S d) S , T , C b) T , S , C e) S , C , T c) C , T , S

Simplificar a su mnima expresin:

( p q ) p : q ) ( p q ) (
a) p p q d) p q b) q e) p q

27. Simplificar la proposicin que corresponde al q circuito:

~ q ~ p

p p q