Está en la página 1de 15

i

Lgica Matemtica

FASE 1- Principios de lgica y teora de conjuntos

Christian Camilo Vega Homes


John Jairo Forero

Presentado a:
LUZMYLA ROJAS
Tutora

Universidad Nacional Abierta y a Distancia


UNAD
Ingeniera de Sistemas
Bogot
2017
2

DESARROLLO DE LA ACTIVIDAD

TAREA 1: Conceptualizacin de las reglas de inferencia

b. Modus Tolendo Ponens, Doble Negacin y Adjuncin

Modus Tolendo Ponens: Formula para validar argumentos en la cual una de las dos
preposiciones tiene que ser verdadera, en donde se deduce que la ltima siempre es
la verdadera de tal manera que p sea falso se tendr como resultado que q es verdadero
escribindose con la siguiente notacin
(() )

Ejemplos:
Es de da o es de noche
No es de da
Por lo tanto es de noche

Yo o compro un auto o compro una moto


No compro el mato
Por lo tanto compro un auto

Doble Negacin: Esta regla indica que al realizar la doble negacin de un enunciado
como resultado se tendr el primer enunciado afirmado.
()

Ejemplos:
No es cierto que no est lloviendo
Por lo tanto est lloviendo

No es verdad que no me encuentro trabajando


Por lo tanto me encuentro trabajando
3

Adjuncin: Es la unin que se aplica mediante el operador de (conjuncin) en el


cual se debe disponer de dos enunciados afirmados como dos premisas separadas


Ejemplos
p Escucho msica
q Leo un libro
Escucho msica y leo un libro

p Viajare en auto
q Visitare a mis abuelos
Viajare en auto y visitare a mis abuelos

TAREA 2: Problemas de aplicacin I

Solucionar los siguientes enunciados y demostrar la validez o no validez del argumento


dado a travs de:

Uso de las tablas de verdad.


Uso de las reglas de inferencia.
Uso del simulador Truth Table.

c. La secretara General de la Universidad est preocupada porque el proveedor de los


diplomas manifest inconvenientes con su impresin, por ello la secretara les dio
este argumento para que cumplan con la fecha estipulada No es cierto que el Rector
4

no pudo dar el discurso o los diplomas no llegan a tiempo, la fiesta de graduacin


tendra que cancelarse. La fiesta de graduacin tendra que cancelarse y los
estudiantes se enojaran. Si la fiesta se cancelara, habra que devolver el dinero. No
se devolvi el dinero. Por lo tanto, el Rector pudo dar el discurso.

p El Rector pudo dar el discurso


q Los diplomas llegan a tiempo
r La fiesta de graduacin se cancelara
s Los estudiantes se enojaran
t Habra que devolver el dinero

[( ) ( ) ] ( )

Tabla de la verdad

p q r s t [( pV qr)(rs)t](ts)

T T T T T T
T T T T F T
T T T F T T
T T T F F F
T T F T T T
T T F T F T
T T F F T T
T T F F F T
T F T T T T
T F T T F T
T F T F T T
T F T F F F
T F F T T T
T F F T F T
T F F F T T
T F F F F T
F T T T T T
5

F T T T F T
F T T F T T
F T T F F F
F T F T T T
F T F T F T
F T F F T T
F T F F F T
F F T T T T
F F T T F T
F F T F T T
F F T F F F
F F F T T T
F F F T F T
F F F F T T
F F F F F F

TAREA 3: Problemas de aplicacin II

Expresar los siguientes enunciados en Lenguaje natural relacionada con la dinmica de la


Universidad de su rol como estudiante y demostrar la validez del argumento dado a travs
de:

Uso de las tablas de verdad.


Uso de las reglas de inferencia.
Uso del simulador Truth Table.

a. [( ) ( ) ( )] ( )
p Realizo los trabajos
q Tengo buenas calificaciones
r Apruebo la materia
s Me puedo graduar como ingeniero

Si realizo los trabajos que me son asignados entonces recibir buenas calificaciones
o si no apruebo las materias entonces no me podre graduar o si realizo todos los
trabajos y apruebo todas las materias entonces ser por tener buenas calificaciones y
finalmente graduarme como ingeniero.
6

