SlideShare una empresa de Scribd logo
1 de 6
Aspectos Importantes:

¿Qué es una proposición?

Son enunciados cuyos contenidos está sujeto a ser “verdadero” (1) o “falso” (0) pero
no ambas a su vez. Las cuales son representadas de esta manera ( P,Q,R,S,T).

Entre los tipos de enunciados están:

       Los de tipo interrogativo (preguntas)
       Los de tipo imperativo (ordenes)
       Los de declarativos (los cuales podemos decir si son V o F).

Para poder    llevar a cabo la construcción o simplemente la unión de estas
proposiciones usamos algo llamados conectivos lógicos, en tal caso de no poseer
conectivos diremos que es una proposición simple o anatómica.



                                Conectivos Lógicos

       NOMBRE                          SIMBOLO                TRADUCCION
       Negación                           ~                   No, no es el caso
      Conjunción                          ^                          y
  Disyunción inclusiva                    v                          o
  Disyunción exclusiva                    v                        o…o
      Condicional                         ®                    Si… entonces
     Bicondicional                        «                     Si y solo si
Para identificar las distintas formas proposicionales nos topamos con algo llamadas
“Tablas   de verdad” las cuales permiten determinar el valor de verdad de una
proposición compuesta y depende de las proposiciones simples y de los operadores
que contengan.

                                Tablas de verdad:
Tautología: Es una forma proposicional que es verdadera para cualquier valor lógico
que tomen sus variables proposicionales, es decir que la tabla de verdad bajo el
contenido principal solo aprecen 1 (V), La construcción de una tabla de verdad es
un método efectivo para determinar si una fórmula cualquiera es una tautología o no.



Ejemplo:




Contradicción: Es una proposición de una contradicción, es cuando en su tabla de
verdad la columna principal aparece 0 y 1 (F y V).
ALGEBRA DE PROPOCICIONES



Existen abundantes equivalencias lógicas. Sin embargo todas estas pueden deducirse
a partir de unas pocas equivalencias fundamentales al cual llamaremos algebra de
proposiciones:
CIRCUITOS LOGICOS

Estos son expresados en forma de circuitos que también pueden ser expresados de
forma proposicional así poderlos asociar para encontrar la forma proposicional
correspondiente, también usando las leyes proposicionales podemos armar o
simplificar circuitos o viceversa desde el circuito armar la proposición.

Estos circuitos son de mucha ayuda e importancia para las carreras de ingenierías
especialmente la eléctrica y en computación ya que estos se consiguen en todos los
aparatos eléctricos ya sea un chip, un microprocesador, un televisor, celulares,
automóviles entre muchas más como también conocer su lenguaje sistemático.
Estructura Discreta

Más contenido relacionado

La actualidad más candente

La actualidad más candente (19)

Objetivo unidad 1 Estructuras Discretas - Gunther Saldivia ing computacion
Objetivo unidad 1 Estructuras Discretas  - Gunther Saldivia ing computacionObjetivo unidad 1 Estructuras Discretas  - Gunther Saldivia ing computacion
Objetivo unidad 1 Estructuras Discretas - Gunther Saldivia ing computacion
 
Formas Proposicionales
Formas ProposicionalesFormas Proposicionales
Formas Proposicionales
 
lógica propocional
lógica propocionallógica propocional
lógica propocional
 
Slideshare sergio mendez
Slideshare sergio mendezSlideshare sergio mendez
Slideshare sergio mendez
 
Logica 2009
Logica 2009Logica 2009
Logica 2009
 
Cuaderno digital de Helen Caraballo
Cuaderno digital de Helen CaraballoCuaderno digital de Helen Caraballo
Cuaderno digital de Helen Caraballo
 
Cálculo de Predicados
Cálculo de PredicadosCálculo de Predicados
Cálculo de Predicados
 
Calculo proposicional
Calculo proposicionalCalculo proposicional
Calculo proposicional
 
