Tarea2CalculoProprocisional





Carrera:

Ciclo:
Calculo Proposicional
Nombre del módulo:
Introducción a la Lógica.
Tema:
1.3. Conectivos lógicos y tablas de verdad
1.4. La Lógica Formal
1.5. Proposiciones categóricas.Tarea2
Nombre:

Instrucción: Responde de acuerdo a lo que se te plantea. Guarda tu archivo tarea2TuprimernombreTuprimerapellido.doc y súbelo como tarea.

Ejercicio: Obtén la Tabla de Verdad de cadauna de las siguientes proposiciones compuestas, y para cada una de ellas indica si se trata de tautología, contradicción o contingencia.


Tablas de verdad de proposiciones compuestas.
1.- p ∧ (q ∨r)

P Q R Q ˅ R P v (Q ^ R)
V V V V V
V V F V V
V F V V V
V F F F F
F V V V F
F V F V F
F F V V F
F F F F F

Tautologia

2.- (p ∨ q) ∧ not p

P Q R P ˅ Q (P v Q) ^ ~P
V V V V F
V VF V F
V F V V F
V F F V F
F V V V F
F V F V F
F F V F V
F F F F V

Contingencia





3.- (~p ∧ ~q) ∧ (~r ∨ ~p) ∧ (q ∧ r) ∨ (p ∧ ~q)











4.- p entonces(q ∧ r)

P Q R Q ^ R P v(Q ^ R)
V V V V V
V V F F V
V F V F V
V F F F V
F V V V V
F V F F F
F F V F F
F F F F F


Contradiccion


5.- (p ∧ q) ∧ ~(q ∨ q)

P Q P ^ Q (Q v Q)(P ^ Q) ^ ~ (Q v Q)
V V V V F
V V V V F
V F F F V
V F F F V
F V F V F
F V F V F
F F F F V
F F F F V



Contingencia

6.- [(p ssi q) ∧ q] entonces p

P Q P → Q (P → Q) ^ Q [(P→ Q) ^ Q] →P
V V V V V
V V V V V
V F F F V
V F F F V
F V V V F
F V V V F
F F V F V
F F V F V


Tautologia


7.- p ∧ ~q ∨ ~q∧r


P Q R P ^ ~Q v ~Q^R
V V V F
V V F F
V F V F
V F F F
F V V V
F V F V
F F V F
F F F V

CONTRADICCION





8.- q ∨ ~q ∧ r

P Q R ~Q v ~Q^ R
V V V F
V V F F
V F V v
V F F v
F V V F
F V F V
F F V V
F F F FCONTINGENCIA





9.- (p ∨ q) ∧ ~( q ∨ ~r)

P Q R (P v Q) (Q v ~R) (P v Q) ^ ~(Q v ~R)
V V V V V F
V V F V V F
V F V V F V
V F F V V F
F V V V V F
F V F V V F
F F F F V F


Tautologia

10.- (p ∨...