p q r s [( pq)(rs)(ps)](qs)

T T T T T
T T T F T
T T F T T
T T F F T
T F T T T
T F T F T
T F F T T
T F F F T
F T T T T
F T T F T
F T F T T
F T F F T
F F T T T
F F T F T
F F F T T
F F F F T

expression is a tautology

TAREA 4: Razonamiento Deductivo e Inductivo

Identifique de los siguientes casos si el razonamiento es deductivo o inductivo


a. Explica la conclusin a la que llega el personaje, de acuerdo a la caricatura. Explica
el mtodo de razonamiento (inductivo o deductivo) utilizado
7

El personaje llega a la conclusin de que se debe quedar en la casa en compaa de una


niera ya que su madre saldr en la noche.
Para llegar a la conclusin utilizo el razonamiento inductivo ya que se basa en experiencias
y en lo que el observa.
8

TAREA 1

A. Conceptualizacin de las reglas de inferencia.

Socializar en el Foro diseado para el desarrollo de la actividad la conceptualizacin y dos


ejemplos especficos (En caso de ser extrado por alguna fuente bibliogrfica, se debe citar
correctamente empleando normas APA) de un grupo de las Reglas de Inferencia Lgica.

(Solo selecciona un grupo de los 5 mostrados e informa en el foro cual escogi , para que
no sea escogido por otro integrante), las cuales son:

a. Modus Ponendo Ponens, Modus Tollendo Tollens, y Silogismos Hipottico

Modus Ponendo Ponens.


Permite eliminar el antecedente siempre que la segunda premisa sea dicha antecedente.


EJ:
p: Mauro Gana el examen
q: Mauro estudio el materia de trabajo
Si mauro gana el examen entonces estudio el material de trabajo, si mauro gano el examen
por lo tanto estudio el material de trabajo.


Si la Biologa estudia la vida, entonces estudia las clulas de todos los seres vivos, la
biologa estudia la vida por lo tanto la biologa estudia las clulas de los seres vivos
9

P: la Biologa estudia la vida


Q: estudia las clulas de todos los seres vivos


Modus Tollendo Tollens.


Permite eliminar el consecuente siempre y cuando este negando en la segunda premisa,
dando como consecuente el antecedente negado.

~
~

Silogismos Hipottico
Permite eliminar el consecuente de la primera premisa y el antecedente de la segunda
premisa|, siempre y cuando sean iguales.



EJ:
Si comienza a haber flores entonces comienza la primavera, entonces si comienza la
primavera, los arboles darn fruto, por lo tanto si comienza a haber flores entonces los
arboles darn frutos
P: comienza a haber flores
Q: comienza la primavera
R: los arboles darn fruto



10

TAREA 2
B. Si voy manejando mi auto y aumento la velocidad al manejar, podra llegar temprano al
trabajo. No es cierto que si aumento la velocidad al manejar, gasto ms combustible del
normal. Pasa que gasto ms combustible del normal o voy manejando mi auto. En
conclusin, podra llegar temprano al trabajo.

Primero se va a leer el enuncia para ir sacando las premisas o proposiciones y a su


vez ir dando un valor simblico a las frases que describen el enunciado.

VALOR SIMBLICO PREMISAS


P: Voy manejando mi auto. (^)
Q: Aumento la velocidad al manejar.

R: Podra llegar temprano al trabajo.
S: Gasto ms combustible del normal.

[( ) ] ( ) ( )

TAREA 3
{[ ( )] ( ) ( ) } ( )

D. Lenguaje natural
Si se sabe que Fernando estudia administracin de empresas en la UNAD entonces a
su vez que si Yamile tambin lo hace entonces ella en los trabajos colaborativos
siempre asume el rol de compilador. Yamile en los trabajos colaborativos siempre
asume el rol de compilador y Fernando estudia administracin de empresas en la
UNAD. Yamile estudia administracin de empresas en la UNAD o Fernando entrega
a tiempo sus aportes en el trabajo colaborativo para que sus compaeros no se atrasen.
Yamile no estudia administracin de empresas en la UNAD. Por tanto se concluye
que Fernando entrega a tiempo sus aportes en el trabajo colaborativo para que sus
11

