1. CICLO ANUAL INTEGRAL “ACADEMIA ADUNI” PROF. I17 RAFAEL MORA
FUNCIONES VERITATIVAS III. Suponiendo que p=V, q=F, r=V (p∨q)↔ ~(~p∧~q)
¿Cuál es el valor de los esquemas?
I. Simbolizar: 1. p → (∼p∧p) Lectura Lógica: La disyunción débil
1. Canto a no ser que se rían 2. (p∨∼p) ∨ t (p∨q) se define como una fórmula
2. Pensaré a menos que llore 3. t ∧ (∼p∧p) que es falsa cuando p y q son
3. Corro aunque llueva 4. (p∧∼p) → t falsas a la vez
4. Juego a pesar de que pierdo 5. t → (p∨∼p)
5. Ser padre (significa) tener hijos 6. t ↔ (p ∨∼p)
(equivale a) (p→q) ↔ ~(p∧~q)
7. (t∨∼t) ∧ t
6. Si corro entonces me canso 8. ∼ [p∨(p→p)]
7. Porque sueño, imagino L. L: La condicional (p→q) se define
9. t↮ (p∨t)
8. Gané por ello festejé
10. [p∧(q∨r)]→t
como una fórmula que es falsa
9. Dado que le debo, le pagaré cuando p es verdadera y q es falsa
11. [t∧(q∧r)] ∨ p
10. Dudo por lo tanto aprendo a la vez.
12. [p→(q→r)] ↔ [r→(q→p)]
11. Si veo es porque tengo ojos 13. [p∨(q∧r)]→ [∼p∧(∼q∧∼r)]
14. (p↔q) ↔ (r↔s) (p↔q) ↔ [ (p ∧ q) ∨ (~p ∧ ~q) ]
12. Pienso ya que dudo
13. Pago dado que le debo 15. [(p ∧ q) ∧ r] ∧ s
14. Lloro debido a que sufro L. L: La bicondicional (p↔q) será
15. Lo saludo solo si es conocido IV. Sabiendo que… ¿cuál es el valor verdadera cuando al menos suceda
de p,q ,r, s y t respectivamente? una de las dos opciones: las dos
II. Evalúa los sgts esquemas: 1. [p∧(q∧r)]∧ (q→r) es verdadero proposiciones son verdaderas o las
1. [(p→q)∧(q→p)] → (p↔q) 2. (r∧s) ∨ [p→(q→t)] es falso dos proposiciones son falsas.
2. {[(p→q)→q]∧∼q} → ∼(p→q) 3. (p∨q) → [p→(s∨t)] es falso
3. [(p∨q)∧∼p]→∼q 4. (p∧q) ↔ [p↔(r∧t)] es verdadero (p ↮ q) ↮ ~[(p ∧ q) ∨ (~p ∧ ~q)]
4. [(p∧q) ∨ p] ↔ p 5. (s∨r) ↮ [p→(q∨r)] es falso
5. [(∼p∧q)∨p] ↔ (p∨q) 6. p ↮ [(s∧∼s)∧r] es falso L. L: La disyunción fuerte (p ↮ q)
7. (p∧q) ↔ [(p∨∼p)∨ t)] es verdadero
será falsa cuando al menos suceda
6. [(p→q) ∧ (q→r)] → (p→r) 8. (p∧s) ↮ {[(∼t→∼t)∨q]∨r} es falso
una de las dos opciones: las dos
7. [p→(q→r)] ↔ [(p∧q)→r] 9. (r∨q) ↔ [(p∨∼p)∨ t)] es falso
proposiciones son verdaderas o las
8. {[(p↮q)→r]∧(p↔q)}→∼r 10. q→ [(p→s)∨ r] ↮ [(∼t∨t) ∨ (t∧∼t)] es
verdadero
dos proposiciones son falsas.
9. [(p∧q)∨r] ↔ [(p∨r) ∧ (q∨r)]
10.∼(∼p→∼{∼p→∼[∼p → (q∧r) ] } )
Teorema: (p↔q) ↔ ∼ (p ↮ q)