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

7/17/2019 Matemáticas Discretas ISC (2)

http://slidepdf.com/reader/full/matematicas-discretas-isc-2 4/4

Argumentos válidos y no válidos

E7emploDetermine si el sig"iente arg"mento es válido:. p89+0 +89p1 p4+