LGICA PROPOSICIONAL formar una proposicin compuesta.

Los
conectores lgicos que usaremos son:
INTRODUCCIN
OPERACIN
La lgica estudia la forma de SIMBOLO LOGICA SIGNIFICADO
razonamiento. Es una disciplina que se utiliza ~ Negacin No p
para determinar si un argumento es vlido, tiene ^ Conjuncin Pyq
aplicacin en todos los campos del saber; en la Disyuncin Pq
filosofa, para determinar si un razonamiento es condicional Si p, entonces q
vlido o no, ya que una frase puede tener Bicondicional p si y solo si q
diferentes interpretaciones; sin embargo, la Disyuncin
lgica permite saber el significado correcto. Los Exclusiva "o2"
matemticos usan la lgica, para demostrar OBS: La negacin es un conector mondico,
teoremas e inferir resultados que puedan ser afecta solamente a una proposicin.
aplicados en investigaciones. En la
computacin, para revisar programas y crear sus OPERACIONES LGICAS Y TABLAS DE
algoritmos, es utilizada en el diseo de VERDAD
computadoras. Existen circuitos integrados que La validez de una proposicin compuesta
realizan operaciones lgicas con los bits, gracias depende de los valores de verdad de las
a estos se ha desarrollado las proposiciones simples que la componen y se
telecomunicaciones (telefona mvil, determina mediante una tabla de verdad.
internet, ...)
1. Conjuncin: Vincula dos
ENUNCIADO: Es cualquier frase u oracin proposiciones mediante el conectivo
que expresa una idea. lgico "y".
PROPOSICIN: Son oraciones aseverativas Tabla de Verdad
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 2. Disyuncin: Vincula dos proposiciones
mediante el conectivo lgico "o".
ENUNCIADO ABIERTO: Son enunciados
que pueden tomar cualquiera de los 2 valores de
verdad.

CLASES DE PROPOSICIONES:

1. Proposicin Simple: Son

proposiciones que no tienen
conjunciones gramaticales ni adverbio
de negacin.
3. Disyuncin Exclusiva: Vincula dos
Ejemplo:
proposiciones mediante el conectivo
Cincuenta es mltiplo de
lgico: "o ..........., o ............."
diez.
2. 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.

CONECTIVOS LGICOS: Smbolos que

enlazan dos o ms proposiciones simples para
 4. Condicional: Vincula dos Son equivalencias lgicas que nos permiten
proposiciones mediante el conectivo reducir esquemas moleculares complejos y
lgico: "Si ............, entonces .............." 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 p p
p p p
5. Bicondicional: Vincula dos b) Ley Conmutativa:
proposiciones mediante el conectivo
lgico: ".............. si y slo si .............."

c) Ley Asociativa:

d) Ley Distributiva:

6. Negacin: Afecta a una sola

proposicin. Es un operador mondico e) Ley de la Doble Negacin:
que cambia el valor de verdad de una
proposicin:

f) Leyes de Identidad:

g) Leyes del Complemento

OBSERVACIN: La cantidad de filas en una
tabla es:

h) Ley del condicional

IMPORTANTE:
i) Ley de la Bicondicional:
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 j) Ley de Absorcin:
operador principal son todos falsos.
Si los valores del operador principal
tienen por lo menos una verdad y una
falsedad se dice que es contingente o
consistente.

LEYES DE LGEBRA PROPOSICIONAL k) Leyes de "De Morgan":

CUANTIFICADORES:

1. Cuantificador Universal: Sea la

funcin proposicional (x) f sobre un
conjunto A, el cuantificador ("para
todo") indica que todos los valores del
conjunto A hacen que la funcin
proposicional (x) f sea verdadera
se lee :Para todo
Ejemplo:
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

Sea: f (x) : x 3+ 2> 5 donde x N La Compuerta AND de dos

entradas.
proposicin cuantificada es:

x N ; x 3 +2>5 es falsa.

2. Cuantificador existencial: Sea (x) f Compuerta OR de dos

una funcin proposicional sobre un entradas
conjunto A el cuantificador (existe
algn) indica que para algn valor del
conjunto A, la funcin proposicional
(x) f es verdadera.
Compuerta NOT
se lee :Existe algun

Ejemplo:

2 + Compuerta NAND de dos

Sea f (x) : x +5 <8 , dnde: x Z , la
entradas
+ 2
proposicin: x Z / x +5< 8 es
verdadera:
Compuerta NOR de dos
CIRCUITOS LGICOS entradas

Un circuito conmutador puede estar solamente

en dos estados estables : cerrado o abierto, as
como una proposicin puede ser verdadera o
falsa, entonces podemos representar una
proposicin utilizando un circuito lgico:

1) Circuito Serie: Dos interruptores

conectados en serie representan una
conjuncin.

2) Circuito Paralelo: Dos interruptores

conectados en paralelo representan una
disyuncin.
 1
1 3
( 2=2)(1+ = )
2 2

a) VVFV b) VFVV c) VVVV

