Está en la página 1de 22

10 enunciados cerrados

1. 2 es un numero par y primo


2. Francisco es un día de la semana
3. Jueves es un día de la semana
4. El celular se usa para comer
5. Los audífonos trasmiten música
6. Los calcetines son para las manos
7. 2 + 2 = 4
8. 3 y A son números
9. El lápiz es para pintar
10.El agua se toma

Hacer 15 enunciados; abiertos, cerrados e imperativos.


Imperativos Abiertos Cerrados
¿Dónde vives? Él es juan 25 + 25 = 100
¿Vas a la escuela? El carro es blanco La Camisa es blanca
¿Tienes celular? E es una variable El sol es amarillo
¿Juan esta sentado? El celular es rojo La puerta es negra
¿Dónde estas? X + 25 = E Hoy es martes
Juan no habla
Negación (7P)
Enrique no sabe leer

Pedro corre y Santiago camina

Conjunción (P y q)
Carlos lee y Francisco Explica

Ignacio barre o trapea

Disyunción (P v q)
Pedro salta o camina

Gerardo sonríe si entonces sonríen


Disyunción condicional (P --> q)
Juan juega si entonces lo invitan

Jorge camina si y solo si lo acompañan


Bicondicional (P <--> q)
Sonia camina si y solo si va sola

O Luis explica o Sergio habla


Disyunción Exclusiva (P Δ q)
O Juan camina o Carlos corre
Encontrar los valores de p, q, r, s:
1. (p ˄ ~q)  ( r  ~s) es falsa ˅
p, q, r, s…. es

(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

3. (~p ˄ q) ˄ ( ~r ˄ ~s) es verdadero


p, q, r, s…. es

(~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

Hallar la tabla de verdad del siguiente esquema [(pq) ˄ p]  q

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

Hallar la tabla de verdad del esquema (p ˄ ~q) ˄ (~r ˄ ~s)


p q r s (p ˄ ~q) ˄ (~r ˄ ~s)
V V V V V F F F F F F
V V V F V F F F F F V
V V F V V F F F V F F
V V F F V F F F V F V
V F V V V V V F F F F
V F V F V V V F F F V
V F F V V V V V V F F
V F F F V V V V V V V
F V V V F F F F F F F
F V V F F F F F F F V
F V F V F F F F V F F
F V F F F F F F V F V
F F V V F F V F F F F
F F V F F F V F F F V
F F F V F F V F V F F
F F F F F F V F V F V

Hallar la tabla de verdad del esquema (p  ~q)  ~r


p q r (p  q)  ~r
V V V V V V F F
V V F V V V V V
V F V V F F V F
V F F V F F V V
F V V F V V F F
F V F F V V V V
F F V F V F F F
F F F F V F V V
Hallar la tabla de verdad del esquema (~p ˄ ~q)  ~r
p q r (~p ˄ ~q)  ~r
V V V F F V V F
V V F F F V V V
V F V F F F V F
V F F F F F V V
F V V V V V F F
F V F V V V V V
F F V V F F V F
F F F V F F V V

1) Definir las preposiciones simples (p, q, r, s).


2) Formalizar por jerarquías

1. Es falso que si usted ve un gato negro entonces tendrá mala suerte.


P  q

Usted ve un gato negro = p ~(pq)

Usted tendrá mala suerte

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

2. Si en marte no hay agua, entonces no hay vida; en consecuencia no hay


marcianos ni platillos voladores

(~p  ~q) (~r ˄ ~q)


p q r s ~p  ~q  ~r ˄ ~q
V V V V F V F F F F F
V V V F F V F V F V V
V V F V F V F V V V F
V V F F F V F V V V V
V F V V F V V F F F F
V F V F f V v v F V v
V F F V F V V V V V V
V F F F F F F v F V v
F V V V V F F V F F F
F V V F V F F V f V V
F V F V V F F V V V f
F V F F V F F V V V V
F F V V V V v F F F F
F F V F V V V V F V V
F F F V V V V V V V F
F F F F V V V V V V V
El carro es viejo si tiene 10 años, y es azul si el dueño es Carlos
P  q ˄ r  s
El carro es viejo = p
Tiene 10 años = q (p q)˄(rs)
El carro es azul = r
El dueño es Carlos = s
p q r s (p  q) ˄ (r  s)
V V V V V V V V V V V
V V V F V V V V V F F
V V F V V V V V F V V
V V F F V V V V F V F
V F V V V F F V V V V
V F V F V F F F V F F
V F F V V F F V F V V
V F F F V F F V F V F
F V V V F V V V V V V
F V V F F V V V V F F
F V F V F V V V F V V
F V F F F V V V F V F
F F V V F V F V V V V
F F V F F V F V V F F
F F F V F V F V F V V
F F F F f V F V F V F
Contingencia

