OPERACIONES MATEMTICAS I

SEMANA 1
LGICA PROPOSICIONAL

Profesor: Econ. Juan Carlos Bazn

Cabello
 Es llamada tambin lgica
de enunciados o lgica de
orden.
Trata sobre la verdad o
falsedad de las
proposiciones y cmo la
verdad se transmite de
unas proposiciones
(premisas) a otras
(conclusin).
Una proposicin es la
unidad mnima de
significado susceptible de
ser verdadera o falsa.
 LGICA
PROPOSICIONAL

La lgica proposicional llamada tambin simblica o

matemtica,
es parte de la lgica
que estudia las proposiciones y
la relacin que existe entre ellas a
travs de las variables proposicionales y los
conectores.
OPINEMOS
-Lima es la capital de Mxico
-Quizs maana haga fro
-La suma de dos nmeros
pares siempre da como
resultado un nmero impar
- Qu bien me siento hoy!

Qu diferencia observan entre los textos?

cul de los textos es un enunciado?
Por qu?
En qu caso podemos decir que la afirmacin que expresa cada
texto es verdadero o falso?
 Enunciado

Enunciado
Se denomina enunciado a toda expresin del lenguaje comn,
el cual puede ser una frase, oracin o expresin algebraica.

Ejemplos:
Que da es hoy?
!Auxilio!
Lima es la capital del Per
x+2>3
 Proposicin lgica

Proposicin Lgica
Llamada tambin enunciado cerrada;
es todo enunciado
que tiene la cualidad de ser verdadero (V) o falso (F) sin ninguna
ambigedad.
Las proposiciones lgicas se denotan con letras
minsculas tales como: p, q, r, s,

Ejemplos:
El sol es una estrella
2+3>6
Luis y Maria son
hermanos.
Juan estudia y trabaja.
 Proposicin
Proposiciones simples
Llamadas tambin
proposiciones atmicas o
elementales, son aquellos Proposiciones
enunciados que tienen un compuestas
solo sujeto o un solo Llamadas tambin
predicado. proposiciones moleculares
Ejemplos: son aquellas que tienen dos o
p: Juan viajar maana a ms significados unidos por
Trujillo conjunciones gramaticales o
q: 6 es un nmero primo. en todo caso, contienen el
r: Luis es compaero de adverbio NO.
Jos Ejemplos:
s: 2+3>6 Javier es ingeniero y
trabaja en una empresa
minera.
4 es un nmero par o 5 es
un nmero compuesto.

 Conectivos Lgicos

Conectivos Lgicos
Son smbolos que reemplazan a las conjunciones gramaticales y al
adverbio de negacin; estos conectores permiten relacionar dos o mas
proposiciones
simples, entre los mas importantes tenemos:
Tipo de proposicin lgica Simbolo Trminos en Lenguaje Comn
Negacin ~ No es cierto que
Conjuncin y
Disyuncin inclusiva o
Disyuncin exclusiva oo
Condicional sientonces
Bicondicional si y solo si
 Conectivos Lgicos

Negacin Como sinnimos de no, se

utilizan las siguientes
expresiones:
Si p es una proposicin,
entonces no p es la No es cierto que
negacin de p y se denota ...
por: No es el caso
~p que
Ejemplo: Es falso que
p: Hoy es jueves. No sucede
Tabla que
de Verdad
~ p: Hoy no es jueves.
 Se consideran como sinnimos
Conjuncin de la conjuncin:
Adems Pero
Si p y q son proposiciones, se
Sin embargoAunque
llama conjuncin de p y q a la
proposicin compuesta Tambin An
p y q y se denota por: A la vez No obstante
pq Tabla de Verdad

Ejemplo:
p: Hoy es viernes.
q: La luna es redonda.

p q :Hoy es viernes y la luna

es redonda.
 Disyuncin Tabla de Verdad
inclusiva
Si p y q son proposiciones, se
llama disyuncin de p y q a la
proposicin compuesta
p o q y se denota por:
pq

Ejemplo:
p: Pedro estudia medicina.
q: Julia estudia derecho.

p v q : Pedro estudia medicina

o Julia estudia derecho.
 Disyuncin
Tabla de Verdad
exclusiva
p q pq
Si p y q son proposiciones, se
llama disyuncin exclusiva de V V F
p y q a la proposicin
compuesta V F V
o p o q y se denota por:
pq F V V
Ejemplo:
p:Jorge viaja a Piura.
F F F
q: Jorge viaja a Tacna.

p q : O Jorge viaja a Piura o

a Tacna.
 Condicional Tabla de Verdad

Si p y q son proposiciones, p q pq
se llama condicional de p y q
a la proposicin compuesta V V V
si p, entonces q y se
denota por: V F F
pq
F V V
Ejemplos:
Si no llueve (entonces)
iremos a la playa. F F V
Si me gano la lotera
(entonces) me voy de
viaje.
 Tabla de Verdad
Bicondicional
p q pq
Si p y q son proposiciones, se
llama bicondicional de p y q a la
proposicin compuesta p, si V V V
y solo s q y se denota por:
pq V F F
Ejemplos:
7 es par si y solo s es F V F
divisible por 2.
La luna es satlite de la F F V
Tierra, si y solo s gira
alrededor de ella.
 Ejercicios:
1. Construye la tabla de verdad para la siguiente
proposicin :
(p q) (p ~q)

2. Expresa de forma simblica la siguiente

proposicin compuesta:
Solucin : Si es chiclayano, es peruano
(p q)
Tambin se puede decir lo siguiente:
Es peruano, siempre que sea chiclayano.
Es peruano si es chiclayano.
Es suficiente que sea chiclayano para que sea
peruano.
Siempre y cuando sea chiclayano, ser peruano.
Es necesario que sea peruano para ser chiclayano.
Preguntas
tualidad / Crecimiento Person
 Tipos de Esquemas
Moleculares
Segn los valores de la matriz principal, los esquemas
moleculares son:

1.- Tautologa (Todos Verdaderos)

2.- Contradictorio (Todos Falsos)

- Contingente (Al menos uno Falso y Verdadero)

1. Tautologa
Cuando los valores de verdad de la matriz principal
resultan ser
todos verdaderos.
Ejemplo:
Evaluar p(pq)
2. Contradictorio
Cuando los valores de verdad de la matriz principal
resultan ser
todos Falsos.
Ejemplo:
Evaluar [(pq)(q~p)]
3. Contingente
Cuando los valores de verdad de la matriz principal se
obtiene
al menos un valor verdadero y un falso.
Ejemplo:
Evaluar [p(pq)] p
 Principales Leyes
1.
Lgicas
6. De De Morgan 10. Del
Idempotenci (pq) p complemento
a q p p V
p p p (pq) p p p F
2. p p p 7. De
qabsorcin 11. De la
Conmutativa p(pq) p identidad
pq q p(pq) p p VV
p p( pq) pq p Vp
3. Asociativa
pq q p( pq) p Fp
(pq)r
p pq p FF
8. De la condicional
p(qr)
pq pq
(pq)r
4. Distributiva pq qp
p(qr)
p(qr) (pq)(p
r) 9. De la bicondicional
p(qr) pq (pq)(qp)
(pq)(pr)
5. Ley de doble pq (p q)
negacin pq p q
( p) p
Muchas Gracias y xitos