You are on page 1of 7

qwertyuiopasdfghjklzxcvbnmqw

ertyuiopasdfghjklzxcvbnmqwert
yuiopasdfghjklzxcvbnmqwertyui
opasdfghjklzxcvbnmqwertyuiopa
sdfghjklzxcvbnmqwertyuiopasdf
ghjklzxcvbnmqwertyuiopasdfghj
klzxcvbnmqwertyuiopasdfghjklz
xcvbnmqwertyuiopasdfghjklzxcv
bnmqwertyuiopasdfghjklzxcvbn
mqwertyuiopasdfghjklzxcvbnmq
wertyuiopasdfghjklzxcvbnmqwe
rtyuiopasdfghjklzxcvbnmqwerty
uiopasdfghjklzxcvbnmqwertyuio
pasdfghjklzxcvbnmqwertyuiopas
dfghjklzxcvbnmqwertyuiopasdfg
LOGICA PROPORCIONAL - Las expresiones interrogativas: Ser cierto
que el cigarrillo produce cncer?
- Las expresiones exclamativas: iqu hambre
Es cualquier frase u oracin que expresa una tengo! iqu fro!
idea. - Las expresiones de duda: cambiara la vida
- Las expresiones clebres: "Yo slo s que
CONCEPTO nada se"
Son expresiones del lenguaje u oraciones - Las expresiones o enunciados abiertos:x+3 >7
aseverativas que se caracterizan por tener la
propiedad de ser verdaderas (V) o falsas (F), ENUNCIADO ABIERTO
pero jams verdaderas y falsas Son enunciados que pueden tomar cualquiera
simultneamente. Se representan con las letras de los 2 valores de verdad.
minsculas del abecedario: p ; q ; r ; s. Si: P(x): x > 6 Se cumple que:
Ejemplo: P(9) : 9 > 6 es verdadero
- Tpac Amaru muri decapitado. P(2) : 2 < 6 es falso
- 9 < 10 El valor de verdad de P(x) depende del valor de
- 45 = 3 2 x, tambin, se le conoce como funcin
proposicional.
CARACTERISTICAS
- Son expresiones informativas: Utilizan CLASES DE PROPOSICION
lenguaje descriptivo de la realidad (descripcin Proposicin Simple: Son proposiciones que
de objetos, hechos o fenmenos). no tienen conjunciones gramaticales ni adverbio
El Per est ubicado en la parte central y de negacin.
occidental de Amrica del Sur. * Cincuenta es mltiplo de diez.
- Carecen de ambigedad: Tienen la
propiedad de ser verdaderas o falsas, pero no Proposicin Compuesta: Formada por dos o
ambas a la vez ms proposiciones simples unidas por
La hormiga es un animal invertebrado (V) conectivos lgicos o por el adverbio de
Cusco es la capital folklrica del Per (F) negacin.
- Son relacionantes: Tienen la cualidad de * 29 es un nmero primo y 5 es impar
unirse entre s, por medio de su verdad o su
falsedad. Las proposiciones verdaderas deben CONECTIVOS LOGICOS
generar proposiciones verdaderas, mientras que Smbolos que enlazan dos o ms proposiciones
las proposiciones falsas deben generar simples para formar una proposicin
proposiciones falsas. compuesta.
Todos los mamferos son vertebrados (V), en Los conectores lgicos ms usados son:
consecuencia los perros son vertebrados (V). OPERACIN
Ningn religioso es idealista (F), por tanto SIMBOLO SIGNIFICADO
LOGICA
ningn catlico es idealista (F)
~ Negacin No p
Conjuncin pyq
EXPRESIONES QUE NO SON
Disyuncin poq
PROPOSICIONES
- Las frases gramaticales, porque no afirman ni Condicional Si p, entonces q
niegan algo: los perros hambrientos. Bicondicional p si solo si q
Disyuncin
- Las expresiones directivas: retrese! cllese! Exclusiva
o o
- Las expresiones desiderativa o los deseos:
La negacin es un conector mondico, afecta
cmo me gustara ser mdico!
solamente a una proposicin.

