Dado:

(p ∨ q) ∧ (¬ q → p)

p q

Respuesta:
 Realiza la formalizacion de estas proposiciones compuestas del lenguaje natu
Juan es francés si nació el 23 de febrero. Si es bretón, entonces es más bien bajo. Ahora bien, nació el 23 de febrero o es bretó

Convenciones simbólicas:
p: Juan es francés
q: Juan nació el 23 de febrero
r: Juan es bretón
s: Juan es más bien bajo
Formalización:
q → p, r → s, q ∨ r

O está lloviendo y nevando, o está soplando el viento.

Convenciones simbólicas:
p: Está lloviendo

q: Está nevando

r: Está soplando el viento

Formalización:
(p∧q)∨r

O los hombres han nacido iguales o no son libres.

Convenciones simbólicas:
p: Los hombres han nacido iguales
q: Los hombres son libres
Formalización:
p∨¬q

Luis se irá si Pablo se queda.

Convenciones simbólicas:
p: Luis se irá
Formalización:
q→p

Si estudias y vienes a clase, entonces aprobarás.

Convenciones simbólicas:
p: si estudias
q:vienes a clase
Formalización:
(p ^ q)–>r

No llueve si y sólo si el sol brilla o el cielo está nublado.

Convenciones simbólicas:
p: no llueve
q:el sol brilla
Formalización:
¬p<=>q v r
del lenguaje natural en lógica de proposiciones:
23 de febrero o es bretón
Dado:
p ∨ (p → q ∧ r)
p q ¬q pvq ¬q→p (p ∨q) ∧ (¬q→p)
V V F V V V
V F V V V V
F V F V V V
F F V F F F

Respuesta:
CONTINGENCIA
p ∨q) ∧ (¬q→p)
V
V
V
F
Dado:
(q → p) ↔(¬p V q)
p q r

Respuesta:
TAUTOLOGIA
Dado:
{p^[q V (¬p)]} V r

p q r

Respuesta:
Dado:
(p –> ¬ q) V (q –> ¬r)
p q r

Respuesta:
q) V (q –> ¬r)