Leyes de algebra proposicional
Leyes de algebra proposicionalLeyes de algebra proposicional
Leyes de algebra proposicional
 
Tarea n`1
Tarea n`1Tarea n`1
Tarea n`1
 
Logica matematica
Logica matematicaLogica matematica
Logica matematica
 
Algebra tarea 1
Algebra tarea 1Algebra tarea 1
Algebra tarea 1
 
Trabajo preposiciones
Trabajo preposicionesTrabajo preposiciones
Trabajo preposiciones
 
Logica difusa
Logica difusaLogica difusa
Logica difusa
 
Simbolizacion de proposiciones
Simbolizacion de proposicionesSimbolizacion de proposiciones
Simbolizacion de proposiciones
 
Proposiciones simples-y-complejas
Proposiciones simples-y-complejasProposiciones simples-y-complejas
Proposiciones simples-y-complejas
 
Proposiciones
ProposicionesProposiciones
Proposiciones
 
Logica matematica
Logica matematicaLogica matematica
Logica matematica
 
Lógica Proposicional
Lógica ProposicionalLógica Proposicional
Lógica Proposicional
 

Similar a Estructura Discreta

Similar a Estructura Discreta (20)

Aspectos importantes. ed_unidad_1
Aspectos importantes. ed_unidad_1Aspectos importantes. ed_unidad_1
Aspectos importantes. ed_unidad_1
 
Estructura
EstructuraEstructura
Estructura
 
CALCULO PROPOSICIONAL
CALCULO PROPOSICIONALCALCULO PROPOSICIONAL
CALCULO PROPOSICIONAL
 
Capítulo i logica
Capítulo i  logicaCapítulo i  logica
Capítulo i logica
 
Luis fer
Luis ferLuis fer
Luis fer
 
Lógica proposicional
Lógica proposicionalLógica proposicional
Lógica proposicional
 
Proposición
ProposiciónProposición
Proposición
 
Lógica matemática2
Lógica matemática2Lógica matemática2
Lógica matemática2
 
unidad 1 de estructuras
unidad 1 de estructurasunidad 1 de estructuras
unidad 1 de estructuras
 
Algebra
Algebra Algebra
Algebra
 
Algebra
Algebra Algebra
Algebra
 
Aspectos resaltantes de la proposicion
Aspectos resaltantes de la proposicionAspectos resaltantes de la proposicion
Aspectos resaltantes de la proposicion
 
Lógica computacional
Lógica computacionalLógica computacional
Lógica computacional
 
Doce
DoceDoce
Doce
 
Qué es la lógica matemática
Qué es la lógica matemáticaQué es la lógica matemática
Qué es la lógica matemática
 
Capitulo2: Elementos de lógica proposicional
Capitulo2: Elementos de lógica proposicionalCapitulo2: Elementos de lógica proposicional
Capitulo2: Elementos de lógica proposicional
 
Tipos de Logica.pptx
Tipos de Logica.pptxTipos de Logica.pptx
Tipos de Logica.pptx
 
Trabajo de lógica matemática
Trabajo de lógica matemáticaTrabajo de lógica matemática
Trabajo de lógica matemática
 
Fabiorodrigueztarea1
Fabiorodrigueztarea1Fabiorodrigueztarea1
Fabiorodrigueztarea1
 
Taller de lógica en matemáticas jhon tello ;)
Taller de lógica en matemáticas jhon tello ;)Taller de lógica en matemáticas jhon tello ;)
Taller de lógica en matemáticas jhon tello ;)
 

Más de Mario Piai

Administración de operaciones
Administración de operaciones Administración de operaciones
Administración de operaciones Mario Piai
 
Refrigeracion Conceptos Basicos
Refrigeracion Conceptos BasicosRefrigeracion Conceptos Basicos
Refrigeracion Conceptos BasicosMario Piai
 
Soldadura Oxiacetilénica y SMAW
Soldadura Oxiacetilénica y SMAWSoldadura Oxiacetilénica y SMAW
Soldadura Oxiacetilénica y SMAWMario Piai
 
