Tema: Lógica proposicional
Enviado por DAVID SANTIAGO ALDANA RIOS • 3 de Mayo de 2016 • Apuntes • 3.841 Palabras (16 Páginas) • 472 Visitas
Página 1 de 16
Ejercicios de Tutoría 1 10%
Espacio académico: Lógica de sistemas
Tema: Lógica proposicional
Resuelva los siguientes ejercicios de lógica proposicional
- En cada una de las siguientes frases, identifique proposiciones simples usando variables proposicionales. Asegúrese de buscar significados afirmados de forma positiva (evitando negaciones). Luego escriba la expresión booleana que describa la frase original. Finalmente, escriba la contrarrecíproca de la expresión y como frase en español de la forma más natural que pueda.
- Si hoy es martes, entonces hoy no es miércoles.
- Si llueve, entonces no iré a hacer mercado.
- Me quedaré solo si tú te vas.
- Me quedaré sólo si tú te vas.
- No puedo terminar la tarea si no entiendo la demostración.
- Está lloviendo, así que no puedo ir al pueblo.
- No ha nevado, así que no puedo esquiar.
- ¿Cuál de las siguientes expresiones es una tautología?
- [pic 2] NO ES TAUTOLOGIA
P | Q | -P | -P∧Q | P∧Q | -(-P∧Q) | -(P∧Q)↔(P∧Q) |
V | V | F | F | V | V | V |
V | F | F | F | F | V | F |
F | V | V | V | F | F | V |
F | F | V | F | F | V | F |
- [pic 3] NO ES TAUTOLOGIA
P | Q | P ∨ Q | (P∨Q)→P |
V | V | V | V |
V | F | V | V |
F | V | V | F |
F | F | F | V |
- [pic 4] SI ES TAUTOLOGIA
P | Q | (P ∧ Q) | P→(P∧Q) |
V | V | V | V |
V | F | V | V |
F | V | V | V |
F | F | F | V |
- [pic 5] SI ES TAUTOLOGIA
P | Q | -P | -Q | -P∨Q | -(-P∨Q) | P∧-Q | -(-P∨Q)↔(P∧-Q) |
V | V | F | F | V | F | F | V |
V | F | F | V | F | V | V | V |
F | V | V | F | V | F | F | V |
F | F | V | V | V | F | F | V |
- [pic 6] NO ES TAUTOLOGIA
P | Q | -P | -Q | P→Q | -P∨-Q | (P→Q)↔( -P∨-Q) |
V | V | F | F | V | F | F |
V | F | F | V | F | V | F |
F | V | V | F | V | V | V |
F | F | V | V | V | V | V |
¿Cuál de las siguientes expresiones es una tautología?
- [pic 7] SI ES TAUTOLOGIA
P | Q | -P | -Q | -P∨-Q | -P→(-P∨-Q) |
V | V | F | F | F | V |
V | F | F | V | V | V |
F | V | V | F | V | V |
F | F | V | V | V | V |
- [pic 8] NO ES TAUTOLOGIA
P | Q | P∧Q | -P∧Q | P∧Q∧-(P∧Q) |
V | V | V | F | F |
V | F | F | V | F |
F | V | F | V | F |
F | F | F | V | F |
- [pic 9] NO ES TAUTOLOGIA
P | Q | -P | -Q | P→Q | -P→-Q | (P→Q)↔( -P→-Q) |
V | V | F | F | V | V | V |
V | F | F | V | F | V | F |
F | V | V | F | V | F | F |
F | F | V | V | V | V | V |
...
Disponible sólo en Clubensayos.com