Académique Documents
Professionnel Documents
Culture Documents
Conjunción (P y q)
Carlos lee y Francisco Explica
Disyunción (P v q)
Pedro salta o camina
(p ˄ ~q) ( r ~s)
V F
V F V V
P= V q= V r = F s= F
2. (p ˄ q) ( ~r v s) es falsa
p, q, r, s…. es
(p ˄ q) ( ~r v s)
V F
V V V F
P= V q= V r = V s= F
(~p ˄ q) ˄ ( ~r ˄ ~s)
V V
F V F F
P= F q= V r = F s= F
4. (~p ~q) v ( ~r ˄ s) es falsa
p, q, r, s…. es
(~p ~q) v ( ~r ˄ s)
F F
F V F F
P= F q= V r = V s= V
5. (p ~q) v ( ~r v s) es falsa
p, q, r, s…. es
(p ~q) v ( ~r v s)
F F
V V F F
P= V q= V r = F s= F
6. ( ~p v q) v ( r ~s) es falsa
p, q, r, s…. es
( ~p v q) v ( r ~s)
F F
V F V V
P= V q= F r = V s= V
Hallar la tabla de verdad del siguiente esquema ( ~p v q) ( r ˄ q)
p q r (~p v q) (r ˄ q)
V V V F V V V V V V
V V F F V V F F F V
V F V F F F V V V V
V F F V V V F V F F
F V V V V V F V F F
F V F V V V F F F F
F F V V V F F V F F
F F F V V F F F F F
1V
2V 1F
4V 1V
2F
1F
8Filas 1V
2V 1F
4F 1V
2F
1F
p q [(p q) ˄ p] q
V V V V V V V V V
V F V F F F V V F
F V F V V F F V V
F F F V F F F V F
Hallar la tabla de verdad del esquema ( ~p ˄ ~q) v ~ q
p q ( ~p ˄ ~q) v ~q
V V F F F F F
V F F F V V V
F V V F F F F
F F V V V V V
1. Eres ingeniero o matemático, pero no eres matemático por lo tanto eres ingeniero
P ˄ q ˄ ~q p
[(p ˄ q) ˄ ~q] p
P q [(p ˄ q) ˄ ~q] p
V V V V V V F V V
V F V V F F V V V
F V F V V V F V F
F F F F F F F V F
Juan desayuna = p
V V V V V V V V
V V F V F V F F
V F V V F F F V
V V F V F F F F
F V V F F V V V
F F F F V V F F
F V V F V F F V
F V F F V F F F
Contingencia
Anita come carne y paleta, o come pizza con refresco (p ˄ q) v r
p q r p ˄ q v r
V V V V V V V V
V V F V V V V F
V F V V F F V V
V F F V F F F F
F V V F F V V V
F V F F F V F F
F F V F F F V V
F F F F F F F F
De la falsedad de la siguiente proposición ~ (~p ~q) (~r v s)
p= varios valores
q= varios valores
r= f
s=f
p=F F˄VvV
q=F F V Verdadero
r=F V
s=V
p q r (p ˄ ~q) V ~q
V V V V F F F F
V V F V F F V V
V F V V V V V F
V F F V V V V V
F V V F F F F F
F V F F F F V V
F F V F F V F F
F F F F F V V V
Contingencia
De la falsedad de (~p ˄ ~q) r el valor de verdad del esquema
(p ˄ q) r.
p=F F F
q=F F F Verdadero
r=F V
p q r (~p ˄ ~q) r
V V V F F F V V
V V F F F F V F
V F V F F V V V
V F F F F V V F
F V V V F F V V
F V F V F F V F
F F V V V V V V
F F F V V V F F
Contingencia
Si la proposición (p ˄ ~q) ˄ ~s es verdad el valor de verdad del siguiente
esquema (~p ˄ ~q) ~s
p=V F F V
q=F F Verdadero
s=F V
p q s (p ˄ ~q) ˄ ~s
V V V V F F F F
V V F V F F F V
V F V V V F F F
V F F V V F V V
F V V F F V F F
F V F F F V F V
F F V F F V F F
F F F F F V F V
Contingencia
Indicar los tipos de enunciados y formalizar los enunciados
cerrados:
35 + y – x = 25
= Abierto
Formalización = (p ˄ ~q) ˄ r
35 = 0
= Cerrado
Formalización = ~P
¿Él es futbolista?
= Imperativo
De la falsedad (p v ~q) v (r s) el valor del esquema (~p ˄ ~q)(
~r v ~s).
p=F V F F V
q=V F F
r=V V
s=F VERDADERO
p Q s (~p ˄ ~q) r
V V V F F F V F
V V F F F F V V
V F V F V V V F
V F F F V V V V
F V V V F F V F
F V F V F F V V
F F V V V V F F
F F F V V V V V
Contingencia
De la falsedad de la proposición (p ˄ q) ( ~r ~s). el valor de
verdad de (p q) v ~r.
Contingencia
Hallar la tabla de verdad del esquema [(~p v ~q ) r)] ˄ ~p
p q r [(~p v ~q ) r)] ˄ ~p
V V F F F V V F F
V
V F F F F V F F F
V
F V F V V V V F F
V
F F F V V F F F F
V
V V V V F V V V V
F
V F V V F F F F V
F
F V V V V V V V V
F
F F V V V F F F V
F
Contingencia
1. ~[~(~p v q) ~q] v q
~[(~p v q) v p] v q
~[V v q] v q
~[V] v q
Fvq
q
Simplificar
1. (p ~q) ˄ ~(q p)
(~p v ~q) ˄ ~(q v p) Ley condicional
(~p v ~q) ˄ (~q v ~p) Ley de Morgan
(~p v ~q) ˄ ~q ˄ ~p Ley Asociativa
~q ˄ (~p v ~q) Ley de Absorcion
~q ˄ ~p Ley Conmutativa
4. (p q) v ~(~q ~p)
~p v q v ~(~q ~p) Ley condicional
(~p v q) v ~(q ~p) Ley Absorción
(~p v q) v ~(~q ˄ p) Ley Asociativa
~p v (q v ~p) Ley Absorción
~p v q
q
5. ~[~(~p v q) p] v q
~[ (p v ~q) p] v q Ley Condicional
~[ (~p v q)] v q Ley de Morgan
(p v ~q)] v q Ley Asociativa
~p v (~p v q) Ley Absorcion
~p v q
q
6. [(~p v ~q) r] ˄ ~p
[ (~p v ~q) r] ˄ ~p Ley Condicional
~(p v q) r] ˄ q Ley de Morgan
(p v ~q)] ˄ ~q Ley Asociativa
(p v ~p) v F) = p Ley Absorcion
~r ˄ ~q
7. ~[(~p ˄ q) q] v p
~[ (p ˄ q) q] v p Ley Condicional
~[ p ˄ (q ˄ p] v p Ley Asociativa
~p v p Ley Absorcion
F Tercio Excluido
8. ~[(p ˄ q) v ~q] v p
~[(p ˄ q) v ~q] v p
~(p v q) v p
(p v ~q) v p
qvp=pvq
Paralelo
~p
A= [(~p ˄ q) v q]
B= (~q v p)
----------
P p
q q ~q
A= (~p ˄ ~q)
B = (p v q)
C= p v [ q ˄( p v ~q)]
[(~p ˄ (~q v p) v q] ˄ ( p v q)
[(p v q ) v q] ˄ ( p v q)
[(p v (q v q] ˄ ( p v q)
(p v q) ˄ ( p v q)
(p v q ) v q
p