Вы находитесь на странице: 1из 24

MATEMTICA BSICA 0

Sesin N01
PROPOSICIONES LGICAS Y
FORMALIZACIN

Nuestra actitud personal nos hace diferentes, gerencia


adecuadamente nuestra vida, para llegar a ser lo que anhelamos y
podemos ser.

Responda a las preguntas:


a) Qu es un enunciado?
b) Qu es una proposicin?

c)Qu conectores lgicos conoces?


d)Qu conectores has identificado en
los enunciados de la diapositiva
anterior?
e) En qu consiste la formalizacin
lgica?
f) A qu llamamos tabla de verdad?

LOGRO DE SESIN
Al finalizar la sesin, el estudiante
identifica y diferencia un enunciado de una
proposicin lgica, formalizando las
proposiciones lgicas a un lenguaje
simblico, identificando los conectivos
lgicos y las variables proposicionales
adems de determinar el valor de verdad
de un esquema lgico por medio de la
tabla de verdad.

CONTENIDOS
1) Introduccin a la Lgica
1.1) Enunciados
1.2) Proposicin Lgica
1.3) Conectivos Lgicos
2) Formalizacin Lgica
2.1) Pasos para Formalizar
3) Tablas de Verdad
4) Referencias Bibliogrficas

1) INTRODUCCIN A LA LGICA
Disciplina que estudia
los principios formales
del conocimiento
humano .
Ciencia de las
proposiciones y las
demostraciones basadas
en un razonamiento para
llegar a una conclusin.

1.1) ENUNCIADOS
Un enunciado es toda frase, oracin o expresin gramatical y/o
matemtica.
Ejemplos:

a) Domingo
b) El len es herbvoro.
c) Qu hora es?
d) x > 5
e) Miguel Grau naci en Arequipa.
Cul (es) de los enunciados anteriores tiene algn valor de
verdad?

1.2) PROPOSICIN LGICA


Una proposicin lgica es todo
enunciado en el que se pueda
determinar su valor de verdad o
falsedad.
En ese sentido debe ser una
oracin afirmativa (aseverativa)
sobre algo o alguien.
De esta manera pone de
manifiesto la funcin informativa
del lenguaje.

Toda frmula de la ciencia que son


consideradas leyes o principios.

Enunciados
aseverativos
o declarativos

SE CONSIDERAN
PROPOSICIONES LGICAS

Expresin lingstica susceptible de ser califica


como verdadera o falsa.

Enunciados
cerrados.

Ejemplos
Determinar si los siguientes enunciados son proposiciones lgicas
e indicar su valor de verdad:

a)
b)
c)
d)
e)
f)
g)
h)
i)
j)

El clima est nublado?


-4 es un nmero natural
Quiz llueva maana
5+1<6
A quien madruga Dios lo ayuda.
Prohibido estacionar
La lgica es una ciencia formal
7x+1 > 2
Slo s que nada s
7 es mayor que 8 o es un nmero primo

( NO)
( SI )
( NO )
( SI )
( NO )
( NO )
( SI )
( NO )
( NO )
( SI )

(
(
(
(
(
(
(
(
(
(

F
F

)
)
)
)
)
)
)
)
)
)

Ejemplos de proposiciones lgicas

Adam Smith es considerado el padre de la Economa.

(V)

La Bolsa de Valores de Lima fue creada en 1220.

(F)

Activos = Pasivos + Patrimonio

(V)

El estado de ganancias y prdidas es determinante para la toma (V)


de decisiones en toda empresa.

La balanza comercial determina


importaciones y las exportaciones

entre

las (V)

La SUNAT es el ente encargado de administrar los tributos.

(V)

la

relacin

CLASES DE PROPOSICIONES

Simples o
atmicas

Carecen de
conectores
lgicos.

No pueden dividirse
en 2 o ms
proposiciones
simples.

Compuestas o
moleculares

Estn unidos por


conectores
lgicos.(y, o,
sientonces,
etc)

