CLCULO BSICO

Semana 01 :

LGICA
PROPOSICIONAL

2017 - II Lic. Oscar Neyra Quijandra

Una madre a prometido a su hijo
si comes espinacas y el hgado
entonces podrs salir a jugar.
El nio solo come las espinacas,
pero la madre le permite salir a
jugar.
Ha roto la promesa su madre?
Lgica Proposicional (concepto)

La Lgica proposicional es una rama de

la lgica clsica que estudia las
proposiciones ,sus posibles valores de
verdad y en el caso ideal, su nivel
absoluto de verdad.-
ENUNCIADO

Es toda frase u oracin.

Por ejemplo:

a) Lima es la capital del Per.

b) El doble de 3 es 5

c) Qu hora es?

d) x+2=7
ENUNCIADO ABIERTO

Es aquel enunciado que presenta variables y que en si

mismo no es ni verdadero ni falso, pero que al asignarle
un valor a aquellas, resulta ser verdadero o falso, pero
no ambos.

Por ejemplo:
a) l se fue a Lima.
b) x+2y=7
 ENUNCIADO CERRADO
Es toda definicin, por lo que su valor de verdad es
siempre verdadero, pues as se ha convenido.
Se admiten tambin como enunciados cerrados a
aquellos enunciados cuya verdad se aceptan sin
demostracin.
Por ejemplo:
a) El seno de un ngulo agudo es el cociente entre el
cateto opuesto y la hipotenusa . (SI)
b) El tringulo no es un polgono de tres lados. ( NO)
c) El tringulo es un polgono de tres lados (SI)
PROPOSICIN
Una proposicin es toda oracin de la cual se puede
decir que es verdadera o falsa.

Por ejemplo:
V
Hoy es lunes

F
Toda proposicin se la representa con letras minsculas
y preferentemente las ltimas del abecedario, o sea:

p, q, r, s, t, u
NO SE CONSIDERAN COMO PROPOSICIONES

a) Los deseos, dudas, interjecciones, preguntas,

pedidos, splicas, rdenes, enunciados de opinin o
valoracin (por ejemplo, los mejores jugadores son del
Municipal).

b) Los enunciados que usan personajes ficticios (por

ejemplo, Romeo se suicid por Julieta).

c) Los refranes, los proverbios, los enunciados abiertos,

las descripciones definidas, las supersticiones, mitos y
los filosofemas o enunciados filosficos.
Por ejemplo:
(a) La Virgen de la Puerta es milagrosa
Es un enunciado (Enunciado de opinin)
(b) El ro suena cuando piedras trae
Es un enunciado (Refrn)

(c) El gato negro trae mala suerte

Enunciado (Supersticin)

(d) Qu es la lgica?
Enunciado (Es una pregunta)
(e) Debemos honrar a nuestros hroes.
Enunciado (Es un pedido)
 EJEMPLIFICANDO
Identifica las expresiones que son proposiciones:
Sofa Mulanovich fue campeona mundial de tabla en
el 2004. P
Qu hora es?
Las araas son mamferos P
3+2=5. P
Dos nmeros enteros distintos pueden sumar cero. P
La luna es cuadrada P
Ojal tomen lo que he estudiado!
Por favor, cierre la puerta
El 6 de abril de 1876 fue sbado P
7 es un nmero primo P
 LOS CONECTIVOS LOGICOS
Los conectivos lgicos son smbolos que sirven para formar
proposiciones con otras proposiciones. Estos son:
 PROPOSICIONES SIMPLES Y COMPUESTAS

Una proposicin se dice que es simple o atmica, si no est

afectada por conectivos lgicos. Caso contrario, se dice que
la proposicin es compuesta o molecular.

SIMPLE: p

PROPOSICION

COMPUESTA: p q
 LGICA PROPOSICIONAL
RESUMEN
VERDADERO

Tiene un nico
PROPOSICIN
valor lgico

FALSO

Proposicin Sin conectivos

Simple lgicos
Ejm. p: Tania es alta.

Con conectivos
Proposicin
lgicos: y; o;
Compuesta
entonces, etc.
Ejm. Matas es doctor y
Lorena es modelo.
 OBSERV.
PROPOSICIONES

El azufre es de color amarillo. V

Los mamferos son vertebrados. V

Susy Diaz es una filsofa Peruana. F

NO SE CONSIDERAN PROPOSICIONES

Cul es tu nombre?
! Auxilio!
Apaga el ventilador ENUNCIADO
Tcame que soy realidad.
I love you !
 EJERCITNDONOS

Identifica si la proposicin es compuesta (C) o simple (S).

S
Pablo es culto.
C
Tres no es mayor que 5.
S
El Angulo recto mide 90.
7 es un nmero par y no es mayor que 5 C

