Vous êtes sur la page 1sur 17

Universidad Nacional Abierta y a Distancia UNAD - Vicerrectora Acadmica y de Investigacin - VIACI

Escuela: Ciencias Bsicas Tecnologa e Ingeniera Programa: Ciencias Bsicas


Curso: Lgica Matemtica Cdigo: 90004

LOGICA MATEMATICA

PASO 4 - MTODOS PARA PROBAR LA VALIDEZ DE ARGUMENTOS

TRABAJO COLABORATIVO

CRISTIAM JAVIER OSORIO VANEGAS


N GRUPO: 90004_50

TUTOR

ALVARO BASTIDAS

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA-UNAD.

2017
Universidad Nacional Abierta y a Distancia UNAD - Vicerrectora Acadmica y de Investigacin - VIACI
Escuela: Ciencias Bsicas Tecnologa e Ingeniera Programa: Ciencias Bsicas
Curso: Lgica Matemtica Cdigo: 90004

INTRODUCCION
En esta unidad se desarrollarn las temticas de leyes de inferencia y
razonamientos deductivos e inductivos como tambin se usara para apoyo de
este trabajo el Uso del simulador Truth Table y la tabla de verdad.

OBJETIVOS
General:

Conocer los mtodos utilizados de leyes de inferencia y razonamientos


deductivos e inductivos.

Especficos:
Analizar cada uno de los temas a desarrollar.
Identificar cada una de las leyes de inferencia y razonamiento deductivos.
Desarrollar los puntos propuestos siguiendo los enlaces propuestos en el
entorno del conocimiento.
Universidad Nacional Abierta y a Distancia UNAD - Vicerrectora Acadmica y de Investigacin - VIACI
Escuela: Ciencias Bsicas Tecnologa e Ingeniera Programa: Ciencias Bsicas
Curso: Lgica Matemtica Cdigo: 90004

TAREA 1: APLICACIN 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:

B. Modus Tolendo Ponens, Doble Negacin y Adjuncin


Universidad Nacional Abierta y a Distancia UNAD - Vicerrectora Acadmica y de Investigacin - VIACI
Escuela: Ciencias Bsicas Tecnologa e Ingeniera Programa: Ciencias Bsicas
Curso: Lgica Matemtica Cdigo: 90004

Modus Tolendo Ponens, Doble Negacin y Adjuncin

Modus Tolendo Ponens

Ejemplo 1: voy al parque o voy al cine ya que no voy al parque, por consiguiente,
voy al cine.

d: Voy al parque
h: Voy al cine
1. h
2.

Ejemplo 2: realizamos los ejercicios de matemticas o vamos a jugar al parque,


ya que no realizaremos los ejercicios de matemticas, por lo tanto, vamos a jugar
al parque.

d: Realizamos los ejercicios de matemticas


h: Vamos a jugar al parque

1. h
2.

Doble Negacin

La doble negacin es el teorema que afirma que "Si un enunciado es verdadero,


entonces no es el caso de que la declaracin no es cierta."

()

Ejemplo 1: No es cierto que Papa Noel no existe


Universidad Nacional Abierta y a Distancia UNAD - Vicerrectora Acadmica y de Investigacin - VIACI
Escuela: Ciencias Bsicas Tecnologa e Ingeniera Programa: Ciencias Bsicas
Curso: Lgica Matemtica Cdigo: 90004

:
:

Ejemplo 2: No es vedad que los perros no ladran

:
:

Adjuncin


Ejemplo1:

p: Cuando nos ejercitamos cuidamos nuestra salud


q: Mantenemos una linda figura

: cuando nos ejercitamos cuidamos nuestra salud y mantenemos una linda


figura

Ejemplo 2:

P: Visitare a mi abuela maana


q: Comer ricos buuelos

: visitare a mi abuela maana y comer rico buuelos

implificacin, Adicin y Silogismo Disyuntivo


Simplificacin Disyuntiva, Absorcin y Ley de Morgan
Distributiva, Exportacin, y Contraposicin
Universidad Nacional Abierta y a Distancia UNAD - Vicerrectora Acadmica y de Investigacin - VIACI
Escuela: Ciencias Bsicas Tecnologa e Ingeniera Programa: Ciencias Bsicas
Curso: Lgica Matemtica Cdigo: 90004

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.

(Solo selecciona uno de los 5 ejercicios e informa en el foro cual escogi, para que
no sea escogido por otro integrante)

c. El consejo directivo de una Universidad, preocupado por el nmero de


estudiantes sin matricular, realiza un anlisis de este fenmeno y encuentra
la siguiente situacin. Si se suben las matrculas, HABR retiros masivos.
Si hay retiros masivos, ENTONCES el rector debe replantear el aumento en
las matrculas O la universidad se cerrar. Si la universidad se cierra, EL
rector ser el responsable. El rector no replantear el aumento en las
matrculas Y el rector no ser despedido. EN CONSECUENCIA, no subirn
las matrculas.

