SlideShare a Scribd company logo
1 of 6
UNIVERSIDAD FERMIN TORO

      ESCUELA DE INGENIERIA

     CABUDARE ESTADO LARA




Estructura discreta




                       INTEGRANTE: Naudy Hernandez

                                      C.I.: 22322487
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 juicio
es verdadero o falso, lo único que se requiere es que sea o lo uno o lo otro, aunque no se
conozca cual de los dos casos es




2. conectivos lógicos de una proposición.

Conjunción, Negación, Disyunción (inclusiva), Disyunción exclusiva, Condicional, bicondicional




3. formas proposicionales.


            tautologías
            Contradicciones
            Falacia
leyes del Álgebra proposicional.



1.    EQUIVALENCIA
     P⇔P


2.   INDEPOTENCIA
     P∧P ⇔P
     P∨ P ⇔P


3.   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∨P


5.   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
7.   COMPLEMENTO
     P∧¬P⇔F
     P∨¬P⇔V
     ¬(¬P)⇔P
     ¬F⇔V
     ¬V⇔F


8.   DE MORGAN
     ¬(P∧Q)⇔ ¬P∨¬Q
     ¬(P∨Q)⇔¬P∧¬Q


9.   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
validez ha sido probada).No siempre tenemos evidencia directa de la validez de un
teorema. Eso depende enparte sugrado de complejidad y de nuestra mayor o menor
familiaridad con su contenido.Un teorema requieredemostración cuando no hay
evidencia de su validez.Estructura de la demostraciónLa demostración consta de
tres 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 base
de la demostración.c) El procedimiento usado para lograr que elconocimiento quede
demostrado.Los procedimientos de demostración permiten establecer la conexión
lógica entrelosfundamentos y sus consecuencias sucesivas, hasta llegar como
conclusión final a la tesis que así se demuestra.Una tesis puede ser demostrada
mediante distintos procedimientos.Tipos de demostración Consideremos una
demostración como un argumento que nos muestra que una proposicióncondicional
dela forma es lógicamente verdadera (es decir, verdadera en todos los
cososposibles) donde es la o conjunción de laspremisas y es la conclusión de
argumento.Luego, si en el enunciado de un teorema se incluyen explícitamente
lasproposiciones de partida,éste afirma que partiendo de cierta hipótesis se puede
demostrar    otra   proposiciónllamada.Los   procedimientos   utilizados   en   la
demostración están constituidos por distintas formas de deducción oinferencia y se
puede clasificar en varios tipos los cuales serán estudiados se paradamente. Los
principales tipos dedemostración son:a) Demostración directa.b) Demostración
indirecta.
4. red de circuitos lógicos de una forma proposicional.




                             (p ^ q) v [(p ^ r) v ~s)]

More Related Content

What's hot

Métodos de Demostración en Matemática
Métodos de Demostración en MatemáticaMétodos de Demostración en Matemática
Métodos de Demostración en MatemáticaWilbert Tapia
 
Tipos de formas de razonamiento.
Tipos de formas de razonamiento.Tipos de formas de razonamiento.
Tipos de formas de razonamiento.Gustavo Arcila Roy
 
Tautologia y contadiccion
Tautologia y contadiccionTautologia y contadiccion
Tautologia y contadicciondrakul09
 
Las primeras axiomàticas
Las primeras axiomàticasLas primeras axiomàticas
Las primeras axiomàticasGonzalodb
 
Linero demostracion matematicas(jsimon)
Linero demostracion matematicas(jsimon)Linero demostracion matematicas(jsimon)
Linero demostracion matematicas(jsimon)YomarkCarrasco
 
Filosofía de la Lógica
Filosofía de la LógicaFilosofía de la Lógica
Filosofía de la Lógicarafael felix
 
El Razonamiento y su clasificación
El Razonamiento y su clasificaciónEl Razonamiento y su clasificación
El Razonamiento y su clasificaciónPablo Flores Cabrera
 
Explicación científica
Explicación científicaExplicación científica
Explicación científicakelly mantilla
 
Conjeturas matemáticas
Conjeturas matemáticasConjeturas matemáticas
Conjeturas matemáticasDurero
 
Act. 1. metodos_de_demostracion_caracteristicas_ejemplos
Act. 1. metodos_de_demostracion_caracteristicas_ejemplosAct. 1. metodos_de_demostracion_caracteristicas_ejemplos
Act. 1. metodos_de_demostracion_caracteristicas_ejemplos_borbon
 
Métodos de demostración directa e indirecta
Métodos de demostración directa e indirectaMétodos de demostración directa e indirecta
Métodos de demostración directa e indirectapapiolo35
 
Series y sucesiones
Series y sucesionesSeries y sucesiones
Series y sucesionesJorge625260
 
