LOGICA MATEMATICA

1. Se ordena la inferencia, pero solo en el caso de que su forma logica haya sido alterada en el lenguaje natural, observando el esquema: premisa- conclusion.

2.Se explicita su forma logica

3.Se halla su formula, expresando simbolicamente sus premisas y conclusion.

4.Se construye una formula condicional que tenga como antecente las premisas unidas por el operador conjuntivo y como consecuente a la conclusion se evalua la formula condicional mediante la tabla de verdad. si efectuada la evaluacion la formula condicional es tautologica, entonces la inferencia es valida; si la formula es consistente o contradictoria entonces no es valida.

Ejemplo

a) El triangulo tiene dos lados iguales, entonces al triangulo se llama isosceles.No se llama isosceles. En consecuencia ,No tiene dos lados iguales:

Forma Logica

1. El triangilo tiene dos la dos iguales
2. El triangulo no se llama isosceles
___________________________
Luego, el triangulo no tiene dos lados iguales.

Formula
P: el triangulo tiene dos lados iguales
Q: el triangulo se llama isósceles

1. p→q
2. –q

____
-p

Formula condicional

((p→q) ^-p)→ -p

Respuesta: La inferencia analizada es valida porque su formula condicional es una tautologica