LEYES LÒGICAS PRINCIPALES
Enviado por Kevin Sanchez Altamirano • 24 de Abril de 2017 • Práctica o problema • 771 Palabras (4 Páginas) • 185 Visitas
LEYES LÒGICAS PRINCIPALES
DE IDENTIDAD:
[pic 1]
[pic 2]
“Una proposición sólo es idéntica consigo misma”.
DE CONTRADICCIÓN:
[pic 3]
“Una proposición no puede ser verdadera y falsa a la vez”.
DEL TERCIO EXCLUÍDO:
[pic 4]
“Una proposición o es verdadera o es falsa, no hay una tercera opción”.
DE LA DOBLE NEGACIÒN O INVOLUCIÓN:
[pic 5]
“La negación de la negación es una afirmación”.
DE LA IDEMPOTENCIA:
[pic 6]
[pic 7]
“Las variables repetidas redundantemente en una cadena de conjunciones o en una cadena de
disyunciones se reemplazan por la sola variable”.
DE LA CONMUTATIVIDAD:
[pic 8]
[pic 9]
[pic 10]
“En una proposición, la conjunción, la disyunción inclusiva y la bicondicional son conmutativas”.
DE LA ASOCIATIVIDAD:
[pic 11]
[pic 12]
[pic 13]
“En una proposición, la doble conjunción, la doble disyunción, o la doble bicondicional se asocian
indistintamente”.
DE LA DISTRIBUTIVIDAD:
[pic 14]
[pic 15]
[pic 16]
[pic 17]
“En una proposición la conjunción, la disyunción y la implicación son distributivas”.
DE MORGAN:
[pic 18]
[pic 19]
“En una proposición, la negación de una conjunción o de una disyunción son distributivas
respecto a la disyunción o conjunción.
DEL CONDICIONAL:
[pic 20]
[pic 21]
“En una proposición, la condicional equivale a la disyunción de la negación del antecedente 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:
[pic 22]
[pic 23]
DE LA ABSORCIÓN:
[pic 24]
[pic 25]
[pic 26]
[pic 27]
DE TRANSPOSICIÓN:
[pic 28]
[pic 29]
DE EXPORTACIÓN:
[pic 30]
[pic 31]
MODUS PONENS:
[pic 32]
“En una premisa condicional; si se afirma el antecedente, entonces se concluye en la afirmación
del consecuente”.
...