Logica matematica modalidad
Logica matematica modalidad Logica matematica modalidad
Logica matematica modalidad adrianaolivera322
 
Los Fundamentos De Las MatemáTicas
Los Fundamentos De Las MatemáTicasLos Fundamentos De Las MatemáTicas
Los Fundamentos De Las MatemáTicasrafael felix
 

What's hot (20)

Formas del discurso_tema_4_5_6
Formas del discurso_tema_4_5_6Formas del discurso_tema_4_5_6
Formas del discurso_tema_4_5_6
 
El razonamiento
El razonamientoEl razonamiento
El razonamiento
 
Métodos de Demostración en Matemática
Métodos de Demostración en MatemáticaMétodos de Demostración en Matemática
Métodos de Demostración en Matemática
 
Tipos de formas de razonamiento.
Tipos de formas de razonamiento.Tipos de formas de razonamiento.
Tipos de formas de razonamiento.
 
Tautologia y contadiccion
Tautologia y contadiccionTautologia y contadiccion
Tautologia y contadiccion
 
Las primeras axiomàticas
Las primeras axiomàticasLas primeras axiomàticas
Las primeras axiomàticas
 
L
LL
L
 
Linero demostracion matematicas(jsimon)
Linero demostracion matematicas(jsimon)Linero demostracion matematicas(jsimon)
Linero demostracion matematicas(jsimon)
 
Axiomatica point salinas
Axiomatica point salinasAxiomatica point salinas
Axiomatica point salinas
 
Filosofía de la Lógica
Filosofía de la LógicaFilosofía de la Lógica
Filosofía de la Lógica
 
El Razonamiento y su clasificación
El Razonamiento y su clasificaciónEl Razonamiento y su clasificación
El Razonamiento y su clasificación
 
Explicación científica
Explicación científicaExplicación científica
Explicación científica
 
Conjeturas matemáticas
Conjeturas matemáticasConjeturas matemáticas
Conjeturas matemáticas
 
Act. 1. metodos_de_demostracion_caracteristicas_ejemplos
Act. 1. metodos_de_demostracion_caracteristicas_ejemplosAct. 1. metodos_de_demostracion_caracteristicas_ejemplos
Act. 1. metodos_de_demostracion_caracteristicas_ejemplos
 
Métodos de demostración directa e indirecta
Métodos de demostración directa e indirectaMétodos de demostración directa e indirecta
Métodos de demostración directa e indirecta
 
Silogismo jurídico
Silogismo jurídicoSilogismo jurídico
Silogismo jurídico
 
Series y sucesiones
Series y sucesionesSeries y sucesiones
Series y sucesiones
 
Logica matematica modalidad
Logica matematica modalidad Logica matematica modalidad
Logica matematica modalidad
 
Logica proporcional
Logica proporcionalLogica proporcional
Logica proporcional
 
Los Fundamentos De Las MatemáTicas
Los Fundamentos De Las MatemáTicasLos Fundamentos De Las MatemáTicas
Los Fundamentos De Las MatemáTicas
 

Viewers also liked

Campixx 2012-ladezeit-extreme
Campixx 2012-ladezeit-extremeCampixx 2012-ladezeit-extreme
Campixx 2012-ladezeit-extremeAlexander Merkel
 
Biografia fernando alonso
Biografia fernando alonsoBiografia fernando alonso
Biografia fernando alonsoantonio_96
 
Webinar Twitter Facebook 2009 12 16
Webinar Twitter Facebook 2009 12 16Webinar Twitter Facebook 2009 12 16
Webinar Twitter Facebook 2009 12 16Blogwerk AG
 
Historia de la computación 2 (117 b)
Historia de la computación 2 (117 b)Historia de la computación 2 (117 b)
Historia de la computación 2 (117 b)Sebastián Pérez
 
El cuadrilatero
El cuadrilateroEl cuadrilatero
El cuadrilateroAlejosasa
 
Learn German with Theresa - Lesson 3
Learn German with Theresa - Lesson 3Learn German with Theresa - Lesson 3
Learn German with Theresa - Lesson 3Theresa Chen
 
Schreiben im Web 07.06.12
Schreiben im Web 07.06.12Schreiben im Web 07.06.12
Schreiben im Web 07.06.12Blogwerk AG
 
Engagementplattformen im Vergleich
Engagementplattformen im VergleichEngagementplattformen im Vergleich
Engagementplattformen im Vergleichbetterplace lab
 
Presentación de los resultados de la encuesta
Presentación de los resultados de la encuestaPresentación de los resultados de la encuesta
Presentación de los resultados de la encuestavictorcmc
 
