Buscar

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

9.9: Derivabilidad y los conectivos proposicionales
https://espanol.libretexts.org/Humanidades/Filosofia/Conjuntos_Logica_Computacion_(Zach)/02%3A_Logica_de_primer_orden/09%3A_Deduccion_natural/9.09%3A_Derivabilidad_y_los_conectivos_proposicionales
Ambos $A \land B \Proves A$ y $A \land B \Proves B$ $A, B \Proves A \land B$ . $A \lor B, \lnot A, \lnot B$ es inconsistente. Ambos $A \Proves A \lor B$ y $B \Proves A \lor B$ . Esta es una deriv...Ambos $A \land B \Proves A$ y $A \land B \Proves B$ $A, B \Proves A \land B$ . $A \lor B, \lnot A, \lnot B$ es inconsistente. Ambos $A \Proves A \lor B$ y $B \Proves A \lor B$ . Esta es una derivación $\lfalse$ de supuestos no descargados $A \lor B$ , $\lnot A$ , y $\lnot B$ . Podemos derivar tanto $A, A \lif B \Proves B$ . Ambos $\lnot A \Proves A \lif B$ y $B \Proves A \lif B$ . Podemos derivar: Tenga en cuenta que $\Intro{\lif}$ puede, pero no tiene que, descargar el supuesto $A$ .

Search