Consistencia:

La consistencia lógica es la no existencia de contradicción en un sistema lógico.

Así se dice que un argumento es consistente si no implica una contracción. Es
decir, si no implica la conjunción de una proposición y su negación a la vez cuya
lógica es ~ P ᶺ P Por ejemplo:
~P ᶺ P ; es una contracción es posible. Su valor siempre es falso.
Si una proposición es falsa y no tiene la forma de una contradicción, es posible
reconocer la contradicción mediante un proceso deductivo a través del cual pueda
llegarse a dicha contracción. De esta manera, cuando dos o más proposiciones no
pueden ser lógicamente ciertas a la vez, se dice que son inconsistentes.

Si de un conjunto de premisas se deduce una contradicción al hacer uso de las

reglas y métodos deducción, tal resultado demuestra que el conjunto de premisa
es inconsistente.

Contraejemplo:

Se dice que un contraejemplo, es un caso o un hecho que contraviene el

acontecer de una propiedad general. Así, para demostrar que la proposición “Toda
x que es elemento del conjunto A, verifica la proposición B” es falsa, basta mostrar
un elemento x1 del conjunto A que no verifique esa propiedad; se dice entonces
que x1 es un contraejemplo.

Empleo de la tabla de leyes lógicas.

Uno de los métodos empleados entre otros, para establecer la validez lógica de un
argumento es el método lógico deductivo o de inferencia lógica. Dicho método se
basa en el uso de las reglas y leyes lógicas. Al proceso inferencial realizado se le
llama demostración lógica del argumento.

Lógica inductiva y lógica deductiva

Realizar el siguiente ejercicio.

A)[ [ ( P V Q ) ᶺ ( P →R) ] ᶺ ( Q →S ) (RVS)]

P Q R S (PVQ)
ᶺ (P→R)
ᶺ (Q →S
)
↔ (QVS
)

B) [ [ ( P V Q) (P ᶺ R ) ] (RVQ)]

C) [ [ (A ᶺ B) (~A V C) ] ( B ᶺ ~C ) ]