Razonamiento Lgico Matemtico

La naturaleza es un libro abierto, escrito en el lenguaje de la matemtica.

Lic. Carmen Aguinaga Doig

Formalizacin de Proposiciones
Es la representacin de las proposiciones simples mediante las variables proposicionales (p; q, r; s,) y de los conectivos lgicos por sus respectivos smbolos. Ejemplo: Si encuentro trabajo y ahorro, viajar a Miami. p: Encuentro trabajo q: ahorro r: viajar a Miami Formalizacin: (p^q) r

Lgica Proposicional CEPRE Sipn CRAD 2012

 Bicondicional. Disyuncin

fuerte Condicional.... Conjuncin y disyuncin.., Negacin..~

Lgica Proposicional CEPRE Sipn CRAD 2012

JERARQUIA DE CONECTORES

Son los smbolos auxiliares que permiten establecer la jerarqua de los conectivos lgicos y as evitar ambigedades. Parntesis ( ) Llaves { } Corchetes [ ] Barras |

Lgica Proposicional CEPRE Sipn CRAD 2012

SIGNOS DE AGRUPACIN

 Se adjudica una variable proposicional a cada proposicin simple. Si la proposicin se presenta ms de una vez en el mismo enunciado, se vuelve a emplear la misma variable. Cada contenido proposicional debe ser reemplazado por su respectivo conectivo lgico. Cada contenido lgico debe tener un alcance, dominio o jerarqua especfico.

Lgica Proposicional CEPRE Sipn CRAD 2012

REGLAS DE FORMALIZACION DE ESQUEMAS MOLECULARES

Es la combinacin de variables y conectivos lgicos debidamente jerarquizados, se simbolizan mediante metavariables que son las letras maysculas a partir de A, B, C, Ejemplos: A = p (q r) B = (p q) [ r (q s)] C = ~(p ~ q) [ (p r) (q s)]

Lgica Proposicional CEPRE Sipn CRAD 2012

ESQUEMA MOLECULAR

Consiste en obtener los valores del operador principal a partir de los valores de cada una de las variables proposicionales y se realiza mediante las denominadas Tablas de verdad creadas por Wittgenstein. Los valores obtenidos se denominan Matriz principal y corresponden al conectivo de mayor jerarqua.

Lgica Proposicional CEPRE Sipn CRAD 2012

EVALUACIN DE ESQUEMAS MOLECULARES

TIPOS DE ESQUEMAS MOLECULARES

A) Tautologa Una proposicin es una tautologa si y slo si es verdadera para todas las asignaciones posibles. Ejemplo: [(pq) p] q

Lgica Proposicional CEPRE Sipn CRAD 2012

TIPOS DE ESQUEMAS MOLECULARES

B) Contradiccin Una proposicin es una contradiccin si y slo si es falsa para todas las asignaciones posibles.

Ejemplo:
~ [(p q) (q p)]

Lgica Proposicional CEPRE Sipn CRAD 2012

TIPOS DE ESQUEMAS MOLECULARES

C) Contingencia Una proposicin que no sea una ni una tautologa ni una contradiccin se denomina contingencia (casualidad, eventualidad). Ejemplo:

p~q

Lgica Proposicional CEPRE Sipn CRAD 2012

Parte de las tablas de verdad se puede utilizar el mtodo de directo para encontrar el valor de verdad de una frmula lgica o esquema molecular.

Lgica Proposicional CEPRE Sipn CRAD 2012

VALOR DE VERDAD POR EL MTODO DIRECTO

Razonamiento Lgico Matemtico

La naturaleza es un libro abierto, escrito en el lenguaje de la matemtica.

Lic. Carmen Aguinaga Doig