http://preuniversitario-matematicas-ciencias.blogspot.pe/
OPERACIONES LOGICAS Y TABLAS DE NEGACION: Afecta a una sola proposicin. Es
VERDAD un operador mondico que cambia el valor de
verdad de una proposicin:
CONJUCION: Vincula dos proposiciones p ~p
mediante el conductor lgico y. V F
p q p q F V
V V V
V F F RECORDAR:
F V F La cantidad de filas de una tabla es:
F F F
# de filas: 2n
DISYUNCION: Vincula dos proposiciones n = cantidad de proposiciones simples.
mediante el conductor lgico o. Cuando los valores del operador principal
p q p v q son todos verdaderos entonces el
V V V esquema molecular TAUTOLOGICO.
V F V El esquema molecular es
F V V CONTRADICTORIO si los valores del
F F F
operador principal son todos falsos.
DISYUNCION EXCLUSIVA: Vincula dos Si los valores del operador principal tiene
proposiciones mediante el conductor lgico por lo menos una verdad y una
o.. o... falsedad se dice que es CONTINGENTE
p q p q o CONSISTENTE.
V V F
V F V LEYES DE ALGEBRA
F V V
PROPOSICIONAL
F F F

CONDICIONAL: Vincula dos proposiciones Ley de Idempotencia:


mediante el conductor lgico si.., entonces. pvpp
p q p q ppp
V V V
V F F Ley Conmutativa:
F V V pvqqvp
F F V pqqp

BICONDICIONAL: Vincula dos proposiciones Ley Asociativa:


mediante el conductor lgico ..si y solo (p v q) v r p v (q v r)
si... (p q) r p (q r)
p q p q
V V V Ley Distributiva:
V F F p v (q r) (p v q) (p v r)
F V F p (q v r) (p q) v (p r)
F F V
Ley de la Doble Negacin:
~ (~ p) p

http://preuniversitario-matematicas-ciencias.blogspot.pe/
Leyes de Identidad: CIRCUITOS LOGICOS
p v V V; p v F p
p V p; p F F Es la representacin de una proposicin
utilizando un circuito lgico.
Leyes del Complemento:
pv~pV
p~pF Un circuito conmutador puede estar solamente
en dos estados estables: cerrado o abierto, as
Ley del Condicional: como una proposicin puede ser verdadera o
pq~pvq falsa.

Circuito Serie: Dos interruptores conectados


Ley de la Bicondicional: en serie representan una conjuncin.
p q (p q) (q p)
p q (p q) v (~ p ~q) pq
p q ~ (p q)

Ley de Absorcin: Circuito Paralelo: Dos interruptores


p v (p q) p conectados en paralelo representan una
p (p v q) p disyuncin.
p v (~ p q) p v q
p (~ p v q) p q pvq

Leyes de "De Morgan":


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

CUANTIFICADORES LGICA BINARIA


La lgica binaria trata con variables que toman
Cuantificador Universal: Sea la funcin 2 valores discretos y con operaciones que
proposicional f(x) sobre un conjunto A, el asumen significado lgico, para este propsito
cuantificador ("para todo") indica que es conveniente asignar los valores de 1 y 0.
todos los valores del conjunto A hacen
que la funcin proposicional f(x) sea PRINCIPALES COMPUERTAS LGICAS
verdadera.
Compuerta AND de dos entradas.

Cuantificador existencial: Sea f(x) una


funcin proposicional sobre un conjunto
A, el cuantificador (existe algn) indica Compuerta OR de dos entradas
que para algn valor del conjunto A, la
funcin proposicional f(x) es verdadera.

http://preuniversitario-matematicas-ciencias.blogspot.pe/
Compuerta NOT PROBLEMAS PROPUESTOS

1. Si: (p ~ q) r; es falsa, determinar los


valores de verdad de "p", "q" y "r".

Compuerta NAND de dos entradas a) VVF b) VFF c) VVV


d) VFV e) FFF

2. Hallar el valor de verdad de las siguientes


Compuerta NOR de dos entradas proposiciones:
I. (12 = 2) (1 + = )
II. (3 + 2 = 5) v (7 - 2 = 9)
III. (4 1 = 3) (2 - 10 = - 8)
IV. (3 + 7 = 10) (12 > 5)
PROBLEMAS RESUELTOS
a) FVVF b) VVVF c) VVFV
1. (Cuantificador Existencial) d) VFVV e) FVVV
Sea f(x) = x2 - 5 < 8 donde: x Z+
Sol. 3. Si la proposicin que se obtiene es falsa.
x Z+ / x2 5 < 8 Cules son los valores de p y q
La proposicin es verdadera. respectivamente?

2. (Cuantificador Universal)
Sea f(x) = x3 + 2 > 5 donde: x N
Sol.
x N / x3 + 2 < 5
La proposicin cuantificada es falsa.

3. Completar la tabla: a) VV b) FF c) FV
p q ~q p~q ~(p~q) d) VF e) NA

4. Determinar el valor de verdad de las