P= Se suben las matriculas


Q= habr retiros masivos.
R= El rector debe replantear el aumento en las matrculas
S= La universidad se cerrar.
T= El rector ser el responsable.

(P ) (Q (R S)) (S ) ( )

Premisas:

Premisa 1: (P )
Premisa 2: (Q (R S))
Universidad Nacional Abierta y a Distancia UNAD - Vicerrectora Acadmica y de Investigacin - VIACI
Escuela: Ciencias Bsicas Tecnologa e Ingeniera Programa: Ciencias Bsicas
Curso: Lgica Matemtica Cdigo: 90004

Premisa 3: (S )
Premisa 4: ()
Conclusin:
Universidad Nacional Abierta y a Distancia UNAD - Vicerrectora Acadmica y de Investigacin - VIACI
Escuela: Ciencias Bsicas Tecnologa e Ingeniera Programa: Ciencias Bsicas
Curso: Lgica Matemtica Cdigo: 90004

(P ) (Q (R S)) (S ) ( )

p q r s t (p (r (q (r s)) (p ) (q (s (p ) (q -r -t ( ) (p ) (q -p (p ) (q
) s) (r s)) ) (r (r s)) (s
(r s)) (s
s)) (s ) ( )
) ) ( )

V V V V V V V V V V V F F F F F V
V V V V F V V V V F F F V F F F V
V V V F V V V V V V V F F F F F V
V V V F F V V V V V V F V F F F V
V V F V V V V V V V V V F F F F V
V V F V F V V V V F F V V V F F V
V V F F V V F F F V F V F F F F V
V V F F F V F F F V F V V V F F V
V F V V V F V V F V F F F F F F V
V F V V F F V V F F F F V F F F V
V F V F V F V V F V F F F F F F V
V F V F F F V V F V F F V F F F V
V F F V V F V V F V F V F F F F V
V F F V F F V V F F F V V V F F V
V F F F V F F V F V F V F F F F V
V F F F F F F V F V F V V V F F V
F V V V V V V V V V V F F F F V V
F V V V F V V V V F F F V F F V V
F V V F V V V V V V V F F F F V V
F V V F F V V V V V V F V F F V V
F V F V V V V V V V V V F F F V V
F V F V F V V V V F F V V V F V V
F V F F V V F F F V F V F F F V V
Universidad Nacional Abierta y a Distancia UNAD - Vicerrectora Acadmica y de Investigacin - VIACI
Escuela: Ciencias Bsicas Tecnologa e Ingeniera Programa: Ciencias Bsicas
Curso: Lgica Matemtica Cdigo: 90004

F V F F F V F F F V F V V V F V V
F F V V V V V V V V V F F F F V V
F F V V F V V V V F F F V F F V V
F F V F V V V V V V V F F F F V V
F F V F F V V V V V V F V F F V V
F F F V V V V V V V V V F F F V V
F F F V F V V V V F F V V V F V V
F F F F V V F V V V V V F F F V V
F F F F F V F V V V V V V V V V V
Universidad Nacional Abierta y a Distancia UNAD - Vicerrectora Acadmica y de Investigacin - VIACI
Escuela: Ciencias Bsicas Tecnologa e Ingeniera Programa: Ciencias Bsicas
Curso: Lgica Matemtica Cdigo: 90004

Truth Table

p q r s t (pq)(q(rVs))(st)(rt)p

T T T T T T
T T T T F T
T T T F T T
Universidad Nacional Abierta y a Distancia UNAD - Vicerrectora Acadmica y de Investigacin - VIACI
Escuela: Ciencias Bsicas Tecnologa e Ingeniera Programa: Ciencias Bsicas
Curso: Lgica Matemtica Cdigo: 90004

T T T F F T
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 T
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
F T T T F T
F T T F T T
F T T F F T
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 T
F F F T T T
F F F T F T
F F F F T T
F F F F F T

expression is a tautology
Universidad Nacional Abierta y a Distancia UNAD - Vicerrectora Acadmica y de Investigacin - VIACI
Escuela: Ciencias Bsicas Tecnologa e Ingeniera Programa: Ciencias Bsicas
Curso: Lgica Matemtica Cdigo: 90004

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.

(Solo selecciona uno de los 5 ejercicios e informa en el foro cual escogi, para que
no sea escogido por otro integrante)

[( ) ( ~) ( )] ( )

Proposiciones simples.

P=si estudiamos todos los das.


Q=aprendemos y seremos buenos profesionales.
R=perdemos la materia.
S=no repetimos la materia.
Universidad Nacional Abierta y a Distancia UNAD - Vicerrectora Acadmica y de Investigacin - VIACI
Escuela: Ciencias Bsicas Tecnologa e Ingeniera Programa: Ciencias Bsicas
Curso: Lgica Matemtica Cdigo: 90004

Lenguaje Natural.

Si estudiamos todos los das entonces aprendemos y seremos buenos


