Professional Documents
Culture Documents
FORMALIZACIN DE PROPOSICIONES
CASO 01
Tom se encuentra en la biblioteca con Leny y le
comenta sobre una parte de un artculo:
Si no es cierto que se puede ser rico y feliz a la
vez, entonces la vida esta llena de frustraciones y
no es un camino fcil de recorrer.
Tom le pregunta:
Cmo llevaras esta oracin que est en
lenguaje natural al lenguaje proposicional?
lgicas
extradas
de
las
principales
leyes
de
sobre proposiciones
Proposiciones
Conectores lgicos
Frmulas lgicas
o Formalizacin
DEFINICIN:
La Formalizacin consiste en representar
simblicamente las formas del pensamiento y para
eso se hace uso de los operadores lgicos y de
las variables lgicas; es decir representar las
proposiciones que estn en lenguaje natural a un
lenguaje proposicional ( frmulas lgicas).
OPERADOR LGICO
Es una clase de operacin sobre variables
o elementos predefinidos.
Ejemplos: negador, conjuntor, implicador,
etc.
VARIABLE PROPOCICIONAL
Es una variable discreta que puede ser
verdadera o falsa.
Ejemplos: p, q, r, s, t, etc.
EL CONJUNTOR
Algunas de sus explicitaciones verbales son:
del mismo modo
sin embargo
al igual
tambin
EL DISYUNTOR DEBIL O INCLUYENTE
Algunas de sus explicitaciones verbales son:
salvo que
a menos que
excepto que
o tambin
son:
son:
EL REPLICADOR
Algunas de sus explicitaciones verbales son:
por que
, si
pues
ya que
EL BIIMPLICADOR
Algunas de sus explicitaciones verbales son:
se define como
es lo mismo que
es idntico
por lo cual y segn lo cual
FORMALIZACIN DE
PROPOSICIONES
EJEMPLO
Ejemplo 1
SI LAS INVERSIONES DE MI HERMANA GENERARON ALTOS
INTERESES, ENTONCES AUMENT EL SALDO DE SU CUENTA.
Solucin:
Paso 1: Identificar las proposiciones simples y asignarles
variables lgicas.
Si p, entonces q .
Paso 3: Escribir la frmula lgica:
pq
PODRAS AHORA
RESOLVER EL CASO 01
EVALUACIN