siguientes proposiciones:
I. Si p es falso, p q es
II. Si q es falso, p q es
III. Si p es verdad, p v q es
4. Construir una tabla de verdad para ~(p~p):
Sol.
a) VFV b) VVF c) FVV
# de filas: 2n solo p = 21 = 2 filas d) FVF e) FFV
Se toman encabezamientos p; ~p; p~p y
~(p~p) 5. La proposicin: No es cierto que estudie y no
apruebe es verdadera", se afirma que:
p ~p p~p ~(p~p) a) no estudio y apruebo
V F F V b) estudio y apruebo
F V F V c) no estudio o apruebo
Todos los valores de ~(p~p) son V la d) estudio o no apruebo
proposicin es TAUTOLOGICA e) estudio o apruebo

http://preuniversitario-matematicas-ciencias.blogspot.pe/
6. La proposicin: viajas a Ica y no viajas a 11. Dada la proposicin Llueve y los gatos no
Tumbes es falso, se afirma que: mallan o bien hace sol y los gatos no
mallan, se representara como:
a) no viajas a Ica y viajas a Tumbes p = llueve; q = hace sol; r = los gatos mallan
b) no viajas a Ica o no viajas a Tumbes
c) viajas a Tumbes o no viajas a Ica a) (p v r) (q v r) b) (p v ~r) v (~q v ~r)
d) viajas a Tumbes y viajas a Ica c) (p ~r) v (q ~r) d) (p v r) v (q v ~r)
e) viajas a Ica y viajas a Tumbes e) (p v ~r) (q v ~r)

7. Cul es la relacin correcta? 12. Si la proposicin es falsa, cuntas de las


siguientes proposiciones son verdaderas?
I. No es el caso que p y q p (r v s)
II. p solamente si q y no r
III. Si p y q, entonces no r o q I. (~s v t) v ~p
A. (p q) (~r v q) II. r p
B. ~ (p q) III. t ~r
C. p (q ~r) IV. (r p) v (s t)

a) 1A; 2C; 3B b) 1B; 2C; 3A a) 4 b) 3 c) 2


c) 1B; 2A; 3C d) 1C; 2B; 3A d) 1 e) Ninguna
e) 1A; 2B; 3C
13. Simplificar el siguiente circuito:
8. Dada la proposicin Si los gatos de mi
hermana no soltaran tanto pelo me gustara
acariciarlos, se representara como:

a) p v ~q b) ~p q c) p q
d) ~p q e) ~p q
a) (q p) b) p c) q
9. Dada la proposicin Los gatos mallan
d) ~p e) ~q
nicamente si llueve y hace sol, se
representara como:
14. Simplificar y representar el circuito para:
p = llueve; q = hace sol; r = los gatos mallan

a) r (p q) b) r (p q) ~{~[(q v p) r] v ~p}
c) r (p v q) d) ~r (~p v ~q)
e) r (p v q)

10. Dada la proposicin Cuando los gatos no


mallan, no llueve o no hace sol, se
representara como:
p = llueve; q = hace sol; r = los gatos mallan

a) ~r (~p ~q) b) ~r (~p v ~q)


{c) ~r (~p ~q) d) ~r (~p v ~q)
e) ~r (~p v q)

http://preuniversitario-matematicas-ciencias.blogspot.pe/
15. Hallar el equivalente de: a) p q b) ~p c) q
d) p e) ~q

20. Se define (p q) por la siguiente tabla:

p q pq
V V V
V F F
F V V
F F V
a) p ~q b) p q c) p v ~q Reducir:
d) p v q e) ~q
[(~p q) p] (q p)
16. La forma negada de Ni eres mdico ni eres
joven es: a) p q b) ~p ~q c) p q
d) p v q e) ~p v ~q
a) Eres mdico o no eres joven.
b) Eres mdico o eres joven.
c) No eres mdico o no eres joven.
d) Eres mdico y eres joven.
e) No eres mdico y eres joven.

17. Simplificar la expresin:


[q ~(p q)] ~p

a) q ~p b) p q c) ~q v p 1 b 11 c
d) ~q ~p e) q v ~p
2 e 12 b
3 d 13 d
18. Si se sabe que r s es verdadero.
4 a 14 e
Simplificar:
5 c 15 a
{[(r v s) (~p v q)] [(r s) v ~q]} v (r s) 6 c 16 a
7 b 17 e
a) ~p v ~q b) ~p ~q c) p v ~q 8 e 18 b
d) ~p q e) ~p ~q
9 a 19 d
10 d 20 c
19. Qu proposicin representa el siguiente
circuito?

http://preuniversitario-matematicas-ciencias.blogspot.pe/