Carrera: Ingeniería en sistemas computacionales.

Ciclo: Calculo 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: Antonio Roldan Mendoza.

Tarea2

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) v ∼ (q ∧ ∼p)] = Contingencia: Las proposiciones dan un resultado negativo y
positivo.

P Q ̴ ̴ p ∧ ∼q (q ∧ ∼p) (p ∧ ∼q) v ∼ (q ∧ ∼p)]

q p
V V V
V F V F
F V F
V F V V
F V F F
V V V
F F F F
V F V

2.- (p → q) →(q → p) = Contingencia: Las proposiciones dan un resultado negativo y

positivo.
P Q p→q q→p (p → q) →(q → p)
V V V V V
V F F V F
F V V F V
F F V V V

3.- (p ↔ q) = Contingencia: Las proposiciones dan un resultado negativo y positivo.

P Q (p ↔ q)
V V V
V F F
F V F
F F V
4.- (∼p ↔ ∼q) = Contingencia: Las proposiciones dan un resultado negativo y
positivo.

P Q ̴P ̴Q (∼p ↔ ∼q)

V V F V V
V F F V F
V V V F F
V F V F V

5.- p → (q ∨ r) = Contradicción: Cuando es verdad y falsa.

P Q R p→Q q∨r p → (q ∨ r)
V V V V V V
V V F V V V
V F V F F V
V F F F V F
F V V V V V
F V F V V V
F F V V F V
F F F V V V

6.- (p → q) ∨ (q → r) = Tautología: Las preposiciones dan un resultado positivo.

p q r p→q q→r (p → q) ∨ (q → r)
V V V V V V
V V F V V V
V F V F F F
V F F F V F
F V V V V V
F V F V V V
F F V V F F
F F F V V V
7.- p → (q ∧ r) = Contingencia: Las proposiciones dan un resultado negativo y
positivo.

p q r q∧r p → (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 V
F V F V V
F F V V V
F F F F V

8- ∼p ∨ (q ∧ r) = Contingencia: Las proposiciones dan un resultado negativo y

positivo.

p q r q∧r ∼p ∼p ∨ (q ∧ r)
V V V V F V
 V V F F V F
V F V F V F
V F F F V F
F V V V F V
F V F F V F
F F V F V F
F F F F V F
9.- ∼ (p ∨ q) = Contingencia: Las proposiciones dan un resultado negativo y
positivo.

p q p∨q ∼ (p ∨ q)
V V V F
V F F V
F V F V
F F F V
10.- (∼p ∨ ∼q) = Contradicción: Cuando es verdad y falsa.

p q ∼p ∼q (∼p ∨ ∼q)
V V F V V
V F F V V
F V V F V
F F V F 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 Indica la regla de

(A,I,O,E) oposición que
aplicaste y el hecho
adicional que
obtuviste.
1. Todos los soldados que han desertado son unos A Algunos soldados no
cobardes. 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.