Propiedades Y Reglas Lógica Flashcards
Ley de identidad
Un enunciado es idéntico a sí mismo (p=p)
Ley de contradicción
Un enunciado no se puede afirmar y negar al mismo tiempo
Ley de tercio exclusivo
Un enunciado puede ser V o F, pero no hay una tercera opción
Modus ponens
Si hay una implicación y el antecedente es positivo, el consecuente también lo va a ser. p⇒q p/q
Silogismo distuntivo
En una disyunción, si el antecedente es negativo, el consecuente será positivo ¬p/q
Modus tollens
En una implicación, si el consecuente es negativo, el antecedente también lo va a ser ¬p/¬q
1ª Ley de Morgan
Una negación de una conjunción es igual a la disyunción de la negación de los enunciados. ¬(p∧q)/¬p∨¬q
2ª Ley de Morgan
Una negación de una disyunción es igual a la conjunción de la negación de los enunciados. ¬(p∨q)/¬p∧¬q
