leyes lógicas
DE IDENTIDAD:
“Una proposición sólo es idéntica consigo misma”.
DE CONTRADICCIÓN:
“Una proposición no puede ser verdadera y falsa a la vez”.
DEL TERCIOEXCLUÍDO:
“Una proposición o es verdadera o es falsa, no hay una tercera opción”.
DE LA DOBLE NEGACIÒN O INVOLUCIÓN:
“La negación de la negación es una afirmación”.
DE LA IDEMPOTENCIA:
“Las variables repetidas redundantemente en una cadena de conjunciones o en una cadena de
disyunciones se reemplazan por la sola variable”.
DE LA CONMUTATIVIDAD:
“En una proposición, laconjunción, la disyunción inclusiva y la bicondicional son conmutativas”.
DE LA ASOCIATIVIDAD:
“En una proposición, la doble conjunción, la doble disyunción, o la doble bicondicional seasocian
indistintamente”.
DE LA DISTRIBUTIVIDAD:
“En una proposición la conjunción, la disyunción y la implicación son distributivas”.
DE MORGAN:
“En una proposición, la negación deuna conjunción o de una disyunción son distributivas
respecto a la disyunción o conjunción.
DEL CONDICIONAL:
“En una proposición, la condicional equivale a la disyunción de la negación delantecedente con el consecuente, y la negación de una condicional equivale a una conjunción del antecedente con la
negación del consecuente”.
DEL BICONDICIONAL:
DE LA ABSORCIÓN:
DE TRANSPOSICIÓN:
DE EXPORTACIÓN:
MODUS PONENS:
“En una premisa condicional; si se afirma el antecedente, entonces se concluye en la afirmación
del consecuente”.
MODUS TOLLENS:
“En una proposición, si se niega el consecuente de una premisa condicional entonces se concluye
en la negación del antecedente”.
DEL SILOGISMO DISYUNTIVO:
“En una proposición, cuando seniega el antecedente de la premisa de una disyunción, se concluye en la afirmación del consecuente”.
DE LA INFERENCIA EQUIVALENTE:
“En una proposición, cuando se afirma que uno de los miembros...
Regístrate para leer el documento completo.