Logica y Tablas de Verdad.
Logica y Tablas de Verdad.
Logica y Tablas de Verdad.
Frase compuesta.
Tabla de
verdad frase
b. El gato es un animal.
compuesta
No
3.
b.
a.
b.
c.
d.
c. La proposicin compuesta
mos
de p.
1+2+34
3 2 = 1.5
x = 2 es solucin de 3x 6 = 0
7 + 4(8 5) 10 = 1
1
3
1
e. - 2 +5 = +5
Selecciona la respuesta correcta:
la llama-
d. La
es el medio que utilizamos para determinar el valor de verdad
de proposiciones compuestas, formadas a
partir de proposiciones simples.
5.
Escribe la negacin
proposicin simple:
de cada
proposicin
b. q: La Tierra es un pas
preposicin
c. r: 16 8 = 2
frase matemtica
d. s: 18 + 20 2 > 5
e. t: 2 + 5 3 4
6.
falso
~q
r
F
V
~t
V
V
valor de verdad
d.
simple
recibe el nombre de
modificador.
b.
~p enegacin
n
no
tabla
de
verdad
p
e. Me duele la cabeza.
2.
~r
~p
~(~p)
Proposiciones compuestas.
Conjuncin, disyuncin
7.
Qu es una proposicin?
8.
c.
p q
V V
F
V
Dadas:
F
F
p: 3 + 2 5 = 25 q:
7 3 1 = 20 r: 2
d.
divide a 13
s: 15 es mltiplo de 6
3 + 2 5 = 25 y 7 3 1 = 20
15 no es mltiplo de 6 2 divide a 13
p
V
V
F
F
q
V
F
V
F
~p ~q ~p ~q
(~p ~q) q
O 2 divide a 13 15 es mltiplo de 6
a. Escribe simblicamente las proposiciones
compuestas.
b. Determina su valor de verdad.
9.
Sean p: Hoy es lunes, y q: Est lloviendo. Relaciona con una flecha cul de las expresiones de la
columna derecha simboliza la frase dada en la
columna izquierda.
a. Hoy no es lunes.
Est lloviendo y hoy es lunes.
~(p q) c.
q ~p d.
r s
V F
F V
V F
V V
~p ~q
Condicional. Bicondicional
12. Identifica el antecedente y el consecuente en
las frases siguientes:
V V
r
~p e.
F V
b.
q p b.
11. Completa:
r s
q: Rosanna estudia.
c.
d.
~p
~q
~p ~q (~p ~q) q
pq
F
e.
~q
p ~q
(p ~q) q
V
V
V
F
c. (~p q) p
b. (p q) q
d. (p q) (p q)
b.
pq
F
V
V
F
V
F
V
F
V
F
m
V
V
F
F
n
V
F
V
F
nm
Contingencia, tautologa y
contradiccin
17. Realiza las tablas de verdad de las proposiciones siguientes. Clasifcalas en contingencia,
tautologa o contradiccin:
a. (p q) p
f. (r s) (s r)
b. ~p (q p)
g. (q p) q
c. q ~q
h. ~p q
d. [(p q) p] q
i. q p
e. ~(p q)
j. ~p ~q
c. s ~r
b. ~r s
d. ~s r
Solucionario