CORPORACION UNIFICADA NACIONAL CUN

ASIGNATURA LGICA
TUTOR: JORGE LUIS GMEZ VALVERDE
GUIA DE TRABAJO No. 1
Nombre de la asignatura: LGICA

Fecha:

Titulo de la Gua: PROPOSICIONES LGICAS Y CONECTORES

Gua No. 1

Tiempo estipulado para el desarrollo y discusin de la gua: 3 Horas.

Tutor: JORGE LUIS GMEZ VALVERDE

1. Competencia.
Comprende y maneja el lenguaje lgico para resolver problemas de aplicacin mediante el uso de
conectores lgicos.
2. Objetivo General.
Comprender el papel que cumple el Pensamiento Lgico en el aprendizaje y aplicacin de la
matemtica, regocijarse con su uso y reconocer el valor del pensamiento lgico, analtico, crtico y
propositito en la bsqueda de soluciones de los problemas.
3.

Objetivos especficos.
Reconocer la importancia del juicio, la oracin y la proposicin.
Distinguir la importancia de los conectivos lgicos.
Explicar el clculo proposicional.

DEFINICIN Y OBJETO DE LA LGICA

La palabra lgica se deriva de la palabra griega logos que significa razonamiento o discurso.
La lgica matemtica es la disciplina que trata de mtodos de razonamiento. En un nivel elemental, la lgica
proporciona reglas y tcnicas para determinar si es o no vlido un argumento dado. El razonamiento lgico se
emplea en matemticas para demostrar teoremas; en ciencias de la computacin para verificar si son o no
correctos los programas; en las ciencias fsica y naturales, para sacar conclusiones de experimentos; en las
ciencias sociales y en la vida cotidiana, para resolver una multitud de problemas. Ciertamente se usa en forma
constante el razonamiento lgico para realizar cualquier actividad.
La lgica es una ciencia que ensea a razonar con exactitud y que posee un lenguaje exacto, el cual para su
desarrollo utiliza reglas las cuales nos permite obtener una conclusin.
El objetivo principal de la lgica es analizar la estructura del pensamiento,
descubrir leyes y reglas.

es decir su forma lgica para

DIFERENCIAS ENTRE JUICIO, ORACIN Y PROPOSICIN

El juicio.- Es una relacin o conjuntos de conceptos que se caracteriza por constituir una afirmacin o
aseveracin de algo, es una forma, una estructura del pensamiento que objetivamente es verdadero o falso.
El enunciado.- Es la expresin verbal o escrita del juicio.
Ejemplos:
Pedro es estudiante de la CUN
x+2=7
3+2=5
No son enunciados:

Las oraciones exclamativas. (Sentimientos, interjecciones). Ej.: socorro!, auxilio! te quiero!

Las oraciones imperativas. (rdenes), Ej.: Cierra la puerta; te vas afuera.
Las desiderativas. (Deseos, splicas). Ej.: Ojala no haya clases.
Las oraciones interrogativas. (Preguntas). Ej.: Qu hora es?

Razonamiento.-Es un conjunto de afirmaciones o juicios relacionados de manera al que se supone que uno de
ellos (llamado conclusin) se desprende o infiere del o los otros (llamados premisas). La pretensin de que la

conclusin se deriva de las premisas se manifiesta a travs de expresiones especiales como: por lo tanto,
luego, por consiguiente, etc.
La proposicin.- Es un enunciado que puede ser falso o verdadero, pero no ambas cosas a la vez. La
proposicin es un elemento fundamental de la lgica matemtica; generalmente se las expresa en oraciones
declarativas o aseverativas, tales como:
Oraciones afirmativas. (Informan). Ej.: Maana es lunes.
Oraciones descriptivas. (Describen). Ej.: La tiza es blanca
Oraciones explicativas. (Explican). Ej.: Si hace fro entonces es invierno
A continuacin se tienen algunos ejemplos de proposiciones vlidas y no vlidas, y se explica el por qu
algunos enunciados no son proposiciones. Las proposiciones se indican por medio de una letra minscula, dos
puntos y la proposicin propiamente dicha.
Ejemplo.
p:
q:
r:
s:
t:
w:

La tierra es plana.
-17 + 38 = 21
x > y-9
La Liga de Loja ser campen en la presente temporada de ftbol.
Hola como estas?
Lava el coche por favor.

