O slideshow foi denunciado.
Utilizamos seu perfil e dados de atividades no LinkedIn para personalizar e exibir anúncios mais relevantes. Altere suas preferências de anúncios quando desejar.

Trabajo de estructura discreta

254 visualizações

Publicada em

  • Seja o primeiro a comentar

  • Seja a primeira pessoa a gostar disto

Trabajo de estructura discreta

  1. 1. UNIVERSIDAD FERMIN TORO ESCUELA DE INGENIERIA CABUDARE ESTADO LARAEstructura discreta INTEGRANTE: Naudy Hernandez C.I.: 22322487
  2. 2. 1. una proposición.Es un conjunto declarativo del cual tiene sentido decir que es verdadero o que es falso,pero no ambas cosas simultáneamente. No es necesario saber de antemano que el juicioes verdadero o falso, lo único que se requiere es que sea o lo uno o lo otro, aunque no seconozca cual de los dos casos es2. conectivos lógicos de una proposición.Conjunción, Negación, Disyunción (inclusiva), Disyunción exclusiva, Condicional, bicondicional3. formas proposicionales. tautologías Contradicciones Falacia
  3. 3. leyes del Álgebra proposicional.1. EQUIVALENCIA P⇔P2. INDEPOTENCIA P∧P ⇔P P∨ P ⇔P3. ASOCIATIVA P∨Q ∨R ⇔ (P∨Q) ∨R ⇔ P∨(Q∨R) P∧Q ∧R ⇔ (P∧Q) ∧R ⇔ P∧(Q∧R)4. CONMUTATIVA P∧Q⇔ Q∧P P∨Q⇔ Q∨P5. DISTRIBUTIVAS P∧(Q∨R)⇔ (P∧Q)∨(P∧R) P∨(Q∧R)⇔(P∨Q)∧(P∨R)6. IDENTIDAD P∧F ⇔ F P∧V⇔ P P∨F⇔ P P∨V⇔V
  4. 4. 7. COMPLEMENTO P∧¬P⇔F P∨¬P⇔V ¬(¬P)⇔P ¬F⇔V ¬V⇔F8. DE MORGAN ¬(P∧Q)⇔ ¬P∨¬Q ¬(P∨Q)⇔¬P∧¬Q9. ABSORCION P∧(P∨Q)⇔P métodos de demostración en Matemática e Ingeniería. La demostración es un razonamientoo serie de razonamiento queprueba la validez de unnuevoconocimiento estableciendo sus conexiones necesarias con otros conocimientos.Cuando un conocimientoqueda demostrado, entonces se le reconoce como válido y es admitidodentro de la disciplina correspondiente.Lademostración es el enlace, entre los conocimientos recién adquiridos y el conjunto de losconocimientos anteriores.Elenlace entre los conocimientos recién adquiridos y los anteriores está constituidos por unasucesión finita deproposiciones que o bien son postulados o bien son conocimientos cuya validezse ha inferido de otras proposiciones,mediante operaciones lógicas perfectamente coordinadas.La demostración permite explicar unos conocimientos porotros y por tanto es una pruebarigurosamente racional.Sabemos que todas las proposiciones de una teoríamatemática se clasifican en dos tipos: lasaceptadas sin demostración que son las definiciones (donde no hay nada pordemostrar) y loso (que se toman como proposiciones de partida) y las deducidas, llamadas (que son proposicionescuya
  5. 5. validez ha sido probada).No siempre tenemos evidencia directa de la validez de unteorema. Eso depende enparte sugrado de complejidad y de nuestra mayor o menorfamiliaridad con su contenido.Un teorema requieredemostración cuando no hayevidencia de su validez.Estructura de la demostraciónLa demostración consta detres partes:a) El conocimiento que se trata de demostrar, es decir la proposición(teorema)cuya validez setrata de probar.b) Los fundamentos empleados como basede la demostración.c) El procedimiento usado para lograr que elconocimiento quededemostrado.Los procedimientos de demostración permiten establecer la conexiónlógica entrelosfundamentos y sus consecuencias sucesivas, hasta llegar comoconclusión final a la tesis que así se demuestra.Una tesis puede ser demostradamediante distintos procedimientos.Tipos de demostración Consideremos unademostración como un argumento que nos muestra que una proposicióncondicionaldela forma es lógicamente verdadera (es decir, verdadera en todos loscososposibles) donde es la o conjunción de laspremisas y es la conclusión deargumento.Luego, si en el enunciado de un teorema se incluyen explícitamentelasproposiciones de partida,éste afirma que partiendo de cierta hipótesis se puededemostrar otra proposiciónllamada.Los procedimientos utilizados en lademostración están constituidos por distintas formas de deducción oinferencia y sepuede clasificar en varios tipos los cuales serán estudiados se paradamente. Losprincipales tipos dedemostración son:a) Demostración directa.b) Demostraciónindirecta.
  6. 6. 4. red de circuitos lógicos de una forma proposicional. (p ^ q) v [(p ^ r) v ~s)]

×