Logica ejercicicos
Páginas: 3 (681 palabras)
Publicado: 18 de noviembre de 2013
GUÍA DE EJERCICIOS N°1
LÓGICA PROPOSICIONAL
Beatriz Frenkel
1. Abstraiga la forma lógica de los siguientes enunciados
1. Platón era griego y Descartes francés.
2. Clara y Pablo soncuñados.
3. Platón no era francés.
4. Platón era griego, pero Descartes no.
5. Aunque llueve, iremos de viaje.
6. Vendrá, o llamará.
7. No vendrá, a menos que llame.
8. Ni vendrá, ni llamará.
9. Oestudia para el examen, o se sacará un aplazo.
10. Si tienes más de 18 años y menos de 20, tienes 19.
11. Juan irá a la cárcel, en el caso de que el juez lo encuentre culpable.
12. Ser argentino escondición suficiente para ser americano.
13. No es cierto que ser argentino sea condición necesaria para ser americano.
14. 5 es un número primo, si es divisible por sí mismo y por 1.
15. Si 3 no esdivisible por 2, entonces no es cierto que sea un número primo y par.
16. Este triángulo es equilátero si y sólo si es equiángulo.
17. Sólo si estudió Derecho, puede ejercer la profesión de abogadoo llegar a ser juez.
18. Los señores Pérez y González tomarán sus vacaciones a partir del primero de enero.
19. Iré a México o a Perú, y luego visitaré Chile.
20. Juan viene si y sólo si Pedro nolo hace.
2. Establezca todas las fórmulas de la lógica proposicional que pueden escribirse con las siguientes expresiones mediante el agregado de paréntesis.
1. p → r ↔ q
2. p v r → q v r
3. p q → p
4. q → ¬s t
5. p → r ↔ q → r
3. Muestre que las siguientes son fórmulas bien formadas de la lógica proposicional, dibujando el árbol constructivo de cada una de ellas:
1. p v ¬p
2.(p q) → p
3. ((p ¬p) v r) → r
4. ((p q) v r) → r
5. ((p q) v r) ↔ ((p v r) (q v r))
4. Construya la tabla de verdad para las fórmulas del ejercicio 3.
5. Simbolice los siguientesenunciados y determine mediante tablas de verdad si las fórmulas obtenidas son tautologías, contradicciones o contingencias:
1. Ana está triste, si el día está lluvioso o nublado.
2. Muero si no...
LÓGICA PROPOSICIONAL
Beatriz Frenkel
1. Abstraiga la forma lógica de los siguientes enunciados
1. Platón era griego y Descartes francés.
2. Clara y Pablo soncuñados.
3. Platón no era francés.
4. Platón era griego, pero Descartes no.
5. Aunque llueve, iremos de viaje.
6. Vendrá, o llamará.
7. No vendrá, a menos que llame.
8. Ni vendrá, ni llamará.
9. Oestudia para el examen, o se sacará un aplazo.
10. Si tienes más de 18 años y menos de 20, tienes 19.
11. Juan irá a la cárcel, en el caso de que el juez lo encuentre culpable.
12. Ser argentino escondición suficiente para ser americano.
13. No es cierto que ser argentino sea condición necesaria para ser americano.
14. 5 es un número primo, si es divisible por sí mismo y por 1.
15. Si 3 no esdivisible por 2, entonces no es cierto que sea un número primo y par.
16. Este triángulo es equilátero si y sólo si es equiángulo.
17. Sólo si estudió Derecho, puede ejercer la profesión de abogadoo llegar a ser juez.
18. Los señores Pérez y González tomarán sus vacaciones a partir del primero de enero.
19. Iré a México o a Perú, y luego visitaré Chile.
20. Juan viene si y sólo si Pedro nolo hace.
2. Establezca todas las fórmulas de la lógica proposicional que pueden escribirse con las siguientes expresiones mediante el agregado de paréntesis.
1. p → r ↔ q
2. p v r → q v r
3. p q → p
4. q → ¬s t
5. p → r ↔ q → r
3. Muestre que las siguientes son fórmulas bien formadas de la lógica proposicional, dibujando el árbol constructivo de cada una de ellas:
1. p v ¬p
2.(p q) → p
3. ((p ¬p) v r) → r
4. ((p q) v r) → r
5. ((p q) v r) ↔ ((p v r) (q v r))
4. Construya la tabla de verdad para las fórmulas del ejercicio 3.
5. Simbolice los siguientesenunciados y determine mediante tablas de verdad si las fórmulas obtenidas son tautologías, contradicciones o contingencias:
1. Ana está triste, si el día está lluvioso o nublado.
2. Muero si no...
Leer documento completo
Regístrate para leer el documento completo.