Sin título

Diapositiva 1

Leyes de la lógica formal

• Ley de identidad
• (A=A) A ES A
• Expresa que un pensamiento es idéntico a si mismo .
• Ley de contradicción
• (A Y A) A ES B Y A NO ES B
• Se refiere al contenido concreto de dos juicios, en uno se afirma algo del objeto y el otro lo niega
• Ley de tercero excluido
• (A O A)
• A ES B O A NO ES B
• De dos juicios que se niegan uno es verdadero, cualquiera que sea su contenido concreto.
• Ley de razón suficiente
• (No tiene fórmula)
• Una proposición es cierta si es demostrado con suficiente fundamento.