Buscar

Loading [MathJax]/jax/output/HTML-CSS/jax.js

Sección 5: Ejercicios de práctica
https://espanol.libretexts.org/Humanidades/Filosofia/Una_introduccion_a_la_logica_formal_(Magnus)/Chapter_3%3A_Tablas_de_la_verdad/Section_5%3A_Ejercicios_de_pr%C3%A1ctica
1. $A$ → $A$ , ¬ $A$ →¬ $A$ , $A$ & $A$ , $A$ $A$ 2. $A$ [ $A$ → ( $A$ ↔ $A$ )],.. $A$ 9. ( $B$ & $A$ ) → $C$ , ( $C$ & $A$ ) → $B$ ,.. ( $C$ & $B$ ) → $A$ Si lo hiciéramos, aún podríamos esc...1. $A$ → $A$ , ¬ $A$ →¬ $A$ , $A$ & $A$ , $A$ $A$ 2. $A$ [ $A$ → ( $A$ ↔ $A$ )],.. $A$ 9. ( $B$ & $A$ ) → $C$ , ( $C$ & $A$ ) → $B$ ,.. ( $C$ & $B$ ) → $A$ Si lo hiciéramos, aún podríamos escribir ' $A$ ↔ $B$ ' para que las oraciones sean más fáciles de leer, pero eso sería la taquigrafía de ( $A$ → $B$ ) & ( $B$ → $A$ ). El lenguaje resultante sería formalmente equivalente a SL, ya que $A$ ↔ $B$ y ( $A$ → $B$ ) & ( $B$ → $A$ ) son lógicamente equivalentes en SL.

Search