Documentos de Académico
Documentos de Profesional
Documentos de Cultura
a) [ ( p ∧q ) ∨ ( ∼ p ∧q ) ] ↔ [ ( p ∨ q ) ∧∼ p ]
b) [ ( p ∨q ) ∧ ( ∼ p ∨q ) ] ↔ [ ( p ∧ q ) ∨∼ p ]
c) [ ( p ∧q ) ∨ ( p ∧r ) ] ↔ [ ( r ∧ q ) ∨ p ]
d)[ ( p ∧q ) ∨ ( p ∧r ) ] ↔ [ ∼ ( r ∧ q ) ∧∼ p ]
a) ( p ∧r ) ∨∽q
a) ( p ∧∼r ) ∧q
b) p ∧(q ∨ r )
c) ( ∼ p ∧q ) ∨∽r
d) ∼ ( p ∧r ) ∧ ( r ∨∼ q )
V.- Dibuje los circuitos que representen los siguientes enunciados. Simplifique si es posible.
a) p ∧ ( q ∨∼ p )
b) ( p ∧r ) ∨∽q
c)q ∨ [ p ∧ ( q ∨∼ p ) ]
d) ∼ q ⇒ (∼ p ⇒q )
e) ∼ p ⇒ ( ∼ p ∨ ∼q )
VI.- Dados los siguientes enunciados p y q, establezca un condicional entre p y q, y halle los
enunciados relacionados (Converso, Inverso y Contrapositivo) y diga su valor de Verdad en
cada caso.
b) {qp::Los
El número 3 es impar y es primo .
números impares son primos .
c) {qp::ElElmes
mes de Febrero es el mas corto del año .
de Febrero tiene solo tres Domingo.
VII.- Con los Ejercicios del tema anterior haga un Argumento Lógico, expresado mediante el
a) Modus Ponens y su Converso, mediante b) el Modus Tollens y su Inverso. Hallando su
valor de verdad en cada caso y valide su argumentación en cada caso.