You are on page 1of 18

MATEMTICA BSICA CERO

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?

Al finalizar la sesin el estudiante ser


capaz de:
1. resuelve ejercicios en los que formaliza
proposiciones

lgicas

extradas

de

acontecimientos reales ; haciendo uso


de los conectores lgicos.
2. identifica

las

principales

leyes

de

equivalencia y los aplica en la solucin


de ejercicios
equivalentes.

sobre proposiciones

Proposiciones
Conectores lgicos
Frmulas lgicas

o Formalizacin

o Conectores lgicos y variables


lgicas
o Explicitaciones verbales de los
operadores lgicos
o Verdad formal
o Leyes lgicas
o Simplificacin de frmulas

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.

LOS OPERADORES LGICOS Y SUS


EXPLICITACIONES VERBALES
EL NEGADOR:
INTERNO: afecta a una variable lgica p
Ejemplos:
No p; nunca p; jams p; tampoco p
EXTERNO: afecta a todo un bloque de variables
lgicas.
Ejemplos:
Es falso que; es imposible que; .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

EL DISYUNTOR FUERTE O EXCLUYENTE


Algunas de sus explicitaciones verbales
o(EN SENTIDO EXCLUYENTE)
o nicamente
o solo
excluye
EL IMPLICADOR
Algunas de sus explicitaciones verbales
Dadopor eso
Dederivamos que
En virtud de quees evidente
Cuandoas pues

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.

p: Las inversiones de mi hermana generaron


altos intereses.
q: aument el saldo de su cuenta
Paso 2: Identificar los conectores lgicos en la proposicin
compuesta.

Si p, entonces q .
Paso 3: Escribir la frmula lgica:

pq

PODRAS AHORA
RESOLVER EL CASO 01

EVALUACIN

FORMALIZA LAS SIGUIENTES


PROPOSICIONES:
1) NI TODO DESEMPLEO ES CONSECUENCIA DE UNA CRISIS, NI
TODA CRISIS ES CONSECUENCIA DEL DESEMPLEO.
2)SOLO SI EXISTE OFERTA, HABR DEMANDA.
3) LOS PASES ABARATAN SUS MONEDAS CUANDO Y SOLO
CUANDO QUIEREN QUE SUS PRODUCTOS SEAN MS
COMPETITIVOS ANTE EL RESTO DEL MUNDO.
4) DIEGO NO FUMA SI HACE DEPORTE Y AHORRA DINERO SI NO
FUMA.
5)LA CONJUNTIVITIS NO ES UNA ANOMALA DE LA VISIN SIN
EMBARGO LA MIOPA SI LO ES.

VISITA TU CANAL DE VIDEOS: TuCiencia


FORMALIZACIN DE PROPOSICIONES

Gran parte de las


dificultades por las que
atraviesa el mundo se
deben a que los ignorantes
estn completamente
seguros y los inteligentes
llenos de dudas. Bertrand Russell

You might also like