50métodos para Probar La Validez de Argumentos

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
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.
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

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

:
:
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
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))
Premisa 3: (S )
Premisa 4: ()
Conclusin:
(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
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
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
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
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.
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):
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
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
(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.
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

50métodos para Probar La Validez de Argumentos

Загружено:

Сведения о документе

Оригинальное название

Авторское право

Доступные форматы

Поделиться этим документом

Поделиться или встроить документ

Параметры публикации

Этот документ был вам полезен?

Это неприемлемый материал?

Авторское право:

Доступные форматы

50métodos para Probar La Validez de Argumentos

Загружено:

Авторское право:

Доступные форматы

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

Escuela: Ciencias Bsicas Tecnologa e Ingeniera Programa: Ciencias Bsicas

PASO 4 - MTODOS PARA PROBAR LA VALIDEZ DE ARGUMENTOS

CRISTIAM JAVIER OSORIO VANEGAS

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA-UNAD.

Conocer los mtodos utilizados de leyes de inferencia y razonamientos

TAREA 1: APLICACIN DE LAS REGLAS DE INFERENCIA.

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

B. Modus Tolendo Ponens, Doble Negacin y Adjuncin

Modus Tolendo Ponens, Doble Negacin y Adjuncin

Modus Tolendo Ponens

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

d: Realizamos los ejercicios de matemticas

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

Ejemplo 1: No es cierto que Papa Noel no existe

Ejemplo 2: No es vedad que los perros no ladran

p: Cuando nos ejercitamos cuidamos nuestra salud

: cuando nos ejercitamos cuidamos nuestra salud y mantenemos una linda

P: Visitare a mi abuela maana

: visitare a mi abuela maana y comer rico buuelos

implificacin, Adicin y Silogismo Disyuntivo

TAREA 2: PROBLEMAS DE APLICACIN I

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

Uso de las tablas de verdad.

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

P= Se suben las matriculas

TAREA 3: PROBLEMAS DE APLICACIN II

Expresar los siguientes enunciados en Lenguaje natural relacionada con la

Uso de las tablas de verdad.

P=si estudiamos todos los das.

Si estudiamos todos los das entonces aprendemos y seremos buenos

Validez por reglas de inferencia

TAREA 4: RAZONAMIENTO DEDUCTIVO E INDUCTIVO

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

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

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

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

En este caso MAFALDA lleva su razonamiento de algo ESPECFICO a

En este trabajo adquirimos algunos conocimientos de leyes de inferencia y

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

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

Вам также может понравиться