PRÁCTICA 1 LÓGICA PROPOSICIONAL

1. Simbolizar cada una de las proposiciones siguientes:

A.- Si esta planta no crece entonces necesita más agua o necesita fertilizante

B.- No es cierto que, cuatro más seis no es igual a ocho

C.- Si tuviera dinero o tuviera un auto, pasaría todos los días viajando y dejaría de ver televisión

2. Elija la opción correcta que representa la proposición:

A.- Si estudias y trabajas, entonces realizas un mayor esfuerzo

3. Sean p, q y r los enunciados siguientes:

a. p: “estudiaré matemáticas”
b. q: “iré a mi clase de computación”
c. r: “estoy de buen humor”

traduzca cada una de las siguientes proposiciones al lenguaje corriente:

a) ~p^q ; b) r→(p v q); c) ~r→(p v ~q);

4. Determinar el valor de verdad de las siguientes proposiciones:
a) “ Si 2+3=4, entonces 1+2=3”
b) “ Si 1+1=2, entonces 2+2=3”
c) “Si 5-3>1, entonces 3-5<-1”
d) “Si 4-4>3, entonces 2-2<-3”
5. Resuelva las tablas de verdad de las siguientes proposiciones e indique su tipo
a) Tabla de la verdad de la proposición: ~ (p ∨ q) ↔ (~ p ^ ~ q)
b) Tabla de la verdad de la proposición: [~(p ↔ q)] ↔ [ p ↔ (~q)]
c) Tabla de la verdad de la proposición: [(p → q) ^ (p → r)] → (p → r)
6. Sean q y s proporciones cualesquiera, p y r proposiciones tales que ~(𝑝 v ~𝑟) es
verdadera. Hallar el valor de verdad de las proposiciones siguientes:
a) [𝑝 → (𝑞^𝑠)] ⊻ (~𝑞 → 𝑟)
b) [(𝑟 𝑣 𝑞) → (𝑝 ^𝑠)] → (~𝑞 ⊻ 𝑠)
7. Hallar el valor de verdad de las proposiciones p, q , r y s sabiendo que:
a) ~(𝑝 𝑣 ~𝑟)^~(𝑞 → ~𝑠) es verdadera
b) ~[(𝑟^~𝑞) → (~𝑝 → 𝑠)] es verdadera
8. Simplificar
a) 𝑞^(~𝑝 → ~𝑞)
b) (~𝑝 → 𝑞)^ (𝑝 𝑣 ~𝑞)
9. Obtener la proposición correspondiente al siguiente circuito, y simplificar:
10. Demostrar G^F
1) 𝐶 → 𝐵
2) ~𝐷 → (𝐸^𝐹)
3) 𝐴^~𝐵
4) (𝐴^𝐸) → 𝐺
5) 𝐶 𝑣 ~𝐷
11. Demostrar la validez del siguiente razonamiento: “Si la ballena es un mamífero,
entonces toma oxigeno del aire. Si toma su oxigeno del aire, entonces no necesita
branquias. La ballena es un mamífero y vive en el océano. Por lo tanto, habita en el
océano y no necesita branquias
12. Expresar las siguientes en forma simbólica y negarlas
a) El cuadrado de todo número entero es mayor que 1
b) Ningún cuento de hadas es una historia cierta
c) Nadie es totalmente juicioso o totalmente estúpido