UNIDAD UNO:

LGICA
OBJETIVO
DEL ESTUDIO:
MATEMTICA

Describir y utilizar las estructuras

lgicas, los operadores matemticos,
reglas de inferencia, cuantificadores y
el clculo proporcional en problemas
propuestos.

LGICA MATEMTICA

Consiste en el estudio de la lgica y la

aplicacin de este estudio y otras reas de la
matemtica.
La lgica matemtica estudia los sistemas
formales en relacin con el modo en el que
codifican o definen naciones intuitivas de
objetos matemticos como conjuntos,
nmeros, demostraciones y algoritmos
utilizando lenguaje formal.
Estudia las formas del razonamiento. En un
nivel elemental la lgica proporciona reglas y
tcnicas para determinar si es o no vlido un
argumento.

PROPOSICIONES

Es una oracin declarativa que puede tomar

el valor de verdadero o falso pero no ambos
a la vez. La proposicin es el elemento
esencial de la lgica para la matemtica
Toda proposicin consta de tres partes: un
sujeto, un verbo y un complemento referido
al verbo.
Las proposiciones se representan con letras
minsculas del alfabeto tales como
p,q,r,s,t,x,y,z. las cuales reciben el
nombre de letra o variables proposicionales.

EJEMPLOS

p: La luna es un satlite natural de la tierra.

Q: El dos es un nmero primo.
r: 5*3 = 15

Existen enunciados que no son proposiciones,

porque no es posible establecer su valor de
verdad.
Ejemplos:
p: Qu hora es?
r: Maana llover
w : x+7 = 23

DEFINICIONES LGICA
MATEMTICA

Juicio: es un pensamiento en el cual se afirma o se niega algo.

Enunciado: es la expresin verbal o escrita de un juicio.

Razonamiento: consiste en la inferencia de un juicio obtenido de otro

u otros a los que se les llama premisas.

Proposicin: es un enunciado que forma parte de un razonamiento.

Valor de verdad: Es una proposicin que puede ser verdadera o es

falsa y decimos que su valor de verdad o de certeza es verdadero (v) o
es falso (f) respectivamente, al confirmar su exactitud.

Trminos lgicos: los trminos lgicos son: y, no, ni, o, Si,

si y slo si...

Proposicin simple: es simple si y slo si no tiene trminos lgicos,

se la representa generalmente con: p, q r, s, t.

Proposicin compuesta: es compuesta siempre y cuando est

formada por una o ms proposiciones simples afectadas por trminos
lgicos.

Operadores: Son la conjuncin, negacin, conjuncin negativa,

disyuncin, disyuncin exclusiva, condicional, incondicional y
representan a los trminos lgicos.

CONECTIVOS LOGICOS
Son trminos que sirven para enlazar proposiciones simples,
estos son: la conjuncin, disyunciones, la negacin el
condicional, bicondicional.
CONECTIVO

SMBOLO

LECTURA

EJEMPLO

CONJUNCIN

Michelle baila y canta

Sebastin estudia ingeniera Vernica

estudia medicina

DISYUNCIN INCLUSIVA

__

DISYUNCIN
EXCLUYENTE

..

Santiago vive en Ambato .. Latacunga

NEGACIN

No

7 no es un nmero par

Si,,
entonces,

Si trabajo entonces estudio

Si solo

Si dos ngulos son congruentes si y solo

si tienen la misma medida.

CONDICIONAL

BICONDICIONAL

CONJUNCIN:
La conjuncin de dos proposiciones, p y q, se
representa por pq y se lee p y q. pq
es
verdadera si y solo si p es verdadera y q es verdadera.

Ejemplo:
5 es un nmero impar y es un entero
positivo.
Est formada por:
p: 5 es un nmero impar
q: entero positivo
: Conjuncin

+Analizaremos la siguiente proposicin.

p: 5 es un nmero impar (v)
q: 5 es un nmero entero positivo (v)
p q: verdadero
p: 5 no es un nmero impar (f)
q: 5 es un nmero entero positivo (v)
p q: falso
p: 5 es un nmero impar (v)
q: 5 no es un nmero entero positivo (f)
p q: falso

p: 5 no es un nmero impar (f)

q: 5 no es un nmero entero positivo (f)
p q: falso

CONCLUSIN:
LA
CONJUNCIN
ES
VERDADERA,
CUANDO
LAS
DOS
PROPOSICIONES SON VERDADERAS, EN LOS
DEMS
CASOS
ES
FALSA.

p q

NEGACIN
La negacin de una proposicin p, se
representa por ~p y se lee no es
verdad que p Es falso que p. ~p es
verdadera si y solo si p es falsa.
Ejemplo:
5 es un nmero impar y es un
entero positivo.
Est formada por:
p: 5 es un nmero impar
q: entero positivo
~: Negacin

+Analizaremos la siguiente proposicin.

p:
q:

p:
q:

5 es un nmero impar (v)

5 es un nmero entero positivo (f)
5 no es un nmero impar (f)
5 es un nmero entero positivo (v)

CONCLUSIN: LA NEGACIN ES CUANDO SE

DICE LO CONTRARIO DE LA RESPUESTA
DADA..

DISYUNCIN
La disyuncin de dos proposiciones p y q
se representa por p o q, o p o q.
Ejemplo:
5 es un nmero impar y es un
entero positivo.
Est formada por:
p: 5 es un nmero impar
q: entero positivo
v: Disyuncin

+Analizaremos la siguiente proposicin.