Wie Online-Trends den Stiftungssektor verändern - Teil 2
Wie Online-Trends den Stiftungssektor verändern - Teil 2Wie Online-Trends den Stiftungssektor verändern - Teil 2
Wie Online-Trends den Stiftungssektor verändern - Teil 2betterplace lab
 
Festakt_Schlitz_20101114
Festakt_Schlitz_20101114Festakt_Schlitz_20101114
Festakt_Schlitz_20101114floxoip
 

Viewers also liked (20)

Campixx 2012-ladezeit-extreme
Campixx 2012-ladezeit-extremeCampixx 2012-ladezeit-extreme
Campixx 2012-ladezeit-extreme
 
Apple
AppleApple
Apple
 
Labmetrics120512
Labmetrics120512Labmetrics120512
Labmetrics120512
 
Biografia fernando alonso
Biografia fernando alonsoBiografia fernando alonso
Biografia fernando alonso
 
Webinar Twitter Facebook 2009 12 16
Webinar Twitter Facebook 2009 12 16Webinar Twitter Facebook 2009 12 16
Webinar Twitter Facebook 2009 12 16
 
Historia de la computación 2 (117 b)
Historia de la computación 2 (117 b)Historia de la computación 2 (117 b)
Historia de la computación 2 (117 b)
 
Labmetrics Januar 2012
Labmetrics Januar 2012Labmetrics Januar 2012
Labmetrics Januar 2012
 
El cuadrilatero
El cuadrilateroEl cuadrilatero
El cuadrilatero
 
Matematicas y educacion indigena i
Matematicas y educacion indigena iMatematicas y educacion indigena i
Matematicas y educacion indigena i
 
Learn German with Theresa - Lesson 3
Learn German with Theresa - Lesson 3Learn German with Theresa - Lesson 3
Learn German with Theresa - Lesson 3
 
Normas de calidad 2010 5
Normas de calidad  2010 5Normas de calidad  2010 5
Normas de calidad 2010 5
 
Schreiben im Web 07.06.12
Schreiben im Web 07.06.12Schreiben im Web 07.06.12
Schreiben im Web 07.06.12
 
Engagementplattformen im Vergleich
Engagementplattformen im VergleichEngagementplattformen im Vergleich
Engagementplattformen im Vergleich
 
Presentación de los resultados de la encuesta
Presentación de los resultados de la encuestaPresentación de los resultados de la encuesta
Presentación de los resultados de la encuesta
 
448
448448
448
 
Gs
GsGs
Gs
 
Resumen de Prensa, 27 de marzo de 2013
Resumen de Prensa, 27 de marzo de 2013Resumen de Prensa, 27 de marzo de 2013
Resumen de Prensa, 27 de marzo de 2013
 
Wie Online-Trends den Stiftungssektor verändern - Teil 2
Wie Online-Trends den Stiftungssektor verändern - Teil 2Wie Online-Trends den Stiftungssektor verändern - Teil 2
Wie Online-Trends den Stiftungssektor verändern - Teil 2
 
Festakt_Schlitz_20101114
Festakt_Schlitz_20101114Festakt_Schlitz_20101114
Festakt_Schlitz_20101114
 
Dossier online 2014
Dossier online 2014Dossier online 2014
Dossier online 2014
 

Similar to Trabajo de estructura discreta

Estructura Discreta I
Estructura Discreta IEstructura Discreta I
Estructura Discreta Ih3ctorgb
 
Analisis estructuras discreta
Analisis estructuras discretaAnalisis estructuras discreta
Analisis estructuras discretabucanas
 
Proposiciones
ProposicionesProposiciones
Proposicionesmeryduran
 
Unidad i proposiciones
Unidad i proposicionesUnidad i proposiciones
Unidad i proposicionesJesus Montes
 
Logica de predicadoss
Logica de predicadossLogica de predicadoss
Logica de predicadossjfct2012
 
Ciencia, inducción, verificabilidad y falsación en la teoría de karl popper (1)
Ciencia, inducción, verificabilidad y falsación en la teoría de karl popper (1)Ciencia, inducción, verificabilidad y falsación en la teoría de karl popper (1)
Ciencia, inducción, verificabilidad y falsación en la teoría de karl popper (1)Yami Dede M
 
Logicamatematica herney guzman
Logicamatematica herney guzmanLogicamatematica herney guzman
Logicamatematica herney guzmanHerneyGuzman
 
Logicamatematica paula alejandra
Logicamatematica paula alejandraLogicamatematica paula alejandra
Logicamatematica paula alejandrapaula0610
 
Herney guzman logica matematica
Herney guzman logica matematicaHerney guzman logica matematica
Herney guzman logica matematicaHerneyGuzman
 
Metodos de demostracion
Metodos de demostracionMetodos de demostracion
Metodos de demostracionpuce-si
 

Similar to Trabajo de estructura discreta (20)

