Tarea2Sistemas Digitales





Carrera:
Ingeniería en Sistemas Computacionales
Ciclo:
Calculo Proposicional
Nombre del módulo:
Introducción a la Lógica.
Tema:
1.3. Conectivos lógicos ytablas de verdad
1.4. La Lógica Formal
1.5. Proposiciones categóricas.



Tarea2
Nombre:
Jesús Mincítar Cuarao.
Instrucción: Responde de acuerdo a lo que se teplantea. Guarda tu archivo tarea2TuprimernombreTuprimerapellido.doc y súbelo como tarea.

Ejercicio: Obtén la Tabla de Verdad de cada una de las siguientes proposicionescompuestas, 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)

2.- (p ∨ q) ∧ not p

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

4.- p entonces (q ∧ r)

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

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

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

8.- q ∨ ~q ∧ r

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

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



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(A,I,O,E)
Hecho adicional (aplicando las reglas de oposición).
1. Todos los soldados que han desertado son unos cobardes.


2. Algunos corredores de autos son gente demucha astucia.


3. Ningún automóvil, completamente equipado, es un auto que puede ser usado para competir en esta carrera.


4. Algunos periodistas no son personasbien preparadas.


5. Ninguna persona, en la ceremonia del Grito de Independencia, se quedó sin lanzarse a las calles para manifestar su nacionalismo.