p: 5 es un nmero impar (v)
q: 5 es un nmero entero positivo (v)
p v q: verdadero
p: 5 no es un nmero impar (f)
q: 5 es un nmero entero positivo (v)
p v q: verdadero

p: 5 es un nmero impar (v)

q: 5 no es un nmero entero positivo (f)
p v q: verdadero

p: 5 no es un nmero impar (f)

q: 5 no es un nmero entero positivo (f)
p v q: falso

CONCLUSIN: LA DISYUNCIN ES FALSA, CUANDO

LAS DOS PROPOSICIONES SON FALSAS, EN LOS
DEMS CASOS ES VERDADERA.

pvq

CONDICIONAL
La proposicin condicional p y q se
representa por pq. pq es falsa siempre y
cuando p es verdadera y q es falsa.
Ejemplo:
5 es un nmero impar y es un entero
positivo.
Est formada por:
p: 5 es un nmero impar
q: entero positivo
: Condicional

+Analizaremos la siguiente proposicin.

p: 5 es un nmero impar (v)
q: 5 es un nmero entero positivo (v)
p q: verdadero

p: 5 no es un nmero impar (f)

q: 5 es un nmero entero positivo (v)
p q: verdadero
p: 5 es un nmero impar (v)
q: 5 no es un nmero entero positivo (f)
p q: falso

p: 5 no es un nmero impar (f)

q: 5 no es un nmero entero positivo (f)
p q: verdadero

CONCLUSIN: EL CONDICIONAL ES FALSO, CUANDO LA

PRIMERA PROPOSICIN ES VERDADERA Y LA SEGUNDA ES
FALSA, EN LOS DEMS CASOS ES VERDADERA.

p q

BICONDICIONAL
La proposicin Bicondicional entre y q se
representa por pq o por p si q y se lee: p
si y solo si q. pq es verdadera si y solo si p
es verdadera y q es verdad, o cuando es p
falsa y q es falsa.
Ejemplo:
5 es un nmero impar y es un entero
positivo.
Est formada por:
p: 5 es un nmero impar
q: entero positivo
: Bicondicional

+Analizaremos la siguiente proposicin.

p: 5 es un nmero impar (v)
q: 5 es un nmero entero positivo (v)
p q: verdadero

p: 5 no es un nmero impar (f)

q: 5 es un nmero entero positivo (v)
p q: falso

p: 5 es un nmero impar (v)

q: 5 no es un nmero entero positivo (f)
p q: falso

p: 5 no es un nmero impar (f)

q: 5 no es un nmero entero positivo (f)
p q: verdadero

CONCLUSIN: EL BICONDICIONAL ES VERDADERO,

CUANDO AMBAS PROPOSICIONES SON
VERDADERAS O FALSAS, EN LOS DEMS CASOS ES
FALSA.

pq

REGLAS DE
INFERENCIA

Para inferir un juicio a partir de otros se

requiere de un proceso en el que se
aplican propiedades o leyes fijadas de
antemano y que no hayan sido
obtenidas de casos particulares o para
casos particulares.

Estas propiedades nos dan la certeza de

que sol es posible obtener conclusiones
ciertas de premisas ciertas. (entregar).

CONTRADICCIN

Una proposicin del tipo p~p es una

contradiccin; no es posible admitir que
p y ~p sean verdaderas a la vez.

Las premisas son inconsistentes si y

solo si de ellas se infiere una
contradiccin.

PROCESO DE DEDUCCIN.

1.- Determinar el valor de verdad de las

premisas. Si alguna de ellas es falsa no es
posible inferir nada de ellas.

2.- Determinar si las premisas son

inconsistentes o no.
(2.a) Si las premisas no son consistentes no
se puede inferir nada de ellas.
(2.b)Si las premisas son consistentes es
posible deducir una conclusin usando las
reglas de inferencia.

TIPOS DE PROPOSICIONES MS
COMUNES

Simples: si slo tienen un sujeto, un verbo

y un complemento.
Compuestas: si tienen dos o ms sujetos,
verbos y complementos.
Cerradas: si tienen determinado el sujeto.
Abiertas: si no lo tienen determinado.
Afirmativas o Negativas. Segn lo
afirmen o nieguen.
Verdaderas o Falsas: segn correspondan
o no a la realidad.

EJEMPLOS

h: "Ana come pizza y bebe refresco", es una

proposicin compuesta, cerrada y afirmativa.

j: "Ella no nada muy rpido", es una proposicin

simple, abierta y negativa.

k: Cuernavaca no est al norte del D.F. y no hace

fro", es una proposicin compuesta, cerrada,
negativa

y verdadera.

l: 7 + 3 =10 es una proposicin simple, cerrada,

afirmativa y verdadera.

m: 2x - x es una proposicin simple, abierta y

negativa.

n: a + b = 6 es una proposicin compuesta,

abierta y afirmativa.

MTODOS DE DEMOSTRACIN

Mtodo Directo: Consiste en inferir una conclusin

partiendo nicamente de un conjunto de premisas
dadas.

Demostracin Condicional: Si de un conjunto de

premisas y de p de deduce q, entonces de tal conjunto
de premisas se deduce pq. La premisa p puede ser
introducida en cualquier parte del proceso deductivo.

Demostracin indirecta: Ley del absurdo: de

p(q~q) se deduce ~p.

Demostracin indirecta: si de un conjunto de

premisas y de la negacin de p se infiere una
contradiccin, entonces de dicho conjunto se infiere p.

p(q~q) = ~p

~p(q~q) = p