Los incisos p y q sabemos que pueden tomar un valor de falso o verdadero; por lo tanto son proposiciones
vlidas. El inciso r tambin es una proposicin vlida, aunque el valor de falso o verdadero depende del valor
asignado a las variables x y y en determinado momento. La proposicin del inciso s, es vlida Sin embargo los
enunciados t y w no son vlidos, ya que no pueden tomar un valor de falso o verdadero, uno de ellos es un
saludo y el otro es una orden.
Tarea: Practica.
Escribir 10 proposiciones vlidas y 10 invlidas.
Valor de verdad.- Una proposicin es verdadera o es falsa; si es verdadera se denotar por la letra V o el 1
y si es falsa se denotar por F o por el 0. Si no se puede determinar su valor de verdad, se podr analizar
los posibles valores de verdad (tablas de certeza).
CLASES DE PROPOSICIONES:
Las proposiciones se clasifican en proposiciones simples y proposiciones compuestas:
Proposiciones simples.- Son aquellas proposiciones que no se pueden descomponer.
Ejemplo:
p: Todo organismo viviente se adapta a su medio fsico.
q: Si un nmero es divisible por 4 tambin lo es por 2.
r: (a +b)2 = a2 + 2ab + b2
Proposiciones compuestas.- Son aquellos enunciados que estn formados por dos o ms proposiciones
simples y unidos por trmino lgico.
Ejemplos:
p: La nia Mara canta y su hermano Luis toca el piano.
q: Ecuador es un pas Amaznico y latinoamericano.
Podemos observar en los ejemplos anteriores que tanto p como q estn compuestas de dos proposiciones
simples.
Los conectivos lgicos son elementos gramaticales que unen dos o ms proposiciones simples; estos son:
CONECTIVOS LGICOS
OPERADOR LGICO
Negacin
Conjuncin
Disyuncin
Condicional
Bicondicional

LGICA SIMBLICA
o

PROPOSICIONES COMPUESTAS Y CONECTIVOS LGICOS

TERMINOLOGA LGICA
no
y
o
Si., entonces
Si y slo si

Los operadores lgicos tambin permiten formar proposiciones compuestas (formadas por varias
proposiciones). Los operadores o conectores bsicos son:
CONJUNCIN ( ) QUE SE LEE Y
Se utiliza para conectar dos proposiciones que se deben cumplir para que se pueda obtener un resultado
verdadero. Su smbolo que se lee y. Se lo conoce como la multiplicacin lgica y tiene estrecha relacin con
la interseccin de conjuntos.
Ejemplo.
Sea el siguiente enunciado El coche enciende cuando tiene gasolina en el tanque y tiene corriente la batera.
Simbolizando tenemos:
p: el conche enciende cuando tiene gasolina en el tanque
q: tiene corriente la batera.
V(p) = V
V(q) = V
En consecuencia:
V(p q) = V
Otro ejemplo:
3 + 4 = 6 y 3 + 7 = 10
p: 3 + 4 = 6
q: 3 + 7 = 10
Por consiguiente:
V (p
q) = F

V(p) = F
V(q) = V

De tal manera que la representacin del enunciado anterior usando simbologa lgica es como sigue:
p

q; que se lee: p y q

Su tabla de verdad es:

p
V
V
F
F

q
V
F
V
F

p q
V
F
F
F

TAREA: PRACTICA
Escribir 5 ejercicios de conjuncin y determine el valor de verdad de cada uno.
LA DISYUNCION:
LA DISYUNCIN: ( ) QUE SE LEE: O.
Es la unin de dos proposiciones simples con el conectivo lgico o. Simblicamente se lo representa as: p q
que se lee p q o ambas. El enunciado es verdadero cuando alguna de las proposiciones es verdadera o
ambas son verdaderas; Se conoce tambin como la suma lgica y se relaciona estrechamente con la unin de
conjuntos.
Ejemplos:
Sea el siguiente enunciado Una persona puede entrar al cine si compra su boleto u obtiene un pase. Donde.
p: Una persona puede entrar al cine si se compra su boleto.
q: Obtiene su pase.
Simblicamente tenemos:
pq
V( p ) = V
V( q ) = V
En consecuencia: V (p q) = V
4+3=9o3+5=8
p: 4 + 3 = 9
q: 3 + 5 = 8

V ( p) = F
V (q ) = V

En consecuencia: V (p q) = V
Su tabla de verdad es:
p
V
V
F
F

q
V
F
V
F

p q
V
V
V
F

TAREA: PRACTICA
Escriba 5 ejemplos de disyuncin y determine su valor de verdad.
Negacin (

) no

Su funcin es negar la proposicin. Esto significa que s alguna proposicin es verdadera y se le aplica el
operador no se obtendr su complemento o negacin (falso). Al negar una proposicin simple, se transforma en
una proposicin compuesta Este operador se indica por medio de los siguientes smbolos: (~, ) Ejemplo.
Ejemplos:
p: Patricio est estudiando en la sala

V (p) = V

p: Patricio no esta estudiando en la sala.

V(

q: Mara es novia de Ivn

p) = F

V (q) = F

q: No es cierto que Mara es novia de Ivn

V ( q) = V

Su tabla de verdad es:

p
V
F

p
F
V

A veces la negacin de una proposicin simple se obtiene mediante otra proposicin simple, as:
p: x es mortal
p: x es inmortal
q: y es par
q: y es impar
La negacin en matemticas se realiza as:
p: 2 + 3 = 5

V (p) = V

p: 2 + 3 5

V ( p) = F

PROPOSICIONES CONDICIONALES ( ) que se lee entonces