EJERCICIOS PROPUESTOS
d) VVVF e) FVVV
1. De los siguientes enunciados:
05. Determinar el valor de verdad de cada una
* Qu rico durazno. de las siguientes proposiciones:
* 7 + 15 > 50
I. Si: 3 + 1 = 7, entonces: 4 + 4 = 8
* x 2+ y 2 =25
II. No es verdad que:
Qu alternativa es correcta?
2 + 2 = 5 si y solo si 4 + 4 = 10.
a) Una es proposicin.
b) Dos son enunciados abiertos. III. Madrid est en Espaa o Londres est en
c) Dos son expresiones no proposicionales. Francia.
d) Dos son proposiciones.
e) Todas son proposiciones. a) VFV b) VVV c) VFF
d) FVF e) FFF
02. Cuntas de las siguientes expresiones son
proposiciones? 06. Si: (p~ q) r; es falsa, determinar los
* Dios mo.... se muri! valores de verdad de "p", "q" y "r".
* El calor es la energa en trnsito.
* Baila a menos que ests triste. a) VVF b) VFF c) VVV
* Siempre que estudio, me siento feliz. d) VFV e) FFF
* El delfn es un cetceo, ya que es un mamfero 07. Simbolizar:
marino.

a) 1 b) 2 c) 3
d) 4 e) 5

03. Dadas las siguientes expresiones: Si la proposicin que se obtiene es falsa.

* El tomo no se ve, pero existe. Cules son los valores de p y q
* Los tigres no son paquidermos, tampoco las respectivamente?
nutrias.
* Toma una decisin rpida. a) VV b) VF c) FV
* Hay 900 nmeros naturales que se representan d) FF e) No se puede precisar
con tres cifras.
* La Matemtica es ciencia fctica. 08. Si la proposicin: (p ~ q) (~ r s) es
* Es imposible que el ao no tenga 12 meses. falsa, deducir el valor de verdad de:
Cuntas no son proposiciones simples? (~ p ~ q) ~ p

a) 0 b) 1 c) 2 a) V b) F
c) V o F. d) No se puede determinar.
d) 3 e) 4
e) Es V si p es F.

09. Si la proposicin compuesta:

04. Hallar el valor de verdad de las siguientes (p q) (r t)
Es falsa. Indicar las proposiciones que son
proposiciones: verdaderas:
(3 + 2 = 5) (7 2 = 11)
a) p ; r b) p ; q c) r ; t
(4 1 = 3) (2 10 = 8) d) q ; t e) p ; r ; t

(3 + 7 = 10) (12 > 5) 10. Si "p" es una proposicin falsa, determina el

valor de verdad de la expresin:
{(pq) [r (~q p)]}(r p q) a) VFV b) FFF c) VVV
d) VVF e) FFV
a) Verdadero.
b) Falso. 16. Sean las proposiciones:
c) Verdadero o falso.
d) Verdadero slo si q es verdadero.
e) Falso slo si r es falso.

11. Si la proposicin: (p q)(q r)

es falsa, hallar el valor de verdad de las
siguientes frmulas: Indique el valor de verdad de:
pq,pr,rq
I. ~ (p r)(p q)
II. (p ~ q)(~ r q) a) FFV b) FVV c) VFV
III. [(p q) (q ~ r)] (p ~ r) d) VVV e) FFF

a) VVF b) VFV c) VVV 17. Sea: U = {1 , 2 , 3}, el conjunto universal.

d) VFF e) FVV Hallar el valor de verdad de:

12. 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. [(p q) r] s
II. r (s p) a) VFVF b) VVFF c) VVVF
III. (p r)(r ~ s) d) VVVV e) VVFV
a) VFF b) FVV c) VVV 18. Si: U = {1 ; 2 ; 3 ; 4 ; 5}
d) VVF e) FFF Cul es el valor de verdad de las siguientes
proposiciones?
13. Si la proposicin: p (r s)
Es falsa, cuntas de las siguientes I. x U: x 3 x < 4
proposiciones son verdaderas? II. x U: x + 2 < 8 x > 6
III. x U: x + 2 = 5 x -1 = 2
I. (~ s t) ~ p
II. r p a) VVV b) FFV c) VFV
III. t ~r d) FVF e) FFF
IV. (r p) (s t)
19. Hallar los valores de verdad de las
a) Ninguna b) Una c) Dos siguientes proposiciones:
d) Tres e) Cuatro
I. ( x R , x = x) ( x R , x +1 > x)
14. Si la proposicin compuesta: ~[(p ~ r)(r II. ( xR , x2 x)( x Z , x +1 x -1)
~ q)] no es falsa. Hallar el valor de verdad de III. ( x N , x 0)( x Q, x 0)
las proposiciones r, p y q respectivamente. IV. ( xN , x 3 x)( xR , x 1 x)
a) FVVF b) FVVV c) VVFF
a) FVV b) VVF c) VFV d) VFFF e) VVVF
d) FVF e) VFF
20. Sealar la expresin equivalente a la
15. De la falsedad de la proposicin: proposicin: (p ~ p) (~ q ~ p)
(p ~ q) (~ r s) se deduce que el valor de
verdadde los esquemas: a) q p
b) p q
I. (~ p ~ q) (~ q) c) (p q)~ p
II. (~ r q)[(~ q r) s] d) ~ p (p q)
III. (p q) [(p q) ~ q] e) (q p)~ p

21. Simplificar el siguiente circuito:

Son respectivamente:
 a) p b) ~p c) q
d) ~q e) p q

24. Dado el siguiente circuito:

a) p q
b) ~
p q c) p q
d) ~ p q e) ~p~q

22. Hallar la proposicin equivalente al circuito

lgico:
Si s es falsa.
Cules son los valores de verdad de p y q
respectivamente?

a) VV b) VF c) FV
a) p b) p~q c) p q d) FF e) Faltan datos
d) ~ p q e) p ~q

23. El equivalente de: