Carrera: Sistemas computacionales

Ciclo: Cá lculo Proposicional

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

Nombre: adrian contreras

Tarea2
Adrian
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 cada una 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) contingencia
p q r Q v r p ^ ( q  v 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

2.- (p ∨ q) ∧~ p contingencia
p q (p v q ) (p v q ) ^ (p v q ) ^ ~p
v v f v v
v v v v v
v f v f f
v f v f v

3.- (~p ∧ ~q) ∧ (~r ∨ ~p) ∧ (q ∧ r) ∨ (p ∧ ~q) contradicción

p q r (~p ∧ ~q) ∧ (~r ∨ ∧ (q ∧ r) ∨ (p (~p ∧ ~q) ∧ (~r ∨
~p) ∧ ~q) ~p) ∧ (q ∧ r) ∨ (p
∧ ~q)

v v v f f f
v f v f v v
 v f v v f f
v v f v v v
f v f f v f
f f v f v f
f v v v f v
v v f v f v

4.- p →(q ∧ r) contingencia

p q r Q^R P→ ( q ^  R )
V V V V V
V V F F f
V F V F f
V F F F f
F V V V V
F V F F v
F F V F v
F F F F v

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

p q (p ^ q ) ~(q v q ) (p ^ q ) ^~(q v q )
v f f v v
v f f v f
v v v f v
v f v v f

6.- [(p ↔ q) ∧ q] → p contradicción

p q [(p ↔ q) q] → p [(p ↔ q) ∧ q] → p
v v v f v
v v f f f
f f v v v
f v v f v

7.- p ∧ ~q ∨ ~q∧r contradicción

p q
v v
v v
v v
f f
f f
f v
v v
v v
r p^~q
v f
v v
v v
f v
f f
f f
v f
f f
~q p ^ r p^~q v ~q p ^ r
f f
v v
v f
f v
f v
v f
v f
v v

8.- q ∨ ~q ∧ r contingencia
q r qv q v~ q q v~ q ^ r
 v v v v v
v v f f v
v f v f v
f v v v f

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

p q r (p v q ) ~(q v ~r) (p v q ) v~(q v ~r)
v v v f f v
v v v f v f
v v f v v v
v f f v v f
f f v v f v
f v f f f f
f v f f f v
f v f v v f

10.- (p ∨ q) ∧ ~( ~p ∨ ~q) contradicción

p q (pvq) (~p v ~q ) ( p v q )^~(~p v ~q )
v v f f f
v v v f v
v f v v v
f v v v f

Ejercicio: Clasifica las siguientes proposiciones categó ricas segú n su tipo (A, I, O, E) e infiere
una proposició n adicional para cada una de ellas, aplicando correctamente las reglas de
oposició n

Ejercicios de proposiciones categóricas. Tipo Hecho adicional

(A,I,O,E) (aplicando las
reglas de
oposición).
1. Todos los soldados que han desertado son unos A Algunos soldados
cobardes. no son cobardes
2. Algunos corredores de autos son gente de mucha I No todos los
astucia. corredores de autos
son gente astuta
3. Ningún automóvil, completamente equipado, es E Algunos autos si
un auto que puede ser usado para competir en esta podrán participar
carrera.
4. Algunos periodistas no son personas bien O Todos los periodistas
preparadas. si están preparados
5. Ninguna persona, en la ceremonia del Grito de E Un grupo de
Independencia, se quedó sin lanzarse a las calles personas si se lanzo a
para manifestar su nacionalismo. la calle a
manifestarse