Pueden ser
separadas en ms
de una proposicin
simple.

si entonces

Disyuntivas

Implicativas

Oo

Conjuntivas

porque

Replicativas

No

Negativa

Proposicin
compuesta

si y solo si

Biimplicativas

Las proposiciones compuestas presentan conectores lgicos.

1.3) CONECTORES LGICOS


Conjuncin

Disyuncin dbil o inclusiva

Disyuncin fuerte o exclusiva

Oo

Condicional o implicacin

si entonces

Replicador

porque

Bicondicional o biimplicador

si y solo si

Negacin

No

1.3) CONECTORES LGICOS


JERARQUA DE CONECTIVOS
Una frmula o esquema molecular proposicional adopta el nombre del conector
de mayor jerarqua.
Ejemplo:
~pq~r

..... frmula condicional

~ p q r ~ s ..... frmula bicondicional


Nota: La jerarqua de conectores pierden fuerza cuando aparecen los signos
auxiliares de agrupacin: ( ), [ ], { }.

(v)
Conectores de la
operadores
lgica proposicional
de la lgica proposicional.

2) FORMALIZACIN LGICA

Es Aristteles quien por


La
formalizacin
lgica
primera
vez hace uso
de
ciertas abreviaturas
para
consiste
en representar
facilitar
su
labor la
al
simblicamente
proponerque
la existe
Teoraentre
del
relacin
Silogismo,
las
diferentesdesarrollando
formas del
la lgica formal; hecho
pensamiento.
que
permiti
se
le
Utiliza
variables
y
considerara
como
"El
conectores.
padre de la Lgica Formal
Antigua.

2.1) PASOS PARA FORMALIZAR

1ro. Identificar las proposiciones simples.

2do. Identificar los conectores lgicos.


3ro. Agrupar usando los signos de
agrupacin correspondientes.

Ejemplos de formalizacin
1. La moneda tiene un valor intrnseco y extrnseco.
Proposiciones simples
p: La moneda tiene un valor intrnseco
q: La moneda tiene un valor extrnseco

Formalizacin

p q

2. No es cierto que, La BVL cerr definitivamente y que


la moneda de devalu en 1000%.
Proposiciones simples
Formalizacin
p: La BVL cerr definitivamente.
q: La moneda se devalu en 1000%.

Ejemplos de formalizacin
3.

Si Pablo no atiende en clase o

no estudia en casa ,

fracasar en los exmenes y no ser aplaudido.

p = Pablo atiende en clase


q= Pablo estudia en casa
r = Pablo fracasar en los exmenes

s = Pablo ser aplaudido

Ejemplos de formalizacin
4.

O bien el Presidente apoya la reforma de la campaa electoral y el congreso adopta el


plan de salud universal, o el ministerio aprueba el plan de defensa.

Formalizacin

p q r
5.

Si el Per es acreedora de la categora de pas de inversin, entonces transmite a los


mercados que es una nacin con capacidad de cumplir con el pago del 100% de sus
obligaciones y atraer capitales o inversiones extranjeras.

Formalizacin
p [q (r s)]

3) TABLAS DE VERDAD
p q

pq

pq

p q p q p q p q

Tipos de frmula

Al analizar la tabla de verdad podemos determinar lo siguiente:

Tautologa

Los valores de verdad de su matriz


principal son todos verdaderos.

Contradiccin

Los valores de verdad de su matriz


principal son todos falsos.

Contingente

Existen valores verdaderos y falsos


en su matriz principal.

Ejemplo de tabla de verdad


p q p q
p q p q

p q

V V

V V

F F

F F

V V

V V V

V F

V V F

Tautologa

4) REFERENCIAS BIBLIOGRFICAS
#

CDIGO-L
510
MILL/M
2006

160
TREL

AUTOR

Miller/Heeren/
Horsnby
Trelles
Montero Oscar

TITULO
Matemtica:
Razonamiento y
Aplicaciones

Induccin a la
Lgica

PGINAS
94 150

15 48