compaeros no se atrasen y que si Yamile estudia administracin de empresas en la


UNAD entonces ella en los trabajos colaborativos siempre asume el rol de compilador

Se extraen las siguientes proposiciones


P: Fernando estudia administracin de empresas en la UNAD
Q: Yamile estudia administracin de empresas en la UNAD
R: Yamile en los trabajos colaborativos siempre asume el rol de compilador
S: Fernando entrega a tiempo sus aportes en el trabajo colaborativo para que sus
compaeros no se atrasen

Tabla de Verdad

{[ ( )] ( ) ( ) } ( )

( [ ( ( ( )
) ( ) )
)]











12

A: {[ ( )] ( ) ( ) }
B: {[ ( )] ( ) ( ) } ( )

Leyes de inferencia

P: Fernando estudia ( )
administracin de empresas en ( )
la UNAD ( )
Q: Yamile estudia
administracin de empresas en ( )
la UNAD
R: Yamile en los trabajos
colaborativos siempre asume el
rol de compilador
S: Fernando entrega a tiempo sus
aportes en el trabajo colaborativo para
que sus compaeros no se atrasen
13

Razonamiento Justificacin
( Prop 1
^ Prop 2
Prop 3
~ Prop 4
^( ) Conclusin
Ley conmutativa
MTP
Simplificacin

MPP

^( ) Conjuncin

True table

TAREA 4

D. Todos los seres humanos sentimos temor a provocar la muerte de otra persona. Las
personas con creencias religiosas tienen esta prohibicin como norma de conducta. Adems
14

este temor es compartido por personas sin religin. Finalmente, este repudio a lastimar a
otro, existe en todo tipo de culturas, en cualquier parte del mundo. Por lo tanto, esto es un
valor que es independiente de la religin, y del contexto cultural, y al ser compartido por
todos los seres humanos, es un valor Universal.

Respuesta:

Al generalizar el temor en todos los humanos a provocar la muerte de otra persona se hace
una referencia a una premisa universal afirmativa, luego de ah se substrae que por ms que
la persona est en una religin x o en un entorno cultural diferente. Cada individuo tendr
repudio a lastimar a otro o a causarle muerte. Luego estamos evidentemente ante un caso
deductivo de razonamiento
15

REFERENCIAS BIBLIOGRAFICAS

Carlos Ivorra Castillo (2017) Lgica y teora de conjuntos. Recuperado de


https://www.uv.es/ivorra/Libros/Logica.pdf
Patricia Kysbie (2017) Elementos de Logica Recuperado de
http://www.ocw.unc.edu.ar/facultad-de-matematica-astronomia-y-fisica/cursillo-de-
ingreso/actividades-y-materiales/elementos-de-logica-y-teoria-de-conjuntos
Cristihan Camilo Casteblanco Gomez Publicado el 03 Junio (2017) Video Recuperado de
https://www.youtube.com/watch?time_continue=11&v=KOQcYAJ1R-o
Razonamiento Inductivo y tarea 4 luzmilare Publicado el 31 Mayo de 2017 Recuperado de
https://www.youtube.com/watch?v=7L_sC0onpXw
Villalpando, B. J. F. (2014). Matemticas discretas: aplicaciones y ejercicios. : Larousse -
Grupo Editorial Patria. Pginas 34 - 37. Recuperado de
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?ppg=30&docID=110135
70&tm=1492518308189
Chvez, C. P. (2000). Compendio de lgica. : Larousse - Grupo Editorial Patria. Pginas
163-166. Recuperado de
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?ppg=178&docID=11046
000&tm=1492520104862
Prez, A. R. (2013). Una introduccin a las matemticas discretas y teora de grafos.
Crdoba, AR: El Cid Editor. Pginas 3-22. Recuperado de
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?ppg=20&docID=107324
85&tm=1492519941380

También podría gustarte