Parametro de maquina
Parametro de maquinaParametro de maquina
Parametro de maquinaMario Piai
 
Revista digital calculo 2
Revista digital calculo 2Revista digital calculo 2
Revista digital calculo 2Mario Piai
 
Matematica 2, Unidad I
Matematica 2, Unidad IMatematica 2, Unidad I
Matematica 2, Unidad IMario Piai
 

Más de Mario Piai (7)

Administración de operaciones
Administración de operaciones Administración de operaciones
Administración de operaciones
 
Refrigeracion Conceptos Basicos
Refrigeracion Conceptos BasicosRefrigeracion Conceptos Basicos
Refrigeracion Conceptos Basicos
 
Soldadura Oxiacetilénica y SMAW
Soldadura Oxiacetilénica y SMAWSoldadura Oxiacetilénica y SMAW
Soldadura Oxiacetilénica y SMAW
 
CAD, CAM, CAE
CAD, CAM, CAECAD, CAM, CAE
CAD, CAM, CAE
 
Parametro de maquina
Parametro de maquinaParametro de maquina
Parametro de maquina
 
Revista digital calculo 2
Revista digital calculo 2Revista digital calculo 2
Revista digital calculo 2
 
Matematica 2, Unidad I
Matematica 2, Unidad IMatematica 2, Unidad I
Matematica 2, Unidad I
 

Estructura Discreta

  • 1. Aspectos Importantes: ¿Qué es una proposición? Son enunciados cuyos contenidos está sujeto a ser “verdadero” (1) o “falso” (0) pero no ambas a su vez. Las cuales son representadas de esta manera ( P,Q,R,S,T). Entre los tipos de enunciados están: Los de tipo interrogativo (preguntas) Los de tipo imperativo (ordenes) Los de declarativos (los cuales podemos decir si son V o F). Para poder llevar a cabo la construcción o simplemente la unión de estas proposiciones usamos algo llamados conectivos lógicos, en tal caso de no poseer conectivos diremos que es una proposición simple o anatómica. Conectivos Lógicos NOMBRE SIMBOLO TRADUCCION Negación ~ No, no es el caso Conjunción ^ y Disyunción inclusiva v o Disyunción exclusiva v o…o Condicional ® Si… entonces Bicondicional « Si y solo si
  • 2. Para identificar las distintas formas proposicionales nos topamos con algo llamadas “Tablas de verdad” las cuales permiten determinar el valor de verdad de una proposición compuesta y depende de las proposiciones simples y de los operadores que contengan. Tablas de verdad:
  • 3. Tautología: Es una forma proposicional que es verdadera para cualquier valor lógico que tomen sus variables proposicionales, es decir que la tabla de verdad bajo el contenido principal solo aprecen 1 (V), La construcción de una tabla de verdad es un método efectivo para determinar si una fórmula cualquiera es una tautología o no. Ejemplo: Contradicción: Es una proposición de una contradicción, es cuando en su tabla de verdad la columna principal aparece 0 y 1 (F y V).
  • 4. ALGEBRA DE PROPOCICIONES Existen abundantes equivalencias lógicas. Sin embargo todas estas pueden deducirse a partir de unas pocas equivalencias fundamentales al cual llamaremos algebra de proposiciones:
  • 5. CIRCUITOS LOGICOS Estos son expresados en forma de circuitos que también pueden ser expresados de forma proposicional así poderlos asociar para encontrar la forma proposicional correspondiente, también usando las leyes proposicionales podemos armar o simplificar circuitos o viceversa desde el circuito armar la proposición. Estos circuitos son de mucha ayuda e importancia para las carreras de ingenierías especialmente la eléctrica y en computación ya que estos se consiguen en todos los aparatos eléctricos ya sea un chip, un microprocesador, un televisor, celulares, automóviles entre muchas más como también conocer su lenguaje sistemático.