UNIDAD 2: PASO 4.

MTODOS PARA PROBAR LA VALIDEZ DE ARGUMENTOS

LOGICA MATEMATICA

DIEGO ARMANDO NARVEZ BASTIDAS

CODIGO

90004 - 297

PRESENTADO A TUTORA

CAROLINA CASTAO

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

ESCUELA DE CIENCIAS AGRCOLAS Y PECUARIAS Y DEL MEDIO

PROGRAMA DE ZOOTECNIA

CEAD PASTO

MAYO 2017
 ACTIVIDAD
UNIDAD 2: PASO-4-MTODOS PARA PROBAR LA VALIDEZ DE ARGUMENTOS

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.

d. Simplificacin Disyuntiva, Absorcin y Ley de Morgan

Simplificacin disyuntiva:

Esta ley nos permite pasar de dos premisas a la conclusin, esta regla se aplica siempre que se d
una proposicin condicional y se d precisamente el consecuente. La misma regla se aplica tanto
si el antecedente y consecuente es una proposicin atmica como molecular:

Ejemplo 1.

PQ (1) P V M --- T & Q

P (2) P V M

.: Q .: (3) T & Q PP 1.2

Ejemplo 2

Si esta planta no crece, entonces o necesita ms agua o necesita mejor abono. Esta planta no
crece.

P: esta planta no crece

Q: necesita ms agua

A: necesita mejor abono

P Q V A

.: Q V A

En palabras podemos decir que esta planta necesita ms agua o ms abono.

Ley de Absorcin.

Se llama ley de absorcin porque da la apariencia que Q es absorbido por P. Para reconocer que
una preposicin de absorcin es fcil, se debe fijar en los conectores lgicos, el segundo conector
debe ser opuesto al primero. Ejemplo: ^(V) =

Segn el enunciado anterior, la P es dominante ante las dems preposiciones por la funcin de los
(), por lo tanto, las preposiciones son iguales a: P

P V (P^Q) P

P ^ (PVQ) P

Otro concepto, es la ley de absorcin por transitividad, el cual se conmutan los conectores
lgicos y no cambia el resultado.

P y (P o Q) P o (P y Q)

Ejemplo1. [PVQ)^] P

[Q^P] P

Ejemplo 2

Si estudio aprendo

Estudio, luego aprendo y estudio

pq

p (q p)

Ley de Morgan

Declara que la suma de n variables globalmente negadas (o invertidas) es igual al producto de las
n variables negadas individualmente; y que inversamente, el producto de n variables globalmente
negadas es igual a la suma delas n variables negadas individualmente.

(AVB) (A)^(B)

Esta Ley nos dice que la negacin global de dos o ms premisas unidas, es equivalente a la
negacin de dichas premisas en forma individual y viceversa.

Ejemplo 1. .: La negacin de: Si Karen sale o Francisco compra un obsequio (KvF)

Karen no sale y Francisco no compra el obsequio. (K)^(F)

Ejemplo 1:

Premisa 1: p (q r)

Premisa 2: ~ r

Conclusin: (p q)(p q)

Ejemplo 2.

Esta ley permite transformar una disyuncin en una conjuncin, y viceversa, es decir, una
conjuncin en una disyuncin. Cuando se pasa de una a otra, se cambian los valores de
afirmacin y negacin de los trminos de la disyuncin/conjuncin as como de la propia
operacin en conjunto, como podemos observar aqu:

pqpVq
(p V q) (p q)

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.

d. La Escuela de Ciencias Bsicas Tecnologas e Ingenieras ECBTI de la UNAD realiz como

evento disciplinar unas Olimpiadas Matemticas Virtuales. El Lder Nacional de la Escuela le ha
informado al Decano Nacional de Escuela como fue la premiacin, el primer lugar recibir un
computador porttil, el segundo lugar recibir una Tablet y el tercer lugar recibir una coleccin
de libros de matemticas Schaun; para dicho fin el lder Nacional hizo el siguiente razonamiento:
Si Ximena se gan el computador entonces Johan recibi la Tablet o Ricardo fue quien recibi
la Tablet. Si Johan fue quien recibi la Tablet, entonces Ximena no obtuvo como premio el
computador. Si Carlos fue quien recibi la Tablet entonces Ricardo no fue quien recibi la
Tablet. Ximena se gan el computador. Por lo tanto, Carlos no fue quien recibi la Tablet.

