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 or section
Like this
55Activity

Table Of Contents

0 of .
Results for:
No results containing your search query
P. 1
Guia General - Matemáticas Discretas I

Guia General - Matemáticas Discretas I

Ratings:

4.75

(4)
|Views: 5,046 |Likes:
Published by clelia_3p

More info:

Published by: clelia_3p on Jan 17, 2009
Copyright:Attribution Non-commercial

Availability:

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

10/10/2013

 
Universidad Central de VenezuelaFacultad de CienciasEscuela de Computación
Lecturas en Ciencias de la Computación 
ISSN 1316-6239 
Guía de Matemáticas Discretas I
Prof. Marlliny Monsalve
ND 2007-02
Centro CCCTCaracas, Abril, 2007.
 
Universidad Central de VenezuelaFacultad de CienciasEscuela de Computaci´onCentro de C´alculo Cient´ıfico y Tecnol´ogico
Nota de Docencia paraMateaticas Discretas I
Realizado por:Prof. Marlliny Monsalve L.
Caracas, Abril de 2007
 
Contenido
1 De qu´e trata la L´ogica? 42 ogica proposicional 5
2.1 Conexiones ogicas . . . . . . . . . . . . . . . . . . . . . . . . . . . 72.1.1 Negaci´on . . . . . . . . . . . . . . . . . . . . . . . . . . . . 72.1.2 Conjunci´on . . . . . . . . . . . . . . . . . . . . . . . . . . . 82.1.3 Disyunci´on . . . . . . . . . . . . . . . . . . . . . . . . . . . 92.1.4 Condicional . . . . . . . . . . . . . . . . . . . . . . . . . . . 102.1.5 Bicondicional . . . . . . . . . . . . . . . . . . . . . . . . . . 122.2 Reglas de formaci´on . . . . . . . . . . . . . . . . . . . . . . . . . . 132.2.1 Agrupacon y par´entesis . . . . . . . . . . . . . . . . . . . . 142.3 Traducci´on del lenguaje natural al lenguaje de la L´ogica . . . . . . 15
3 Equivalencia l´ogica 18
3.1 Tautolog´ıa y Contradicci´on . . . . . . . . . . . . . . . . . . . . . . 183.2 Leyes de equivalencia l´ogica . . . . . . . . . . . . . . . . . . . . . . 193.3 Equivalencia y simplificaci´on . . . . . . . . . . . . . . . . . . . . . 223.4 Circuitos ogicos . . . . . . . . . . . . . . . . . . . . . . . . . . . . 253.4.1 Circuito negaci´on . . . . . . . . . . . . . . . . . . . . . . . . 253.4.2 Circuito conjuncon . . . . . . . . . . . . . . . . . . . . . . 263.4.3 Circuito disjunci´on . . . . . . . . . . . . . . . . . . . . . . . 26
4 Implicaci´on l´ogica 29
4.1 Argumentacon l´ogica . . . . . . . . . . . . . . . . . . . . . . . . . 294.1.1 Argumentos alidos . . . . . . . . . . . . . . . . . . . . . . 304.1.2 Argumentos inalidos . . . . . . . . . . . . . . . . . . . . . 324.2 Reglas de inferencia l´ogica . . . . . . . . . . . . . . . . . . . . . . . 334.3 M´etodos para probar la validez de un argumento . . . . . . . . . . 344.3.1 Prueba por tablas de verdad . . . . . . . . . . . . . . . . . 354.3.2 Prueba por equivalencias ogicas . . . . . . . . . . . . . . . 364.3.3 Prueba por argumentacon directa . . . . . . . . . . . . . . 37
1

Activity (55)

You've already reviewed this. Edit your review.
Mariana Guzman added this note
activa la opción para descargarlo, tiene muy buena información
Lucas Diaz liked this
1 thousand reads
1 hundred reads
Eduardo Matus liked this
Martha Espinoza liked this
Martha Espinoza liked this
Ana Arroyo liked this
jose liked this

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)//-->