LÓGICA FIL105

Semestre 2023-2
Secciones 0201, 0202

PRÁCTICA DIRIGIDA N° 4 (PD4)

Tipo de Tabla de verdad:

fórmula solo para las fbf Q

2.1 (pr)(rq)..pq

2.2 (qp) (rs..t)..q

2.3 (pq)(pr)(sr)..qs

2.4 ( q  p )  ( r  p )  ( q  s ) .. p  s

2.5 (pr)q(qr)(rp)

2.6  p  ( s  q )   q  ( r  s )

2.7   ( s  p ) .. q  ( t  r .. p ) 

2.8 [ ( p  q )   ( s  r ) ]   ( r  s ) ..  p

2.9 ( p  r )  ( q  s ) .. ( p  q )  ( r  s )

2.10 (qp)t(rs..t)

2.11 [ ( t  r)  ( p  s ) ]  [ ( q  s )   ( p  t ) ]

2.12  [ ( p  q )  ( p v r .. s ) .. ( p  q )  s ]

2.13 [(rs) (q  p) [(qs)v(rp)]

2.14 ( p  q )  [ ( ~ r  s )  ~ p ] . . q  p

2.15 (~pq)(~pr).. p(qr)

2.16 ( p  q )   p .. p   q  ( p   q ) 

2.17 (sp)(sr)(rq)(sq)

2.18  (ps) (qr)  (pq)(rs)

2.19 ( q  r )  ( p  s ) .. s  ( p  t )
2.20 [(pq)(rs)[(pr) s

2.21  (p   q)  [  p  r  s ]  (q   s) .. t   r

2.22  (p t) (qs)   (sp)(rq)

2.23 p → ~ ( q → r ) .∧. ~ (s → p) ∧ ~ ( s ∨ r )

2.24 (p ∨ r) → (~s ∨ q) .→. ~(s → q) → ~(r ∨ p)

2.25 ( 𝑝 ∨ 𝑞) ∧ (∼ 𝑞 ↔ 𝑟) . ↔ . (∼ 𝑞 ∨∼ 𝑟)

(p → q) ∧∼ q.→ . ∼ p ∶↔: (p → r) ∧ (r → s). →. p →

2.26
s
2.27 (p → q) ∧ (r → s) .∧. (p ∨ r) :→: (q ∨ s)

2.28 [ ~ ( p → q ) ↔ ( r ↔ s ) ] Λ [ ~ ( r→ s) Λ p] Λ p .→. q

2.29 [ ( p ↔ q ) ↔ r ] Λ ( s Λ t ) ] .→. ( u Λ w )

2.30 [(p→q) Λ (q.→.r V s) Λ (~p→~q .Λ. t) Λ (p V ~p)] .→. s