Una proposicin condicional, es aquella que est formada por dos proposiciones simples (o compuesta) p y q.
La cual se indica de la siguiente manera: que se lee si p, entonces q; simblicamente se la representa por:
pq

Se lee Si p, entonces q

Ejemplo: Simbolice y determine el valor de verdad:

Un candidato a presidente del Ecuador dice: Si salgo electo presidente de la Repblica del Ecuador, entonces
recibirn un 50% de aumento en su sueldo el prximo ao. Una declaracin como esta se conoce como
condicional. Su tabla de verdad es la siguiente:
p: Si salgo electo Presidente de la Repblica del Ecuador
q: Recibirn un 50% de aumento en su sueldo el prximo ao

V (p) = V
V (q) = V

De tal manera que el enunciado se puede expresar de la siguiente manera: p q

El V( p q ) = V
Otro ejemplo:
5+7=12 8- 5 = 4 ; Simblicamente tenemos: p q

p: 5 + 7 = 12
q: 8 5 = 4

V( p) = V
V( q ) = F

Su valor de verdad es: V (p q ) = F

Su tabla de verdad es:
p

p q

V
V
F
F

V
F
V
F

V
F
V
V

Esto significa que una proposicin condicional es falsa cuando p = V y q = F; en los dems casos ser
verdadera.
VARIANTES DE LA CONDICIONAL
A toda proposicin condicional se le asocia tres proposiciones igualmente importantes, que son: proposicin
recproca, inversa y contra recproca.
Proposicin recproca.- Dada la proposicin
proposicin que se denota por: q p

condicional p q , se llama proposicin recproca a la

Ejemplo:
Si y es par, entonces, y es mltiplo de 2 ; simblicamente: p q. Condicional
Si y es mltiplo de 2, entonces, y es par ; simblicamente: p q. Su recproca:
Si b es perpendicular a c, entonces c es perpendicular a b.
La proposicin anterior simblicamente la denotamos por p q; mientras que la proposicin recproca ser:
q p.
c es perpendicular a b, si b es perpendicular a c.
Proposicin inversa. - Dada la proposicin condicional p q , se llama proposicin inversa a la proposicin
que se denota por: p q.
Ejemplo: Si Juan consigue la beca, entonces viajar a Francia; simblicamente tenemos:
La proposicin inversa ser: " p q, ser:

pq

Si Juan no consigue la beca, entonces no viajar a Francia.. Simblicamente tenemos: " p q

Proposicin contra recproca.- Dada la proposicin condicional: p q, se denomina proposicin contra
recproca a la que se denota por: q p.
Ejemplo:
Si vivo en Montera, vivo en el departamento de Crdoba; simblicamente: p q
La proposicin contra recproca ser : No vivo en departamento de Crdoba, si no vivo en Montera;
simblicamente: q p
En los siguientes ejercicios escribir la proposicin dada en la forma si p entonces q; determine su valor de
verdad. A continuacin, escribir la recproca y la contrarecproca y determinar la verdad o falsedad de cada una.
a)
b)
c)
d)
e)
f)
g)
h)
i)

Las lechugas son verduras

Slo las rectas paralelas no se cortan
Slo las rectas perpendiculares forman ngulos rectos.
Un tringulo equiltero tiene tres lados iguales
Si a es mayor que b entonces b es mayor que a
Los tringulos issceles son equilteros
Si x = 4 entonces x2 = 16
Ningn profesor de idiomas tiene mala ortografa
Toda persona mayor de 18 aos puede votar.

PROPOSICIN BICONDICIONAL: ( ), QUE SE LEE SI Y SLO SI

Sean p y q dos proposiciones simples entonces se puede indicar la proposicin bicondicional de la siguiente
manera: p q; que se lee p si y solo si q

Esto significa que p es verdadera si y solo si q es tambin verdadera. O bien p es falsa si y solo si q tambin es
falsa. Ejemplo; el enunciado siguiente es una proposicin bicondicional
Luis es buen estudiante, si y solo si; tiene promedio de diez
Simblicamente tenemos:
p: Lus es buen estudiante
q: Tiene promedio de diez.

V (p) = V
V (q) = V

Por consiguiente: V (p q) = V
Su tabla de verdad es:
p
V
V
F
F

q
V
F
V
F

p q
V
F
F
V

La proposicin bicondicional solamente es verdadera si tanto p como q son falsas o bien ambas verdaderas.
La proposicin bicondicional, tambin se forma por la conjuncin de una proposicin condicional y su recproca,
simblicamente tememos:
pq = pq qp
Ejemplo: Juan viajar a la ciudad de Bogot si y slo si obtiene un prstamo en el Banco; Simblicamente
tenemos: q p
Equivale a decir: Si Juan viaja a la ciudad de Bogot, entonces obtiene un prstamo en el Banco, y si obtiene
un prstamo en el Banco viajar a la ciudad de Bogot. Simblicamente tenemos: = p q q p
Por lo tanto la primera y segunda proposicin son iguales:
pq = pq qp