Welcome to Scribd, the world's digital library. Read, publish, and share books and documents. See more
Download
Standard view
Full view
of .
Save to My Library
Look up keyword
Like this
3Activity
0 of .
Results for:
No results containing your search query
P. 1
Trabajo Práctico Lógica Parte 3

Trabajo Práctico Lógica Parte 3

Ratings: (0)|Views: 608 |Likes:
Published by vivianalloret

More info:

Published by: vivianalloret on May 03, 2012
Copyright:Attribution Non-commercial

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
download as PDF, TXT or read online from Scribd
See more
See less

07/10/2013

pdf

text

original

 
Trabajo Práctico Nro. 1 Lógica ProposicionalDeterminar validez de Razonamiento
 
Prof. Lloret Viviana1
1- Indicar si las siguientes formas de razonamiento son
válidas
o
no
Los ejercicios marcados con un círculo contienen cuatro proposiciones, losresolveremos por otro método, no hacer la tabla de verdad.2- Expresar simbólicamente cada uno de los siguientes razonamientos y luegoindican si son válidos o no. Como ejemplo realizamos el primer ejercicio.a)
Si
los razonamientos tienen una estructura,
entonces
una proposiciónpuede ser premisa
o
conclusión.Una proposición es premisa.Por lo tanto,
si los razonamientos tienen una estructura, unaproposición no es conclusión.
 
Trabajo Práctico Nro. 1 Lógica ProposicionalDeterminar validez de Razonamiento
 
Prof. Lloret Viviana2
p: Los razonamientos tienen una estructura.q: Una proposición puede ser premisa.r: Una proposición puede ser conclusión.p
(q
r)qp
~rDebemos probar que el condicional asociado (conjunción de premisas implica laconclusión) es una tautología.[p
(q
r)]
q
(p
~r)Orden en que debenrealizarse las operaciones.Una vez terminada la tabla tachamos las premisas que figuran como falsas (laspremisas se encuentran resaltadas con un color celeste claro) y se encuentran enlas columnas 2 y 7. Observando el resultado final, destacado con un color más
pp
(q
r)qq
rr[p
(q
r)]
qq[p
(q
r)]
q
(p
~r)pp
~r~r
V V V V V V VFV F FV V V V F V VVV V VV V F V V F FVV F FV F F F F F FVV V VF V V V V V VVF V FF V V V F V VVF V VF V F V V F FVF V FF V F F F F FvF V v
p
 (q
r)
1º (q
 r)
3º [p
(q
r)]
q5(Resultadofinal)
4
p
~r
 
 
12 3 45
 
Trabajo Práctico Nro. 1 Lógica ProposicionalDeterminar validez de Razonamiento
 
Prof. Lloret Viviana3
oscuro, vemos que en dicha columna figura V y F, por lo tanto concluimos que el
razonamiento no es válido
(No hemos obtenido una Tautología)b) Si Argentina manda tropas a Haití, será el único país latinoamericano que lohaga. Si Argentina manda tropas a Haití, los argentinos residentes en esepaís están en peligro. Argentina manda tropas a Haití.Luego
, Argentina es el único país latinoamericano que manda tropas aHaití y los argentinos residentes están en peligro.
Las proposiciones que encontramos en este segundo ejemplo son:p: Argentina manda tropas a Haitíq: Argentina es el único país latinoamericano que manda tropas a Haití.r: Los argentinos residentes en ese país están en peligrop
q
(Observar que la coma que figura antes de
será el único 
. reemplaza a
entonces
…)
 
p
rpq
rDemostraremos dicho razonamiento por el modo Directo:1.
p
es Verdadera por ser premisa (tercera premisa).2. Como
p
q
es Verdadera por ser premisa y
p
es Verdadera, ello quieredecir que
q
debe ser
Verdadera
, ya que en caso contrario la premisa p
qsería falsa y no es posible porque es premisa.3. Del mismo modo
r
debe ser
Verdadera
para que la premisa
p
r
seaVerdadera.4. Como tanto
q
como
r
son verdaderas (por lo indicado en 2. y 3.) luego
q
r
 (Conclusión) es verdadera, por lo tanto el razonamiento es
válido.
 Demuestra la validez de este razonamiento por tabla de verdad.

You're Reading a Free Preview

Download
/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->