profesionales. Si perdemos la materia entonces repetimos la materia. Si
estudiamos todos los das no repetimos la materia entonces no repetimos la
materia y aprendemos y seremos buenos profesionales.

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

Premisas.

P(1): [( )
P(2): ( ~)
P(3): ( )
P(4): ( )

Formula:

[( ) ( ~) ( )] ( )

Validez por reglas de inferencia

P(1): ( )
P(2): ( ~)
P(3): ( )
P(4): ( )

P(5):
Universidad Nacional Abierta y a Distancia UNAD - Vicerrectora Acadmica y de Investigacin - VIACI
Escuela: Ciencias Bsicas Tecnologa e Ingeniera Programa: Ciencias Bsicas
Curso: Lgica Matemtica Cdigo: 90004

p q r s -s ( ( [( ) [( )
) ~ ) (
( ~)
( ~)
~) ( )] ( )] ( )

V v V V F V F F V F V V
V V V F V V V V F F F V
V V F V F V V V V V V V
V V F F V V V V F F F V
V F V V F F F F V F V V
V F V F V F V F F F F V
V F F V F F V F V F V V
V F F F V F V F F F F V
F V V V F V F F F F F V
F V V F V V V V F F F V
F V F V F V V V F F F V
F V F F V V V V F F F V
F F V V F V F F F F F V
F F V F V V V V F F F V
F F F V F V V V F F F V
F F F F V V V V F F F V

Truth Table

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

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
Universidad Nacional Abierta y a Distancia UNAD - Vicerrectora Acadmica y de Investigacin - VIACI
Escuela: Ciencias Bsicas Tecnologa e Ingeniera Programa: Ciencias Bsicas
Curso: Lgica Matemtica Cdigo: 90004

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,


argumentado la respuesta con sus propias palabras
Universidad Nacional Abierta y a Distancia UNAD - Vicerrectora Acadmica y de Investigacin - VIACI
Escuela: Ciencias Bsicas Tecnologa e Ingeniera Programa: Ciencias Bsicas
Curso: Lgica Matemtica Cdigo: 90004

(Solo selecciona uno de los 5 casos e informa en el foro cual escogi, para que no
sea escogido por otro integrante)

a. Se me presenta la siguiente situacin: el restaurante al que siempre acudo,


encuentro que uno y otro mircoles, aparentemente sin excepcin el plato
principal del almuerzo es arroz con pollo. Entonces decid que no almorzara
ah los mircoles, porque los mircoles sirven arroz con pollo y a m no me
gusta.

b. La fuerza de gravedad atrae a todos los objetos hacia el centro de la tierra


con una fuerza y aceleracin constantes. Al soltar un martillo de 5 kilogramos,
desde una altura de 10 metros, tarda aproximadamente un segundo en llegar
al suelo. Al soltar una pluma de 0,05 kilogramos desde una altura de 10
metros tarda aproximadamente un segundo en llegar al suelo.
Independientemente del peso, todos los objetos son atrados con la misma
fuerza y tardan el mismo tiempo en llegar al suelo.

c. Explica la conclusin a la que llega Mafalda, de acuerdo a la caricatura.


Explica el mtodo de razonamiento (inductivo o deductivo) utilizado.

En este caso MAFALDA lleva su razonamiento de algo ESPECFICO a


algo GENERL, por lo tanto MAFALDA est empleando un razonamiento
INDUCTIVO.
Observa varios ejemplos o sucesos que puede observar en su casa puede
ser y os transfiere a algo GENERAL para todas las mujeres.
Este tipo de razonamiento es muy IMPRECISO, pero es el punto de partida
para muchas observaciones.
Universidad Nacional Abierta y a Distancia UNAD - Vicerrectora Acadmica y de Investigacin - VIACI
Escuela: Ciencias Bsicas Tecnologa e Ingeniera Programa: Ciencias Bsicas
Curso: Lgica Matemtica Cdigo: 90004

CONCLUSIONES

En este trabajo adquirimos algunos conocimientos de leyes de inferencia y


razonamientos deductivos e inductivos, llegando al desarrollo de cada uno de los
objetivos propuestos en este trabajo.
Podemos concluir que para resolver las temticas correspondiente sobre los topis
de razonamiento las podemos demostrar con tablas de verdad y reglas de
inferencia.

REFERENCIA BIBLIOGRAFICA

Villalpando, B. J. F. (2014). Matemticas discretas: aplicaciones y


ejercicios. : Larousse - Grupo Editorial Patria. Pginas 29 38. Recuperado
de: http://hdl.handle.net/10596/6544

Rodrguez, V. R. (2013). Conjuntos numricos, estructuras algebraicas y


fundamentos de lgebra lineal. Volumen I: conjuntos numricos,
complementos. Madrid, ES: Editorial Tbar Flores. Pginas 17-29.
Recuperado de: http://hdl.handle.net/10596/6534