formalizacion
TRANSCRIPT
![Page 1: FORMALIZACION](https://reader036.vdocumento.com/reader036/viewer/2022082502/55372ddd5503462c748b4d11/html5/thumbnails/1.jpg)
LÓGICAFormalización
FAC
ULTA
D D
E D
ER
EC
HO
Y C
IEN
CIA
S
PO
LIT
ICA
S
DE
PA
RTA
ME
NT
O D
E C
IEN
CIA
S
Docente: Miguel Valverde Morales
2011- II
![Page 2: FORMALIZACION](https://reader036.vdocumento.com/reader036/viewer/2022082502/55372ddd5503462c748b4d11/html5/thumbnails/2.jpg)
Lógica - Miguel Valverde Fecha
Objetivo:
1. Reconocer estructuras y proposiciones simples representando por variables y conectores lógicos.
2. Traducir formulas proposiciones al lenguaje natural.3. Formalizar las proposiciones compuestas
Facultad de Derecho y Ciencias políticas
![Page 3: FORMALIZACION](https://reader036.vdocumento.com/reader036/viewer/2022082502/55372ddd5503462c748b4d11/html5/thumbnails/3.jpg)
Introducción Facultad de Derecho y Ciencias políticas
Lógica - Miguel Valverde Fecha
DEFINICIÓN: La Formalización consiste en representar simbólicamente formas del pensamiento, haciendo uso de Variables y Constantes.
CONSTANTES Y VARIABLES
CONSTANTES: Son los operadores proposicionales. Ejemplos:
conjuntor, implicador, negador, etc. VARIABLES: Son las letras que representan a proposiciones.
Ejemplos: A, B, C, D, E, etc.; o también, p, q, r, s, t, etc.
![Page 4: FORMALIZACION](https://reader036.vdocumento.com/reader036/viewer/2022082502/55372ddd5503462c748b4d11/html5/thumbnails/4.jpg)
Jerarquía de los Conectores
Facultad de Derecho y Ciencias políticas
Lógica - Miguel Valverde Fecha
JERARQUIA
0 1 2 3 4 5 6 CONECTOR
()
()
()()
()
()
![Page 5: FORMALIZACION](https://reader036.vdocumento.com/reader036/viewer/2022082502/55372ddd5503462c748b4d11/html5/thumbnails/5.jpg)
Facultad de Derecho y Ciencias políticas
Lógica - Miguel Valverde Fecha
NEGATIVASímbolos: -A, A, A, Ã,
A’Se lee: “No es cierto
que …Ejemplo:- Perú no es un país desarrollado : - p - No es cierto que, la democracia jamás podrá ser destruida ( p)
LOS CONECTORES LÓGICOS
![Page 6: FORMALIZACION](https://reader036.vdocumento.com/reader036/viewer/2022082502/55372ddd5503462c748b4d11/html5/thumbnails/6.jpg)
Facultad de Derecho y Ciencias políticas
Lógica - Miguel Valverde Fecha
EL CONJUNTORSímbolo: A B;
A & B; A x B; A.B; ABSe lee: “…… y …….”
Ejemplo: El átomo posee neutrones, protones también electrones
p q r
- No sólo la matemática es precisa sino también universal p q
![Page 7: FORMALIZACION](https://reader036.vdocumento.com/reader036/viewer/2022082502/55372ddd5503462c748b4d11/html5/thumbnails/7.jpg)
Facultad de Derecho y Ciencias políticas
Lógica - Miguel Valverde Fecha
EL DISYUNTOR INCLUYENTE
Símbolo: A B; A+B Se lee: “…… o …….”
Ejemplo:La biología es una ciencia natural salvo que sea experimental. p q
Argentina clasificó al mundial a menos que también Brasil lo haga p q
![Page 8: FORMALIZACION](https://reader036.vdocumento.com/reader036/viewer/2022082502/55372ddd5503462c748b4d11/html5/thumbnails/8.jpg)
Facultad de Derecho y Ciencias políticas
Lógica - Miguel Valverde Fecha
EL DISYUNTOR EXCLUYENTE
Símbolo : A B; A B; A B; A B; A - B; A B
Se lee: “o… o …”
Ejemplo: O vas al cine o al teatro: p q Eres campeón o sino únicamente subcampeón: p q
![Page 9: FORMALIZACION](https://reader036.vdocumento.com/reader036/viewer/2022082502/55372ddd5503462c748b4d11/html5/thumbnails/9.jpg)
Facultad de Derecho y Ciencias políticas
Lógica - Miguel Valverde Fecha
IMPLICATIVASímbolo: A B, A BSe lee: “….. entonces
……”Ejemplo:Si estudias, entonces ingresarás a la UniversidadFormalización: pq
Replicativa (p q)- Las calles se están mojando porque esta lloviendo : p q- Podrás salir a comprar cada vez que recibas tu sueldo:p q
![Page 10: FORMALIZACION](https://reader036.vdocumento.com/reader036/viewer/2022082502/55372ddd5503462c748b4d11/html5/thumbnails/10.jpg)
Facultad de Derecho y Ciencias políticas
Lógica - Miguel Valverde Fecha
Si hay inflación, entonces suben los preciosAntecedente
Condición Suficiente
Condición Necesaria
Consecuente
Condición Necesaria(Consecuente)
Condición Suficiente(Antecedente)
![Page 11: FORMALIZACION](https://reader036.vdocumento.com/reader036/viewer/2022082502/55372ddd5503462c748b4d11/html5/thumbnails/11.jpg)
Facultad de Derecho y Ciencias políticas
Lógica - Miguel Valverde Fecha
BIIMPLICATIVASímbolos: A B,
A = B, A BSe lee: “… si y sólo si...”
Ejemplo:- Los cuerpos se dilatan cuando y solo cuando
están sometidos al calor: p q
- Existe una fuerza de atracción siempre y solo siempre los cuerpos tienden a chocar: p q
![Page 12: FORMALIZACION](https://reader036.vdocumento.com/reader036/viewer/2022082502/55372ddd5503462c748b4d11/html5/thumbnails/12.jpg)
Facultad de Derecho y Ciencias políticas
Lógica - Miguel Valverde Fecha
INALTERNATIVASímbolo: p qTraducción: ni......ni…….
Ejemplo:Ni llueve ni nieva.p q
![Page 13: FORMALIZACION](https://reader036.vdocumento.com/reader036/viewer/2022082502/55372ddd5503462c748b4d11/html5/thumbnails/13.jpg)
Facultad de Derecho y Ciencias políticas
Lógica - Miguel Valverde Fecha
INCOMPATIBLESímbolos: pqTraducción: no…o no…
Ejemplo:El conocimiento no es el objetivo o no es subjetivo.p / q
![Page 14: FORMALIZACION](https://reader036.vdocumento.com/reader036/viewer/2022082502/55372ddd5503462c748b4d11/html5/thumbnails/14.jpg)
Facultad de Derecho y Ciencias políticas
“No es cierto que, Percy no sabe tocar el piano y no compone melodías, ya que es egresado de la Escuela de Música”.
No es cierto que, no p y no q, ya que r .
(p q) r
Ejemplo 1
Solución: Paso 1: Identificar proposiciones simples y asignarles
variables en orden alfabético
q : Percy compone melodías
Paso 3: Escribir la formula lógica
p: Percy sabe tocar el piano
r : Percy es egresado de la Escuela de Música
Paso 2: Identificar la forma de la proposición compuesta
![Page 15: FORMALIZACION](https://reader036.vdocumento.com/reader036/viewer/2022082502/55372ddd5503462c748b4d11/html5/thumbnails/15.jpg)
Facultad de Derecho y Ciencias políticas
No p y no q tanto como no r y no s, es obvio que t y u
[(p q) (r s)] (t u)
Solución: Paso 1: Identificar proposiciones simples y asignarles
variables en orden alfabético
q : La materia se destruye
Paso 3: La formula lógica:
p: La materia se crea
Paso 2: Identificar la forma de la proposición compuesta
“Como quiera que la materia tanto como la energía no se crea ni se destruye, es obvio que sólo se transforman”.
Ejemplo 2
r : La energía se crea s : La energía se destruye
t: La materia se transforma u: La energía se transforma