Paso 4 Mtodos para probar la validez de argumentos.

Faiver cabrera vanegas

1081699831
Lgica Matemtica 90004A-360

Tutor
Juan Manuel Cortes

Universidad Nacional Abierta y a Distancia UNAD

CCAV Pitalito
 d. Simplificacin Disyuntiva, Absorcin y Ley de Morgan

LEYES DE MORGAN (DM)

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:

p q pVq

___________ ____________

(p V q) (p q)

Ejemplo: Modifique la siguiente expresin mediante el uso de los teroremas de Morgan

Ejercicio: Reduzca la expresin

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

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.

Analisis del enunciado

Si Ximena se gan el computador entonces Johan recibi la Tableto Ricardo fue
quien recibi la Tablet. Si Ximena fue quien recibi la Tablet, entonces Ximena no
obtuvo como premio el computador. Si Carlos fue quien recibi la Tabletentonces
Ricardo no fue quien recibi la Tablet. Ximena se gan el computador. Por lo tanto,
carlos no fue quien recibi la Tablet

Declaracin de proposiciones
Ximena se gan el computador
Johan recibi la Tablet
Ricardo fue quien recibi la Tablet
Ximena fue quien recibi la Tablet
Ximena no obtuvo como premio el computador
Carlos fue quien recibi la Tablet
Ricardo no fue quien recibi la Tablet
Carlos no fue quien recibi la Tablet

p: Ximena se gan el computador

q: Johan recibi la Tablet

r: Ricardo fue quien recibi la Tablet

s: Ximena fue quien recibi la Tablet

t: Carlos fue quien recibi la Tablet

Declaracin de premisas

Premisa 1: p ( q r )

Premisa 2: s p

Premisa 3: ( t r ) p

Conclusin: t

Declaracin de proposiciones compuestas

Si p entonces q o r. Si s, entonces p. Si t entonces r. p. Por lo tanto, t

q r

p ( ( s p ) (t r ) p } t

{

Verificacin en la tabla de la verdad

p q r s t t qr s p t r p (q r ) qr
p r p ( ( s p )

V V V V V F F F V F F V F
V V V V F F F V V F V V F
V V V F V F F F V V F V V
V V V F F F F V V V V V V
V V F V V F V F V F V V F
V V F V F F V V V F V V F
V V F F V F V F V V V V V
V V F F F F V V V V V V V
V F V V V F F F V F F V F
V F V V F F F V V F V V F
V F V F V F F F V V F V V
V F V F F F F V V V V V V
V F F V V F V F F F V F F
V F F V F F V V F F V F F
V F F F V F V F F V V F F
V F F F F F V V F V V F F
F V V V V V F F V V F V V
F V V V F V F V V V V V V
 F V V F V V F F V V F V V
F V V F F V F V V V V V V
F V F V V V V F V V V V V
F V F V F V V V V V V V V
F V F F V V V F V V V V V
F V F F F V V V V V V V V
F F V V V V F F V V F V V
F F V V F V F V V V V V V
F F V F V V F F V V F V V
F F V F F V F V V V V V V
F F F V V V V F F V V V V
F F F V F V V V F V V V V
F F F F V V V F F V V V V
F F F F F V V V F V V V V

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

d. {[ p ( q r ) ] ( s q ) (t r ) ( p t ) }q

Solucion del apartado (a.2): Calculo de una forma normal

conjuntiva de:

(p q r) (p (q r))

(p (q r)) (p (q r)) [por (2)]

(p (q r)) (p q r) [por (3)]

(p (q r)) (p q r) [por (3) y (5)]

(p (q r)) (p q r) [por (5)]

(p p q r) (q r p q r) [por (7)]

VV

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

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.

Respuesta

Es un ejemplo deductivo , ya que es una cadena de principios generales y

especficos con teoremas de fsica y qumica o en este caso deducciones
matematicas.