Rosa tiene 20 aos. S

Cesar Vallejo naci en Pars. S
Si estamos en diciembre entonces llegar la navidad C
CONECTORES LGICOS
OPERACIONES PROPOSICIONALES

LA NEGACIN
La negacin de la proposicin p es ~p, cuya tabla de
valores de verdad es la siguiente:

p ~p

V F
F V

Como conclusin podemos decir que la negacin es

verdadera si la proposicin simple es falsa y viceversa.
NEGACIN
NEGACIN POR PREFIJO
 LA CONJUNCIN
La conjuncin de las proposiciones p y q es la proposicin
p q, donde p y q se llaman conjuntivos, cuya tabla de
valores de verdad es la siguiente:

p q pq
V V p: estudio
V
q: veo TV
V F F
F V F p q: estudio y veo TV
F F F

Como conclusin podemos decir que la conjuncin es

verdadera si ambos conjuntivos tambin lo son.-
CONJUNCIN
 LA DISYUNCIN DBIL
La disyuncin dbil de las proposiciones p y q es la
proposicin p v q , donde p y q se llaman disyuntivos, cuya
tabla de valores de verdad es la siguiente:
p q pq
V V V p: estudio
V F V q: veo TV
F V V
p v q: estudio o veo TV
F F F
Como conclusin podemos decir que la disyuncin es
verdadera si al menos uno de los disyuntivos tambin lo es.-
DISYUNCIN INCLUSIVA
 LA DISYUNCIN FUERTE
La disyuncin fuerte de las proposiciones p y q es la
proposicin p v q, cuya tabla de valores de verdad es la
siguiente:
p q pq
V V F p: estudio
V F
q: veo TV
V
F V V p v q: O estudio o veo TV
F F F

Como conclusin podemos decir que la disyuncin fuerte es

verdadera si los valores de verdad de las proposiciones
simples que la componen son distintos.-
DISYUNCIN EXCLUSIVA
 EL CONDICIONAL O LA IMPLICACIN
El condicional de las proposiciones p y q es la proposicin
pq, donde p se llama antecedente y q consecuente, cuya
tabla de valores de verdad es la siguiente:

p q pq
V V V p: apruebo
V F q: te presto el libro
F
F V V
p q: apruebo, entonces te
F F V presto el libro
Como conclusin podemos decir que el condicional es falso si
el antecedente es verdadero y el consecuente es falso (2
lnea de la tabla).-
CONDICIONAL O IMPLICACIN
EL BICONDICIONAL O LA DOBLE IMPLICACIN
El bicondicional de las proposiciones p y q es la proposicin
pq, cuya tabla de valores de verdad es la siguiente:

p q pq
V V V
p: apruebo
q: te presto el libro
V F F
F V p q: solamente si
F
apruebo, te presto el libro
F F V

Como conclusin podemos decir que el bicondicional es

verdadero si los valores de verdad de las proposiciones
simples que la componen son iguales.-
BICONDICIONAL
 PROPOSICIONES COMPUESTAS O MOLECULARES
(COMPUESTA DE DOS O MS PROPOSICIONES SIMPLES)

RESUMEN
DENOMINACIN SIGNIFICADO SMBOLO
CONJUNCIN y

DISYUNCIN DBIL o V

DISYUNCIN FUERTE oo
CONDICIONAL si;entonces
BICONDICIONAL si y solo s;entonces

NEGACIN no ~ p

OBSERV.

p: Eucalipta es doctora. Proposicin simple

Pedro es marino y Rayza es abogada

p q Proposicin Compuesta
 CONECTIVOS LGICOS
(SUMARIO) Solo es FALSO si
VF= F en los dems
casos es verdadero.

COMPONENTES CONJUNCIN DISYUNCIN DISYUNCIN CONDICIONAL BICONDICIONAL NEGACIN

DBIL FUERTE

p q V ~ p

V V V V F V V F

V F F V V F F F

F V F V V V F V

F F F F F V V V

Solo es VERDADERO Es VERDADERO si

si VV = V en los dems Solo es FALSO si FF = F
en los dems casos es VV =V
casos es falso. FF =V en los dems
verdadero.
casos es falso.
 Ejm: Una madre a prometido a su hijo si comes
espinacas y el hgado entonces podrs salir a jugar.
El nio solo come las espinacas, pero la madre le permite
salir a jugar.
Ha roto la promesa su madre?
SOLUCION.:
si comes espinacas y el hgado entonces podrs salir a jugar.

p q r
Se deduce.:
( p q) r Por lo tanto la

V F V
madre no ha roto
su promesa.
F V VERDADERO
 GRACIAS
Oscar Neyra Quijandra: oscar.neyra@avansys.edu.pe