LGICA

Formalizacin
Docente: Miguel Valverde Morales
miguel.valverde@upnorte.edu.pe
Lgica - Miguel Valverde Fecha
Objetivo:

1. Reconocer estructuras y proposiciones simples
representando por variables y conectores lgicos.
2. Traducir formulas proposiciones al lenguaje natural.
3. Formalizar las proposiciones compuestas

Facultad de Derecho y Ciencias polticas
Introduccin
Facultad de Derecho y Ciencias polticas
Lgica - Miguel Valverde Fecha
DEFINICIN: La Formalizacin consiste en representar
simblicamente 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 tambin, p, q, r, s, t, etc.
Jerarqua de los Conectores
Facultad de Derecho y Ciencias polticas
Lgica - Miguel Valverde Fecha
JERARQUIA

0 1 2 3 4 5 6 CONECTOR

()

()

(v)

(.)

()

()
Facultad de Derecho y Ciencias polticas
Lgica - Miguel Valverde Fecha
Ejemplo:
- Per no es un pas desarrollado : - p

- No es cierto que, la democracia jams podr ser destruida
( p)
Facultad de Derecho y Ciencias polticas
Lgica - Miguel Valverde Fecha
Ejemplo:
- El tomo posee neutrones, protones tambin electrones
p . q . r
- No slo la matemtica es precisa sino tambin
universal p . q
Facultad de Derecho y Ciencias polticas
Lgica - Miguel Valverde Fecha
Ejemplo:
La biologa es una ciencia natural salvo que sea
experimental. p v q
Argentina clasific al mundial a menos que tambin Brasil
lo haga p v q
Facultad de Derecho y Ciencias polticas
Lgica - Miguel Valverde Fecha
Ejemplo:
- O vas al cine o al teatro: p v q
- Eres campen o sino nicamente subcampen: p v q
Facultad de Derecho y Ciencias polticas
Lgica - Miguel Valverde Fecha
Ejemplo:
Si estudias, entonces ingresars a la Universidad
Formalizacin: pq
Replicativa (p q)
-Las calles se estn mojando porque esta lloviendo : p q
-Podrs salir a comprar cada vez que recibas tu sueldo:p q
Facultad de Derecho y Ciencias polticas
Lgica - Miguel Valverde Fecha

Si hay inflacin, entonces suben los
precios
Antecedente
Condicin
Suficiente
Condicin
Necesaria
Consecuente
Condicin Necesaria
(Consecuente)
Condicin Suficiente
(Antecedente)
Facultad de Derecho y Ciencias polticas
Lgica - Miguel Valverde Fecha
Ejemplo:
-Los cuerpos se dilatan cuando y solo cuando
estn sometidos al calor: p q
-Existe una fuerza de atraccin siempre y solo
siempre los cuerpos tienden a chocar: p q
Facultad de Derecho y Ciencias polticas
Lgica - Miguel Valverde Fecha
Ejemplo:
Ni llueve ni nieva.
p + q
Facultad de Derecho y Ciencias polticas
Lgica - Miguel Valverde Fecha
Ejemplo:
El conocimiento no es el objetivo o no es subjetivo.
p / q
Facultad de Derecho y Ciencias polticas
No es cierto que, Percy no sabe tocar el piano y no compone
melodas, ya que es egresado de la Escuela de Msica.
No es cierto que, no p y no q, ya que r .
(p . q) r
Ejemplo 1
Solucin:
Paso 1: Identificar proposiciones simples y asignarles
variables en orden alfabtico
q : Percy compone melodas
Paso 3: Escribir la formula lgica
p: Percy sabe tocar el piano
r : Percy es egresado de la Escuela de Msica
Paso 2: Identificar la forma de la proposicin compuesta
Facultad de Derecho y Ciencias polticas
No p y no q tanto como no r y no s, es obvio que t y u
[(~p . ~q) . (~r . ~s)] (t . u)
Solucin:
Paso 1: Identificar proposiciones simples y asignarles
variables en orden alfabtico
q : La materia se destruye
Paso 3: La formula lgica:
p: La materia se crea
Paso 2: Identificar la forma de la proposicin compuesta
Como quiera que la materia tanto como la energa no
se crea ni se destruye, es obvio que slo se
transforman.
Ejemplo 2
r : La energa se crea s : La energa se destruye
t: La materia se transforma
u: La energa se transforma