pX= Ximena se gan el computador

qJ= Johan recibi la Tablet
R= Ricardo recibi la Tablet
sC= Carlos recibi la Tablet

{[x (jvr)]^[j (x)]^[c (r)]^x} c

Uso de las tablas de verdad

Uso de las reglas de inferencia

X= Ximena se gan el computador

J= Johan recibi la Tablet
R= Ricardo recibi la Tablet
 C= Carlos recibi la Tablet
X: Ximena no se gan el computador.
-R: Ricardo no recibi la Tablet.
-C: Carlos no recibi la Tablet.

1. x
2. x(j)
3. jx
4. c
5. (jx)(c)
6. (jx)(c)x
7. [x(j)](jx)(s)x
8. {[x(j)](jx)(s)x} c

Tabla de verdad:

X J R C 1 2 3 4 5 6 7 8
V V V V V V F F F F F V
V V V F V V F V F F F V
V V F V V V F V F F F V
V V F F V V F V F F F V
V F V V V V V F F F F V
V F V F V V V V V V V V
V F F V F F V V V V F V
V F F F F F V V V V F V
F V V V V V V F F F F V
F V V F V V V V V F F V
F V F V V V V V V F F V
F V F F V V V V V F F V
F F V V V V V F F F F V
F F V F V V V V V F F V
F F F V F V V V V F F V
F F F F F V V V V F F V

Comprobacin aplicando la regla de inferencia:

1. x
2. x(j)
3. jx
4. c
_______________________
5. j PP 1 - 2
6. rc Ley de contraposicin 4
7. x c Silogismo disyuntivo 5 - 3 - 6
8. c Tollendo ponens 1 - 7
 Con las leyes de inferencia, la conclusin seria Carlos no gano la Tablet

Uso del simulador Truth Table.

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.

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

Uso de las tablas de verdad

P Q (pq) ( r s) ( p s ) (s q )
R S
V V V V V F F F V V V
V V V F V V V F F V F
V V F V V F V V V V V
V V F F V F V F F V F
V F V V F F F F V V F
V F V F F F V F F V F
V F F V F F V V V V F
V F F F F F V F F V F
F V V V V F F F F V V
F V V F V F V F F V F
F V F V V F V F F V V
F V F F V F V F F V F
F F V V F F F F F V F
F F V F F F V F F V F
F F F V F F V F F V F
F F F F F F V F F V F

Uso de las reglas de inferencia

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

1. p q
2. r s
3. p s
4. s q
5. ( p q ) ( r s )
6. ( r s ) ( p s )
7.[ ( p q ) ( r s ) ( p s ) ]
8.[ ( p q ) ( r s ) ( p s ) ] ( s q )

Se conoce como inferencia inductiva, porque va de lo particular a lo general y es la ley

general que se obtiene de la observacin de uno o ms casos y no se puede asegurar que
la conclusin sea verdadera en general.

Uso del simulador Truth Table

Tarea 4: Razonamiento Deductivo e Inductivo

d. Los msculos de los brazos son de fibras estriadas que responden a los impulsos voluntarios
de la corteza parietal del lado opuesto. Cuando existen lesiones en la regin parietal, se pierde el
control de algunos msculos voluntarios, entre otros, del brazo. Despus del accidente donde el
paciente recibi un golpe en la cabeza, perdi el control del movimiento de sus brazos, as que es
muy probable que tenga una lesin en la corteza parietal.

El anterior enunciado, se refiere a un razonamiento deductivo; parte de un anlisis general

explicativo de una situacin, y luego obtiene conclusiones para un caso particular aduciendo
argumentos.