1. Explica por qué decimos que la lógica simbólica es formal.
2. Elabora dos ejemplos de lenguaje y dos ejemplos de metalenguaje.
3. Investiga cuáles son los principales filósofos de la lógica simbólica.
4. Responde: ¿Cuál es la diferencia entre el cálculo matemático y el cálculo de proposiciones?
5. Responde: ¿Cuál es la diferencia entre lógica bivalente y lógica polivalente?
6. Expresa en forma simbólica (p, q, r y conectores) las siguientes proposiciones:
a. El libro de Kant no es para principiantes.
b. O logramos ganar el partido o nos vamos a la B.
c. El ingeniero acepta el contrato solo si le pagan el anticipo.
d. El día está triste entonces está gris.
e. El espacio brindado es bueno solo si ponen un letrero.

7. Define qué es en lógica el valor de verdad.
8. Explica las cinco operaciones fundamentales con un ejemplo de cada uno.
9. Formaliza los siguientes razonamientos, primero identifica las proposiciones, asígnales una variable (p, q, r), establece su forma lógica.
• Los sunitas son mayoría en Qatar, y minoría en Yemen.
• Somos más reflexivos, o somos menos precavidos.
• Si no tienes un conocimiento certero, cometerás muchos errores.
• El hecho de que se firme la paz no implica que cese la violencia.
• Tener miedo equivale a quedarse paralizado.
• Si estudias y vienes a clase, entonces tendrás buenos resultados.
10. Elabora la tabla de verdad de los siguientes razonamientos:
¬(p→q) ∨(¬p∧¬q) (p→q∧¬q) →¬p
11. Abstrae la forma lógica de los siguientes razonamientos y realiza la tabla de verdad y verifica si
son válidos:
Si Bernardo fue a clase se encontró con Cristina. Pero no se encontró con Cristina; por lo tanto,
Bernardo no fue a clase.
En abril, en Quito llueve o hace frío. No llueve, luego hace frío.
Si se desborda el río, habrá inundación. Luego, si no hay inundación, el río no se desborda.
La democracia funciona si hay participación popular. No hay participación popular; por lo tanto,
la democracia no funciona.