7/17/2019 Matemáticas Discretas ISC (2)
http://slidepdf.com/reader/full/matematicas-discretas-isc-2 1/4
Matemáticas Discretas ISC
Integrantes:Martinez Cervantes Gerardo
Alvarado Godínez Edson
Presentación Patrocinada por wwwgo!"com
7/17/2019 Matemáticas Discretas ISC (2)
http://slidepdf.com/reader/full/matematicas-discretas-isc-2 2/4
Argumentos válidos y no válidos
#n arg"mento es "na sec"encia de a$irmaciones%odas las a$irmaciones e&cepto la 'ltima se llamarán premisas( o s"posicioneso )ipótesis *a declaración $inal se llamará concl"sión Diremos +"e "narg"mento es arg"mento válido si para c"al+"ier valor de las varia,lesproposicionales invol"cradas en las $órm"las +"e )acen verdaderas laspremisas( tam,i-n la concl"sión es verdadera
7/17/2019 Matemáticas Discretas ISC (2)
http://slidepdf.com/reader/full/matematicas-discretas-isc-2 3/4
Argumentos válidos y no válidos
De la propia de$inición de arg"mento válido se p"ede ded"cir "nametodología para veri$icar la validez de "n arg"mento:
. Identi$icar las premisas / la concl"sión0 Constr"ir "na ta,la de verdad +"e incl"/a las premisas / la concl"sión1 Se2alar de la ta,la sólo a+"ellos renglones +"e )acen +"e todas las premisassean verdaderas Estos se llamarán renglones críticos3 4eri$icar +"e para los renglones críticos( la concl"sión es verdaderaEntal casose tiene "n Arg"mento válido ó6 Detectar si e&iste "n renglón crítico con concl"sión $alsaEn c"/o caso se diráArg"mento inválido
Recommended