Esquemas moleculares
Transcript of Esquemas moleculares
![Page 1: Esquemas moleculares](https://reader033.fdocuments.ec/reader033/viewer/2022061605/55926bf31a28abd6428b461a/html5/thumbnails/1.jpg)
ESQUEMAS MOLECULARES
Lic. Carmen Aguinaga Doig
Razonamiento Lógico Matemático
2012
La naturaleza es un libro abierto, escrito en el lenguaje de la
matemática.
![Page 2: Esquemas moleculares](https://reader033.fdocuments.ec/reader033/viewer/2022061605/55926bf31a28abd6428b461a/html5/thumbnails/2.jpg)
Formalización de Proposiciones
Es la representación de las proposiciones simples mediante las variables proposicionales (p; q, r; s,…) y de los conectivos lógicos por sus respectivos símbolos.Ejemplo:Si encuentro trabajo y ahorro, viajaré a Miami. p: Encuentro trabajoq: ahorro r: viajaré a MiamiFormalización:
( p ^ q ) r
Lóg
ica
Pro
posi
cion
al –
CE
PR
E S
ipán
– C
RA
D –
201
2
![Page 3: Esquemas moleculares](https://reader033.fdocuments.ec/reader033/viewer/2022061605/55926bf31a28abd6428b461a/html5/thumbnails/3.jpg)
JERARQUIA DE CONECTORES
Bicondicional……………….↔ Disyunción fuerte……………Δ Condicional……………….... Conjunción y disyunción….., Negación……………………..~
Lóg
ica
Pro
posi
cion
al –
CE
PR
E S
ipán
– C
RA
D –
201
2
![Page 4: Esquemas moleculares](https://reader033.fdocuments.ec/reader033/viewer/2022061605/55926bf31a28abd6428b461a/html5/thumbnails/4.jpg)
SIGNOS DE AGRUPACIÓN
Son los símbolos auxiliares que permiten establecer la jerarquía de los conectivos lógicos y así evitar ambigüedades.
Paréntesis ( ) Llaves { }
Corchetes [ ] Barras |
Lóg
ica
Pro
posi
cion
al –
CE
PR
E S
ipán
– C
RA
D –
201
2
![Page 5: Esquemas moleculares](https://reader033.fdocuments.ec/reader033/viewer/2022061605/55926bf31a28abd6428b461a/html5/thumbnails/5.jpg)
REGLAS DE FORMALIZACION DE ESQUEMAS MOLECULARES
Se adjudica una variable proposicional a cada proposición simple. Si la proposición se presenta más de una vez en el mismo enunciado, se vuelve a emplear la misma variable.
Cada contenido proposicional debe ser reemplazado por su respectivo conectivo lógico.
Cada contenido lógico debe tener un alcance, dominio o jerarquía específico. Lóg
ica
Pro
posi
cion
al –
CE
PR
E S
ipán
– C
RA
D –
201
2
![Page 6: Esquemas moleculares](https://reader033.fdocuments.ec/reader033/viewer/2022061605/55926bf31a28abd6428b461a/html5/thumbnails/6.jpg)
ESQUEMA MOLECULAR
Es la combinación de variables y conectivos lógicos debidamente jerarquizados, se simbolizan mediante metavariables que son las letras mayúsculas a partir de A, B, C,…
Ejemplos: A = p (q r) B = (p q) [ r ↔(q s)] C = ~(p ~ q) [ (p r) ↔(q s)]
Lóg
ica
Pro
posi
cion
al –
CE
PR
E S
ipán
– C
RA
D –
201
2
![Page 7: Esquemas moleculares](https://reader033.fdocuments.ec/reader033/viewer/2022061605/55926bf31a28abd6428b461a/html5/thumbnails/7.jpg)
EVALUACIÓN DE ESQUEMAS MOLECULARES
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 jerarquía.
Lóg
ica
Pro
posi
cion
al –
CE
PR
E S
ipán
– C
RA
D –
201
2
![Page 8: Esquemas moleculares](https://reader033.fdocuments.ec/reader033/viewer/2022061605/55926bf31a28abd6428b461a/html5/thumbnails/8.jpg)
TIPOS DE ESQUEMAS MOLECULARES
A) Tautología
Una proposición es una tautología si y sólo si es verdadera para todas las asignaciones posibles.
Ejemplo:
[(pq) p] q
Lóg
ica
Pro
posi
cion
al –
CE
PR
E S
ipán
– C
RA
D –
201
2
![Page 9: Esquemas moleculares](https://reader033.fdocuments.ec/reader033/viewer/2022061605/55926bf31a28abd6428b461a/html5/thumbnails/9.jpg)
TIPOS DE ESQUEMAS MOLECULARES
B) Contradicción
Una proposición es una contradicción si y sólo si es falsa para todas las asignaciones posibles.
Ejemplo:
~ [(p q) (q p)]
Lóg
ica
Pro
posi
cion
al –
CE
PR
E S
ipán
– C
RA
D –
201
2
![Page 10: Esquemas moleculares](https://reader033.fdocuments.ec/reader033/viewer/2022061605/55926bf31a28abd6428b461a/html5/thumbnails/10.jpg)
TIPOS DE ESQUEMAS MOLECULARES
C) Contingencia
Una proposición que no sea una ni una tautología ni una contradicción se denomina contingencia (casualidad, eventualidad).
Ejemplo:
p ~ q
Lóg
ica
Pro
posi
cion
al –
CE
PR
E S
ipán
– C
RA
D –
201
2
![Page 11: Esquemas moleculares](https://reader033.fdocuments.ec/reader033/viewer/2022061605/55926bf31a28abd6428b461a/html5/thumbnails/11.jpg)
VALOR DE VERDAD POR EL MÉTODO DIRECTO
Parte de las tablas de verdad se puede utilizar el método de directo para encontrar el valor de verdad de una fórmula lógica o esquema molecular.
Lóg
ica
Pro
posi
cion
al –
CE
PR
E S
ipán
– C
RA
D –
201
2
![Page 12: Esquemas moleculares](https://reader033.fdocuments.ec/reader033/viewer/2022061605/55926bf31a28abd6428b461a/html5/thumbnails/12.jpg)
LÓGICA PROPOSICIONAL
Lic. Carmen Aguinaga Doig
Razonamiento Lógico Matemático
GRACIAS
La naturaleza es un libro abierto, escrito en el lenguaje de la
matemática.