Estructura Discreta I
Estructura Discreta IEstructura Discreta I
Estructura Discreta I
 
Analisis estructuras discreta
Analisis estructuras discretaAnalisis estructuras discreta
Analisis estructuras discreta
 
Proposiciones
ProposicionesProposiciones
Proposiciones
 
Proposiciones
ProposicionesProposiciones
Proposiciones
 
Unidad i proposiciones
Unidad i proposicionesUnidad i proposiciones
Unidad i proposiciones
 
Lógica trabajo
Lógica trabajoLógica trabajo
Lógica trabajo
 
Logica de predicadoss
Logica de predicadossLogica de predicadoss
Logica de predicadoss
 
Ciencia, inducción, verificabilidad y falsación en la teoría de karl popper (1)
Ciencia, inducción, verificabilidad y falsación en la teoría de karl popper (1)Ciencia, inducción, verificabilidad y falsación en la teoría de karl popper (1)
Ciencia, inducción, verificabilidad y falsación en la teoría de karl popper (1)
 
Lógica proposicional
Lógica proposicionalLógica proposicional
Lógica proposicional
 
Proposiciones
ProposicionesProposiciones
Proposiciones
 
Estructura junis
Estructura junisEstructura junis
Estructura junis
 
Proyecto
ProyectoProyecto
Proyecto
 
Logicamatematica herney guzman
Logicamatematica herney guzmanLogicamatematica herney guzman
Logicamatematica herney guzman
 
Logica matematica
Logica matematicaLogica matematica
Logica matematica
 
Logica matematica
Logica matematicaLogica matematica
Logica matematica
 
Metodos de demostracion
Metodos de demostracionMetodos de demostracion
Metodos de demostracion
 
Logicamatematica paula alejandra
Logicamatematica paula alejandraLogicamatematica paula alejandra
Logicamatematica paula alejandra
 
Ernesto
ErnestoErnesto
Ernesto
 
Herney guzman logica matematica
Herney guzman logica matematicaHerney guzman logica matematica
Herney guzman logica matematica
 
Metodos de demostracion
Metodos de demostracionMetodos de demostracion
Metodos de demostracion
 

Trabajo de estructura discreta

  • 1. UNIVERSIDAD FERMIN TORO ESCUELA DE INGENIERIA CABUDARE ESTADO LARA Estructura discreta INTEGRANTE: Naudy Hernandez C.I.: 22322487
  • 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 juicio es verdadero o falso, lo único que se requiere es que sea o lo uno o lo otro, aunque no se conozca cual de los dos casos es 2. conectivos lógicos de una proposición. Conjunción, Negación, Disyunción (inclusiva), Disyunción exclusiva, Condicional, bicondicional 3. formas proposicionales. tautologías Contradicciones Falacia
  • 3. leyes del Álgebra proposicional. 1. EQUIVALENCIA P⇔P 2. INDEPOTENCIA P∧P ⇔P P∨ P ⇔P 3. 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∨P 5. 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. 7. COMPLEMENTO P∧¬P⇔F P∨¬P⇔V ¬(¬P)⇔P ¬F⇔V ¬V⇔F 8. DE MORGAN ¬(P∧Q)⇔ ¬P∨¬Q ¬(P∨Q)⇔¬P∧¬Q 9. 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. validez ha sido probada).No siempre tenemos evidencia directa de la validez de un teorema. Eso depende enparte sugrado de complejidad y de nuestra mayor o menor familiaridad con su contenido.Un teorema requieredemostración cuando no hay evidencia de su validez.Estructura de la demostraciónLa demostración consta de tres 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 base de la demostración.c) El procedimiento usado para lograr que elconocimiento quede demostrado.Los procedimientos de demostración permiten establecer la conexión lógica entrelosfundamentos y sus consecuencias sucesivas, hasta llegar como conclusión final a la tesis que así se demuestra.Una tesis puede ser demostrada mediante distintos procedimientos.Tipos de demostración Consideremos una demostración como un argumento que nos muestra que una proposicióncondicional dela forma es lógicamente verdadera (es decir, verdadera en todos los cososposibles) donde es la o conjunción de laspremisas y es la conclusión de argumento.Luego, si en el enunciado de un teorema se incluyen explícitamente lasproposiciones de partida,éste afirma que partiendo de cierta hipótesis se puede demostrar otra proposiciónllamada.Los procedimientos utilizados en la demostración están constituidos por distintas formas de deducción oinferencia y se puede clasificar en varios tipos los cuales serán estudiados se paradamente. Los principales tipos dedemostración son:a) Demostración directa.b) Demostración indirecta.
  • 6. 4. red de circuitos lógicos de una forma proposicional. (p ^ q) v [(p ^ r) v ~s)]