Professional Documents
Culture Documents
Presentado Por:
Armando Pineda Gonzalez Cd. 96.353.698
Grupo: 551105_2
Presentado A:
Juan Carlos Benavides
a)
Rta. No se han divisado tiburones cerca de la costa
b) ( )
Rta. Est permitido nadar en la costa de Cartagena o se han divisado tiburones cerca de
la costa.
c)
Rta. Est permitido nadar en la costa de Cartagena y se han divisado tiburones cerca de
la costa
d) Rta. No est permitido nadar en la costa de Cartagena o se han divisado
tiburones cerca de la costa.
4. Sean p y q los enunciados
p: Estamos bajo cero
q: Nieva
Escriba los siguientes enunciados utilizando p, q y conectivos lgicos:
Reciproca. Es necesario que duerma hasta medioda entonces cuando me acuesto tarde.
Contrareciproca. No duermo hasta medioda.
Inversa. No es necesario que duerma hasta medioda entonces no me acuesto tarde.
d. Un entero positivo es primo slo si no tiene otros divisores distintos de 1 y l mismo.
Reciproca. Solo si no tiene otros divisores distintos de 1 y el mismo, un entero es
positivo es primo
Contrareciproca. Solo si tiene otros divisores distintos de 1 y el mismo, un entero es
positivo no es primo
Inversa- Un entero positivo no es primo solo si tiene otros divisores distintos de 1 y el
mismo
c) p (q r)
( )
V V V F V V
V V F F F V
V F V F V V
V F F F V V
F V V V V V
F V F V F F
F F V V V V
F F F V V V
c. 1 :
2 :
C:
13. Traduzca de dos formas cada una de las siguientes frases a expresiones lgicas utilizando
funciones proposicionales, cuantificadores y conectivos lgicos. En primer lugar, el
dominio consistir en los estudiantes de tu clase, y en segundo lugar, ser el conjunto de
todas las personas.
a) Alguien de tu clase habla ingls.
: ()
14. Traduzca cada una de las siguientes frases a expresiones lgicas utilizando funciones
proposicionales, cuantificadores y conectivos lgicos. El dominio es el conjunto de todas las
personas.
a) Nadie es perfecto.
:
b) No todo el mundo es perfecto.
:
c) Todos tus amigos son perfectos.
:
d) Cada uno de tus amigos es perfecto.
15. Traduzca cada una de las siguientes frases a expresiones lgicas de tres formas diferentes,
variando el dominio y utilizando funciones proposicionales con una y con dos variables.
b)
: Hay un estudiante de tu escuela que no habla ruso.
: todos los estudiantes hablan ruso
: si hay un estudiante que no habla ruso entonces no todos los estudiantes hablan
ruso.
c)
: Un estudiante de tu escuela sabe Java, Prolog y C++.
: todos los estudiantes de tu escuela saben Java, Prolog y C++.
Trabajo Colaborativo.
En Turqua se acostumbraba que los reos condenados a muerte eligieran la forma de morir, para
ello deberan de decir una proposicin. Si la proposicin era verdadera lo decapitaban y si era
falsa lo ahorcaban. El da del juicio un reo judo dijo la siguiente proposicin: Ser ahorcado
y continu Si me ahorcan van a quebrantar la ley puesto que lo que he dicho es verdad, por lo
tanto deberan de decapitarme; pero si me decapitan, tambin van a quebrantar la ley puesto que
lo que he dicho es falso. Qu hacen con el judo, lo decapitan, lo ahorcan, lo dejan libre?
2. Verifique, con tablas de verdad, que los siguientes condicionales son tautologas
( ) ( )
( ) ( )
V V V V V
V F F F V
F V F V V
F F F V V
Queda demostrado que ( ) ( ) es una proposicin que sin importar el valor de sus
premisas p y q, es siempre verdadera. Siendo esta una Tautologa.
Desarrollo
Preposiciones
p: Alicia estudia matemticas
q: Alicia estudia ingeniera
Premisas
1.
2.
(Alicia estudia matemticas o bien Alicia estudia ingeniera)
Si nieva hoy, se cerrar la universidad. La universidad no est cerrada hoy. Por tanto, no nieva
hoy.
Se utiliza la regla de Modus Tollendo Tollens [( ) ] , en donde:
, si p entonces q
, ocurre
, de donde
Desarrollo
Preposiciones
p: nieva hoy
q: la universidad est cerrada
Premisas
1. , (si nieva hoy, la universidad cierra)
2. , (la universidad no cierra)
(no nieva hoy)
Si voy a nadar, entonces estar al sol demasiado tiempo. Si estoy al sol demasiado tiempo, me
quemar. Por tanto, si voy a nadar me quemar.
Se utiliza la regla de Silogismo Hipottico [( ) ( )] ( )
1.
2.
Desarrollo
Preposiciones
p: Si voy a nadar
q: estar al sol demasiado tiempo
r: me quemar
Premisas
1. , (Si voy a nadar, entonces estar al sol demasiado tiempo)
2. , (Si estoy al sol demasiado tiempo, me quemar)
, (Si voy a nadar me quemar)
Premisas
1. ( ) : Si el reloj esta adelantado entonces Juan llego antes de las diez y vio partir el
coche de Andrs.
2. : Si Andrs dice la verdad entonces Juan no vio partir el coche de Andrs.
3. : Andrs dice la verdad o estaba en el momento del crimen. (disyuncin)
4. : El reloj esta adelantado.
5. ( ) : Juan llego antes de las diez y vio partir el coche de Andrs.
6. : Juan vio partir el coche de Andrs
7. : Andrs no dice la verdad
8. Andrs estaba en el edificio en el momento del crimen
: : Andrs estaba en el edificio en el momento del crimen
Premisa 5. Aplicamos la regla de Modus Ponendo Ponens entre la premisa 1 y 4.
[( ) ]
1. ( )
4.
La primera premisa es una condicional, la segunda premisa es el antecedente de la afirmacin de
la primera premisa, por lo tanto puedo concluir el consecuente de la primera premisa es q.
( ( )) ( )
Si una disyuncin es verdadera y una de sus proposiciones simples es falsa, entonces necesariamente
la otra proposicin ser verdadera
En donde la tercera premisa es una disyuncin y la sptima premisa es la negacin
3. : Andrs dice la verdad o estaba en el momento del crimen. (Disyuncin).
7.
[( ) ]
http://datateca.unad.edu.co/contenidos/551105/logica_2014-_2/Entorno%20de%20
conocimiento/Libro_de_logica_cap._1.pdf
Garca I (2014). Introduccin a la lgica y mtodos de demostracin cap. 2. Resumen de las leyes
de inferencia. Recuperado Junio 13 de 2014
http://rosmirofuentesrocha.weebly.com/uploads/6/2/7/4/6274527/deduccion_proposicional.pdf