LGICA MATEMTICA

Contenido
Proposiciones
Conectivos lgicos
Enunciado (proposicin): Una proposicin es una oracin declarativa que es verdadera
o falsa, pero no ambas a la vez.
Ejemplo: el oro es un metal precioso, 2+3=5, 2+3=8 son enunciados.
Ejemplo: Estudia?, Escchame!, Mel Gibson es el mejor actor de Hollywood no son
enunciados.
Ejemplo: Coloque 10 ejemplos de enunciados y 10 ejemplos de expresiones
Enunciados
Pregunta, opinin, expresin exclamativa
______________________________________________________________________
______________________________________________________________________
______________________________________________________________________
______________________________________________________________________
______________________________________________________________________
______________________________________________________________________
______________________________________________________________________
______________________________________________________________________
______________________________________________________________________
______________________________________________________________________
Tarea: Miller, Ch. Heeren, V. & Hornsby, J. (2013). Matemtica: Razonamiento y
Aplicaciones. Mxico: Pearson Educacin S.A. (Captulo 3; ejercicio 3.1; 3,5,7,9)
Consideraremos proposiciones en su forma ms simple (atmicas) sin trminos de
enlace y las proposiciones compuestas, como aquellas formadas por proposiciones
simples mediante trminos de enlace.
Los trminos de enlace se usan para formar nuevas proposiciones a partir de
proposiciones atmicas.
Los trminos de enlace (conectores) entre proposiciones ms utilizados son: y, o, no,
sientonces, si y solo s.
Simblicamente representaremos estos trminos de enlace por: , , ,
respectivamente.

Vamos a comenzar con algunas proposiciones cuyo valor de verdad es intuitivamente

claro.
1. Si p no es cierta, claramente p es verdadera. Si p es cierta entonces p es falsa. (La
ley del medio excluido).
2. p q es verdadera si y solo si ambas son verdaderas.
3. p q es verdadera si y solo si p es verdadera o q es verdadera.
4. La proposicin p

q (p implica q) se conoce como proposicin condicional; a p

se le llama antecedente y a q el consecuente. Se acostumbra con esta implicacin decir

que
p es condicin suficiente para q; q es condicin necesaria para p.
5. La proposicin p q (p si y solo si q) se conoce como proposicin bicondicional
p q=(q p) ( p q)
Ejemplo: Determine si cada enunciado es compuesto. Si es as identifique al
conector y encirrelo en un crculo.
a) El Ecuador est situado en Amrica del Sur y tiene 24 provincias.
b) Carlos da la prueba hoy o da la prueba maana.
c) Mi pelota es de la marca Tan y Yus.
d) Si el jugador de futbol Diego Maradona es argentino entonces Ec. Rafael Correa
es el presidente de Ecuador.
e) No tengo cupo en la Universidad.

Ejemplos: Dados los siguientes enunciados seprelos de acuerdo al uso de los

conectores establecidos y subraye el conector:
El presidente del Ecuador es Rafael Correa y la ciudad de Quito es la capital del
Ecuador o Juan Fernando Velasco es un cantante de reguetn.
p: El presidente del Ecuador es Rafael Correa
q: La ciudad de Quito es la capital de Ecuador
r: Juan Fernando Velasco es un cantante de reguetn
En la ciudad de Manab se elaboran artculos en paja toquilla y Manta est en la
regin Costa o James Rodrguez es de nacionalidad Uruguaya.
s: En la ciudad de Manab se elabora artculos en paja toquilla

t: Manta est en la regin Costa

u: James Rodrguez es de nacionalidad Uruguaya
Taller: Escriba cuatro proposiciones compuestas, separe los enunciados de acuerdo
al uso de los conectores establecidos y subraye el conector.
______________________________________________________________________
______________________________________________________________________
______________________________________________________________________
______________________________________________________________________
______________________________________________________________________
______________________________________________________________________
______________________________________________________________________
______________________________________________________________________
______________________________________________________________________
______________________________________________________________________
______________________________________________________________________
______________________________________________________________________
______________________________________________________________________
______________________________________________________________________
______________________________________________________________________
______________________________________________________________________
______________________________________________________________________
______________________________________________________________________
______________________________________________________________________
______________________________________________________________________
______________________________________________________________________
______________________________________________________________________
______________________________________________________________________
______________________________________________________________________
______________________________________________________________________
______________________________________________________________________
______________________________________________________________________
______________________________________________________________________
______________________________________________________________________
______________________________________________________________________
______________________________________________________________________
______________________________________________________________________
______________________________________________________________________
______________________________________________________________________
______________________________________________________________________
______________________________________________________________________
_____________________________________________________________________