LEYES DE LA LÓGICA FORMAL

Concatenaciones de pensamientos que llevan siempre a la formación de juicios verdaderos cualquiera que sea la sustitución que se haga de las variables lógicas por pensamientos de contenido concreto.

• Ley

• Ley formal

• Ley dialéctica

• Forma lógica

Ley que expresa que un pensamiento es idéntico así mismo,si su extensión permanece invariable; siempre que los objetos que refleja no sufren transformación alguna.

• Ley de identidad

• Ley de contradicción y no contradicción

• Ley de Tercero excluido

• Ley de la Razón suficiente

Ley donde dos (2) juicios, en uno de los cuales se afirma algo acerca del objeto del pensamiento, mientras que en el otro se niega lo mismo, no pueden ser a la vez verdaderos en un mismo tiempo y en una misma relación.

• Ley de identidad

• Ley de contradicción y no contradicción

• Ley de tercero excluido

• Ley de la razón suficiente

Ley que manifiesta que los dos(2) juicios que se niegan, uno es necesariamente verdadero; cualquiera que sea su contenido, referido a un lugar y tiempo determinado.

• Ley de identidad

• Ley de contradicción y no contradicción

• Ley de tercero excluido

• Ley de la razón suficiente

Ley que manifiesta que una proposición se puede considerar verdadera, si es demostrada con suficiente fundamento.

• Ley de identidad

• Ley de contradicción y no contradicción

• Ley de tercero excluido

• Ley de la razón suficiente

Filósofo al que se le atribuye la formulación de las ley de la Razón suficiente.

• Aristóteles

• Wilhem Leibniz

Filósofo a que se le atribuye la formulación de las leyes de: Identidad, Contradicción y no contradicción y Tercero excluido

• Aristóteles

• Wilhem Leibniz

Formula lógica que pertenece a la Ley de Identidad

• A = A

• A y no A

• A es A y A no es A

• A o no A

Formula lógica que pertenece a la Ley de Contradicción y no contradicción

• A = A

• A es A

• A y no A

• A o no A

Formula lógica que pertenece a la Ley de tercer excluido

• A es A

• A = A

• A y no A

• A o no A