Warning:
JavaScript is turned OFF. None of the links on this page will work until it is reactivated.
If you need help turning JavaScript On, click here.
Este Cmap, tiene información relacionada con: Buenodeverdad, Leyes lógicas Absorción <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> <mtext> A </mtext> <mtext> ∧(B∨A) </mtext> <mmultiscripts> <mtext> ≡ </mtext> <mtext> </mtext> <none/> </mmultiscripts> <mtext> A </mtext> </mrow> </math>, Equivalencia y consecuencia ???? Equivalencia, Leyes lógicas Supresión de condicional <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> <mtext> A→B </mtext> <mmultiscripts> <mtext> ≡ </mtext> <mtext> </mtext> <none/> </mmultiscripts> <mtext> ~A </mtext> <mmultiscripts> <mtext> ∨ </mtext> <mtext> </mtext> <none/> </mmultiscripts> <mtext> B </mtext> </mrow> </math>, Si A⇒B y B⇒C entonces A⇒C ???? ⇒ es transitiva, Símbolos negación ~p (no p), Formulas bien formadas (f.b.f) se definen de forma recursiva, Enunciados valores de verdad Falsos (No, 0), Metalenguaje equivalencia lógica ⇔, Leyes lógicas Conmutativa A∨B≡B∨A, Leyes lógicas Leyes de De Morgan ~(A∨B)≡~A∧~B, Consecuencia lógica ???? A implica B, A es equivalente a B ???? <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> <mtext> Si ∀i </mtext> <mmultiscripts> <mtext> A </mtext> <mtext> I </mtext> <none/> </mmultiscripts> <mtext> = </mtext> <mmultiscripts> <mtext> B </mtext> <mtext> I </mtext> <none/> </mmultiscripts> </mrow> </math>, Alfabeto utilizan Símbolos de proposición, Modelo da un significado Verdadero, Leyes lógicas Absorción A∨(B∧A)≡ A, Símbolos proposicionales ???? Conectivas de símbolos proposicionales, Reglas semánticas de las conectivas ???? B→C, Propiedades ???? F{F/H}=H, Propiedades ???? <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> <mtext> A⇒B sii </mtext> <mfenced open="{" close="}"> <mtext> A,~B </mtext> </mfenced> <mtext> inconsistente </mtext> </mrow> </math>, Reducción al absurdo se estudia el contrario de la fórmula <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> <mtext> ∃I / </mtext> <mmultiscripts> <mtext> A </mtext> <mtext> I </mtext> <none/> </mmultiscripts> <mtext> =F </mtext> </mrow> </math>