ANALISIS DE INFERENCIA ANALOGICO

REGLAS

Modus Ponens (MP):













Modus Tolens (MP):














Silogismo Hipotetico (SH):














Silogismo Disyuntivo (SD):












Dilema Construtivo (DM):














Dilema Destrutivo (DD):










Simplificación (Simp):






Conjunción (Conj):











Adición (Ad):

EQUIVALENCIA DE FORMULAS LOGICAS

Si ƒ1 y ƒ2 tienen matrices pricipales iguales entonces son equivalentes.

TABLAS DE VERDAD

Tiene como función la validez o invalidez de una inferencia.

NEGACIÓN:







CONJUNCION:











DISYUNCIÓN:










NEGACION CONJUNTA:










NEGACIÓN ALTERNA:










CONDICIONAL:










BICONDICIONAL:

FORMULAS BIEN O MAL FORMADAS

LENGUAJE FORMALIZADO

LOGICA DE PROPOCISIONES

LOGICA DE PROPOCISIONES

Es la primera parte de la logica elemental.

La funcion màs elemental de la Lgica de Proposiciones es estudiar la relacion que hay entre ellos, màs no lo que hay dentro de ellas.

PROPOSICIÓN:

Es un sistema convencional estricto con sentido sujeto a una determinada articulación interna.

"TODAS LAS PROPOSICIONES SON ORACIONES PERO NO TODAS LAS ORACIONES SON PROPOSICIONES."

Para ser una proposiciion es necesario:

• ser oracion

• ser una oración aseverativa

• ser bien, verdadera o bien, falsa.

CLASES DE PROPOSICIONES