Juan desayuna si y solo si, se levanta y se baña.


P  q ˄ r

Juan desayuna = p

Juan se levanta = q p(q ˄ r)


Juan se baña = r
p q r p  (q ˄ r)

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

Anita come carne= p Anita come paleta= q come pizza y refresco= 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

De la falsedad de ~ (~p  ~q) v (~r v ~s) el valor de verdad del siguiente


esquema (p ˄ ~q) v ~r.

Hallar la tabla de verdad del siguiente esquema.

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.

Hallar la tabla de verdad del primer esquema

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

Hallar la tabla de verdad del primer esquema:

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:

 ¿Cuantos Años tienes?


= Imperativo

 Él tiene el cabello rojo, y nosotros negro


= Abierto

 35 + y – x = 25
= Abierto

 Nery no pone atención en clases, pero es muy inteligente


= Cerrado

Formalización = (p ˄ ~q) ˄ r

 El escribe canciones por las noches, cuando la luna brilla


= Abierto

 35 = 0
= Cerrado
Formalización = ~P

 Carlos es músico, pero no toca todos los instrumentos, sin


embargo, solo toca la guitarra
= Cerrado
Formalizacion = (p ˄ ~q) ˄ r

 ¿É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

Hallar la tabla de verdad de (~p ˄ ~q) ~r

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.

Hallar la tabla de verdad del 2º esquema


p=V V F  V F
q=F F F
r=F V
s=V VERDADERO
p q r (p  q) v ~r
V V V V V V F
V
V F V V V V V
V
F V V F F F F
V
F F V F F V V
V
V V F V V V F
F
V F F V V V V
F
F V F V F V F
F
F F F V F V V
F

De la falsedad de la proposicion (~p  q) v ( ~r v s) el valor del


esquema (~p v q )  ~s es

Hallar la tabla de verdad del 2º esquema


p=F V F V F
q=F F V
r=F V
s=F VERDADERO
p q s (~p v q)  ~s
V V F V V F F
V
V F F V V V V
V
F V F F F V F
V
F F F F F V V
V
V V V V V F F
F
V F V V V F V
F
F V V V F F F
F
F F V V F V V
F

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

2. ~[~( p ˄ q) ~q) v p


~[(p ˄ q) v ~q] v p
~(p v ~q) v p
(~p ˄ q) v p
qvp
pvq

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

2. (~p  q) v ~(q  p)`


(p v q) v ~(~q v p) Ley condicional
(p v q) v ~(q v ~p) Ley de Morgan
(p v q) v (q ˄ p) Ley Asociativa
p v q v (q ˄ ~p) Ley Absorcion
pvq
3. [(~p ˄ q)  (r  ~r)] ˄ q
[(~p ˄ q)  (F)] ˄ q Tercio Excluido
[~ (~p ˄ q)  F] ˄ q Ley de Morgan
[~ (~p v ~q) v F] ˄ q
[~ (~p v ~q) v F] ˄ q
[ (p v ~q) v F] ˄ q
PvF=p
(p v ~q) ˄ q
p˄q

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

9. (~q  r) v ~(r  p)`


(q v ~r) v ~(~r v p) Ley condicional
(q v ~r) v ~(r v ~p) Ley de Morgan
(q v r) v (r ˄ p) Ley Asociativa
q v r v (r ˄ ~p) Ley Absorcion
qvq

10. (r  ~s) ˄ ~(~s  r)


(~r v s) ˄ ~(s v r) Ley condicional
(~s v ~r) ˄ (~r v ~r) Ley de Morgan
~r ˄ ~s Ley Asociativa
~p --- q --- Serie

Paralelo

~p

A= [(~p ˄ q) v q]

B= (~q v p)

p ˄ { [(~p ˄ q) v q] v (~q v p)}


p ˄ { [q] v (~q v p)}
p ˄ { q v (~q v p)}
p ˄ { (q v ~q) v p)}
p ˄ { V v p}
p˄V
p
~p ------ ~q 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)]}

[(~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