ESCUELA PROFESIONAL DE BIOLOGÍA

Razonamiento Lógico Matemático

TRABAJO:

EJERCICIOS PROPUESTOS DE LÓGICA

DOCENTE:

EDWIN CHAIÑA CAHUI

ESTUDIANTE:

FLORES VILCAHUAMAN CARMEN ROSALINDA 20222609

MAYO 2022
Arequipa

Perú
Ejercicios propuestos

1. [ p ∨ ( ¬ q ∨¬ s ) ] ∨¬ ( ¬q → ¬ s )
[ p ∨ ( q ∧ s ) ] ∨ ¬(¬(¬ q)∨¬ s)
[ p ∨ ( q ∧ s ) ]∨¬( q ∨¬ s)
p ∨[ ( q ∧ s ) ∨ ( ¬q ∧s ) ]
p ∨q ∧ s ∨ ¬q ∧ s
p ∨q ∧ ¬q ∨ s ∧ s
p ∨q ∧ ¬q ∨ s ∧ s
p∨F∨s
p∨s

2. ¬ [ p ∧¬ ( t ∧r ) ] ∧ (t →¬ p )
¬ [ p ∧ ( ¬ t ∨¬ r ) ] ∧ ( ¬t ∨ ¬ p )
¬ p ∨¬(¬ t ∧¬ r)∧¬ t ∨¬ p
¬ p ∨¬(¬ t)∧ ¬(¬r )∧ ¬t ∨ ¬ p
¬ p ∨t ∧r ∧r ∧¬ t ∨¬ p
¬ p ∨t ∧¬t ∧r ∨¬ p
F ∨¬ p ∧¬ p ∨r
F ∨(¬ p ∨ r)
¬ p ∨r

3. ¿
¿
[ ¬ p ∨ ( p ∧ q ) ] ∨ [ ¬q ∧ p ]
¿
[ ¬ p ∨q ] ∨ [ ¬ q ∧ p ]
¬ p ∨ q ∨¬ q ∧ p
¬ p ∨V ∧ p
¬ p ∨ p ∧V
V ∧V
V

4. ¬(¬ p ∨¬ q)∧(¬ q ∨ p) ∧(¬ q ∨ r)

 ¬ p ∨¬ q ∧¬ q ∨ p ∧ ( ¬ q ∨r )
¬ p ∨¬ q ∨ p ∧ ( ¬ q ∨r )
¬ p ∨ p ∨¬ q ∧ ( ¬ q ∨r )
V ∨¬ q ∧ ( ¬ q ∨r )
¬ (V ) ∧ (¬ q ∨ r )
F ∧ ( ¬q ∨ r )
F

5. ¬[¬ [ ¬ p ∨ ( ¬ q ∨r ) ] ∨ ( s ∧ r ) ]∨(q ∧ p)¿

¿
¬ p ∨¬ q ∨r ∨ s ∧ r ∧ ¿
¬ p ∨¬ q ∨r ∨ r ∧ s ∧ ( ¬q ∨ ¬ p )
(¬ p ∨¬ q)∨(r ∧ s)∧(¬q ∨¬ p)
(r ∧ s)∨(¬ p∨ ¬q)∧(¬q ∨ p)
( r ∧ s ) ∨(¬ p ∨¬ q)