Razonamiento Lgico Matemtico

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

Lic. Carmen Aguinaga Doig

2012

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

Formalizacin de Proposiciones

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

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

TIPOS DE ESQUEMAS MOLECULARES

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

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

Lic. Carmen Aguinaga Doig

GRACIAS