Professional Documents
Culture Documents
+2 + 1 = 0.
f) 45+18.
g) El amanecer es bello.
SOLUCIN
El literal a) es una oracin ambigua, por lo tanto no es proposicin.
El literal b) es una oracin que es falsa, por lo tanto es una proposicin.
El literal c) es una oracin verdadera, por lo tanto es una proposicin.
El literal d) es una oracin que indica una orden, la cual no tiene un valor de verdad,
por lo tanto no es una proposicin.
El literal e) es una oracin en la cual no se precisa el valor de x, por lo cual no se
precisa el valor de verdad, por lo tanto no es una proposicin.
El literal f) es un enunciado incompleto, por lo cual no es una proposicin.
El literal g) es un enunciado impreciso, por lo cual no es una proposicin.
POR LO TANTO, los literales b) y c) son proposiciones.
1.2 OPERADORES LGICOS
OPERADOR LGICO: Son usados para poder formar proposiciones mas complejas.
NEGACIN (a): Este operador permite cambiar el valor de verdad de las proposiciones.
Su tabla de verdad es la siguiente:
a a
1 0
0 1
Los trminos gramaticales ms usados son: NO, NO ES VERDAD, NO ES CIERTO QUE,
NI.
CONJUNCIN ( ): Este operador solo es VERDADERO cuando las dos proposiciones
son VERDADERAS, en otro caso, es FALSA. Su tabla de verdad es la siguiente:
a b
1 1 1
1 0 0
0 1 0
0 0 0
INSTITUTO DE AYUDA POLITCNICA
Quisqus 1020 entre Avenida del Ejrcito y Garca Moreno.
2282705 086412883
PROPOSICIONES Pgina 4
Los trminos gramaticales mas usados son: Y, PERO, MAS (sin tilde), SIN EMBARGO y
los signos de puntuacin: coma, punto y coma, y punto.
DISYUNCIN ( ): Este operador solo es FALSO cuando las dos proposiciones son
FALSAS, en otro caso, es VERDADERA. Su tabla de verdad es la siguiente:
a b
1 1 1
1 0 1
0 1 1
0 0 0
Los trminos gramaticales mas usados son: O.
DISYUNCIN EXCLUSIVA ( ): Este operador solo es FALSO cuando las dos
proposiciones son FALSAS, en otro caso, es VERDADERA. Su tabla de verdad es la
siguiente:
a b
1 1 1
1 0 1
0 1 1
0 0 0
Los trminos gramaticales mas usados son: O, O.
CONDICIONAL ( ): Este operador solo es FALSO cuando la primera proposicin es
verdadera, y la segunda es falsa, en otro caso, es VERDADERA. Su tabla de verdad es la
siguiente:
a b
1 1 1
1 0 0
0 1 1
0 0 1
Los trminos gramaticales ms usados son:
Si a, b
Si a, entonces b
a solo si b
a solamente si b
a implica b
los a son b
cuando a, b
b, si a
b con la condicin
de a
b cuando a
b siempre que a
b cada vez que a
b ya que a
b debido a que a
b puesto que a
b porque a
se tiene b, si se
tiene a
solo si b, a
b, pues a.
INSTITUTO DE AYUDA POLITCNICA
Quisqus 1020 entre Avenida del Ejrcito y Garca Moreno.
2282705 086412883
PROPOSICIONES Pgina 5
ANTECEDENTE
HIPTESIS
PREMISA
CONDICIN SUFICIENTE
CONSECUENTE
CONCLUSIN
TESIS
CONDICIN NECESARIA
RECUERDE: La condicin suficiente es la proposicin que se cumpla primero, y
luego de cumplirse esta se da la condicin necesaria.
PROPOSICIN:
RECPROCA:
INVERSA:
CONTRARRECPROCA:
( ) ( )
La proposicin condicional tiene equivalencia lgica con su contrarrecproca.
BICONDICIONAL ( ): Este operador es VERDADERO cuando las dos proposiciones
son VERDADERAS, y es FALSA cuando las dos proposiciones son FALSAS. Su tabla de
verdad es la siguiente:
A b
1 1 1
1 0 0
0 1 0
0 0 1
Los trminos gramaticales ms usados son: a si y solo si b, a si y solamente si b, a
implica b y b implica a, a cuando y solo cuando b.
1.2.1 Ejercicios Resueltos
1. Dadas las siguientes proposiciones
a: Elizabeth cumple con sus obligaciones.
b: Elizabeth aprueba el examen.
c: Elizabeth se va de vacaciones.
d: Elizabeth trabaja.
e: Elizabeth no come
Traducir literalmente las siguientes proposiciones:
I) ( )
II) ( ) ( ) ( )
INSTITUTO DE AYUDA POLITCNICA
Quisqus 1020 entre Avenida del Ejrcito y Garca Moreno.
2282705 086412883
PROPOSICIONES Pgina 6
SOLUCIN
I) ( )
Realizamos paso a paso la traduccin, vamos a ir desde el operador ms interno, hasta el
ms externo de proposicin
Para esto, comenzamos con la proposicin que est entre parntesis:
(c d): Elizabeth no se va de vacaciones o trabaja.
Contino con el siguiente operador que le sigue, en este caso:
( ): Si Elizabeth aprueba el examen, entonces no se va de vacaciones o
trabaja.
Luego el siguiente operador:
( ): No es verdad que, Si Elizabeth aprueba el examen, entonces no se va
de vacaciones o trabaja.
Y por ltimo, el operador ms externo:
( ): Si Elizabeth cumple con sus obligaciones, no es verdad que,
aprueba el examen, entonces no se va de vacaciones o trabaja.
Por lo tanto, la traduccin literal de la proposicin compuesta es:
Si Elizabeth cumple con sus obligaciones, no es verdad que, aprueba el examen,
entonces no se va de vacaciones o trabaja.
II) ( ) ( ) ( )
Iniciamos la traduccin con las proposiciones que se encuentran entre parntesis:
( ): Elizabeth trabaja si y solo si no cumple con sus obligaciones.
( ): Elizabeth se va de vacaciones y trabaja.
( ): Elizabeth trabaja y no come.
Continuamos la traduccin realizando la negacin de una de las proposiciones anteriores:
( ): No es cierto que, Elizabeth trabaja si y solo si no cumple con sus obligaciones.
Luego, seguimos la traduccin con las proposiciones que estn entre corchetes:
( ): Elizabeth aprueba el examen; pero, no es cierto que, trabaja si y solo si
no cumple con sus obligaciones.
( ) ( ): Si Elizabeth se va de vacaciones, entonces, trabaja y no come.
Como ltimo paso realizamos la operacin disyuncin, que es el operador ms externo
( ) ( ) ( )
Elizabeth aprueba el examen; pero, no es cierto que, trabaja si y solo si no cumple
con sus obligaciones.; o, si Elizabeth se va de vacaciones, entonces, trabaja y no
come.
2. La traduccin al lenguaje formal de la proposicin Si t eres inteligente y no actas con
prudencia, eres un ignorante en la materia siendo las proposiciones:
a: T eres inteligente.
b: T actas con prudencia.
INSTITUTO DE AYUDA POLITCNICA
Quisqus 1020 entre Avenida del Ejrcito y Garca Moreno.
2282705 086412883
PROPOSICIONES Pgina 7
c: T eres un ignorante en la materia.
es:
a) ( )
b) ( )
c) ( )
d) ( )
e) ( )
SOLUCIN
Analizamos la proposicin para encontrar las proposiciones atmicas y los operadores lgicos:
Si t eres inteligente y no actas con prudencia, eres un ignorante en la materia.
Proposicin a Proposicin b Proposicin c
Esto da lugar a la siguiente traduccin:
Si a y no b, c
Lo cual nos lleva a usar las traducciones gramaticales vistas en la teora de operadores:
No b:
a y no b:
Si a y no b, c: ( )
Por lo tanto la respuesta es el literal a)
3. Escriba en lenguaje comn y formal la reciproca, la inversa y la contrarrecproca de la proposicin
Los aranceles se aprueban puesto que los artesanos ecuatorianos ofrecen productos de calidad.
Primero encontraremos las proposiciones de este enunciado:
a: Los aranceles se aprueban.
b: Los artesanos ecuatorianos ofrecen productos de calidad.
La frase puesto que indica que la proposicin b es la condicin suficiente del condicional. Por lo
tanto, la traduccin es:
La reciproca es: y la traduccin al lenguaje comn es:
Si los aranceles se aprueban, entonces los artesanos ofrecen productos de calidad.
La inversa es: y la traduccin al lenguaje comn es:
Si los artesanos no ofrecen productos de calidad, entonces los aranceles no se aprueban.
La contrarrecproca es: y la traduccin al lenguaje comn es:
Si los aranceles no se aprueban, entonces los artesanos no ofrecen productos de calidad.
INSTITUTO DE AYUDA POLITCNICA
Quisqus 1020 entre Avenida del Ejrcito y Garca Moreno.
2282705 086412883
LOGICA MATEMATICA Pgina 8
1.3 PROPOSICIONES SIMPLES Y COMPUESTAS
PROPOSICIONES SIMPLES: Son aquellas que no poseen operador lgico alguno.
Tambin son llamadas proposiciones atmicas.
PROPOSICIONES COMPUESTAS: Son aquellas que estn formadas por proposiciones
simples y operadores lgicos. Tambin son llamadas
proposiciones moleculares.
1.3.1 Ejercicios Propuestos
4. Si la proposicin
( ) [ ] c b a
es falsa, entonces una de las siguientes proposiciones es falsa, identifquela:
a)
( ) c b a
b)
( ) c b a
c)
( ) [ ] c b a
d)
( ) a c b a
e)
( ) c b a
SOLUCIN
La metodologa de trabajo para realizar el ejercicio es inducir valores a las proposiciones a, b y c para que la
proposicin sea falsa, y luego con esos mismos valores ir evaluando cada una de las alternativas, hasta dar con
la falsa.
Como el operador principal de
( ) [ ] c b a
es la implicacin, entonces para que este operador sea falso,
el antecedente debe ser verdadero y el consecuente falso:
( ) [ ] c b a
Para que la conjuncin sea verdadera, ambas proposiciones deben ser verdaderas:
( ) [ ] c b a
Por lo tanto:
1
0
1
A partir de ah reemplazamos en cada una de las opciones:
a)
( ) c b a
1 0
1 1 0
1
1 0 0
0
1
INSTITUTO DE AYUDA POLITCNICA
Quisqus 1020 entre Avenida del Ejrcito y Garca Moreno.
2282705 086412883
LOGICA MATEMATICA Pgina 9
b)
( ) c b a
c)
( ) [ ] c b a
d)
( ) a c b a
e)
( ) c b a
Por lo tanto la respuesta al ejercicio es la opcin c).
5. Sean las proposiciones:
a: Hoy es mircoles
b: Tengo que dar un examen
c: He estudiado
d: Saldr mal del examen
Entonces la traduccin al lenguaje formal de la proposicin: Hoy es mircoles y tengo que dar un
examen, pero s he estudiado entonces no saldr mal en el examen, es:
a) ( ) ( ) b a d c
b)
( ) ( ) c d b a
c) ( ) ( ) d c b a
d) ( ) ( ) d c b a
e) ( ) ( ) d c b a
1
1
1
1
1
0
0
0
0
1
0
0
0 1 0
1
1
0 0 1
1
INSTITUTO DE AYUDA POLITCNICA
Quisqus 1020 entre Avenida del Ejrcito y Garca Moreno.
2282705 086412883
LOGICA MATEMATICA Pgina 10
SOLUCIN
Realizaremos la traduccin
Hoy es mircoles y tengo que dar un examen:
Si he estudiado entonces no saldr mal en el examen:
Hoy es mircoles y tengo que dar un examen, pero s he estudiado entonces no saldr mal
en el examen:
( ) ( )
Como podemos observar ninguna alternativa tiene esta respuesta, solo hay una que es muy
parecida, por lo cual toca hacer algo adicional, esto es poner la contrarreciproca del condicional, es
es:
( ) ( )
La respuesta es el literal b).