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.
Aspectos importantes. ed_unidad_1

Más contenido relacionado

La actualidad más candente

La actualidad más candente (20)

Proposiciones simples-y-complejas
Proposiciones simples-y-complejasProposiciones simples-y-complejas
Proposiciones simples-y-complejas
 
Integrales Impropias
Integrales  ImpropiasIntegrales  Impropias
Integrales Impropias
 
Formas Proposicionales
Formas ProposicionalesFormas Proposicionales
Formas Proposicionales
 
Matematica forma indeterminada
Matematica forma indeterminadaMatematica forma indeterminada
Matematica forma indeterminada
 
Logica iii cepre uni
Logica iii cepre uniLogica iii cepre uni
Logica iii cepre uni
 
Algebra
AlgebraAlgebra
Algebra
 
Ruben Un
Ruben UnRuben Un
Ruben Un
 
Numeros complejos (2)
Numeros complejos (2) Numeros complejos (2)
Numeros complejos (2)
 
Cuantificadores
CuantificadoresCuantificadores
Cuantificadores
 
Tipos de proposiciones
Tipos de proposicionesTipos de proposiciones
Tipos de proposiciones
 
Lógica Proposicional
Lógica ProposicionalLógica Proposicional
Lógica Proposicional
 
Cuadro comparativo de ecuaciones diferenciales
Cuadro comparativo de ecuaciones diferencialesCuadro comparativo de ecuaciones diferenciales
Cuadro comparativo de ecuaciones diferenciales
 
Silogismos categóricos
Silogismos categóricosSilogismos categóricos
Silogismos categóricos
 
Ppt lógica ii. cepre uni 2017-i
Ppt lógica ii. cepre uni 2017-iPpt lógica ii. cepre uni 2017-i
Ppt lógica ii. cepre uni 2017-i
 
Diapositivas sobre Integrales Impropias
Diapositivas sobre Integrales ImpropiasDiapositivas sobre Integrales Impropias
Diapositivas sobre Integrales Impropias
 
teoremas de limites
teoremas de limitesteoremas de limites
teoremas de limites
 
Matematica 1 - Formas Indeterminadas - Lhopital
Matematica 1 - Formas Indeterminadas - LhopitalMatematica 1 - Formas Indeterminadas - Lhopital
Matematica 1 - Formas Indeterminadas - Lhopital
 
Validez Entre Proposiciones CategóRicas AtíPicas
Validez Entre Proposiciones CategóRicas AtíPicasValidez Entre Proposiciones CategóRicas AtíPicas
Validez Entre Proposiciones CategóRicas AtíPicas
 
Manual de excel UTPL
Manual de excel UTPLManual de excel UTPL
Manual de excel UTPL
 
Leyes de algebra proposicional
Leyes de algebra proposicionalLeyes de algebra proposicional
Leyes de algebra proposicional
 

Destacado

Cartaz dos organismos geneticamente modificados
Cartaz dos organismos geneticamente modificadosCartaz dos organismos geneticamente modificados
Cartaz dos organismos geneticamente modificadosTCQA_ESAG
 
Knockout js em 20 minutos
Knockout js em 20 minutosKnockout js em 20 minutos
Knockout js em 20 minutosLuis Rudge
 
Fluid bed dryer
Fluid bed dryerFluid bed dryer
Fluid bed dryerVM Sethi
 
Ns datasheet-openair-i
Ns datasheet-openair-iNs datasheet-openair-i
Ns datasheet-openair-iCraig Beak
 
Jorgemayo eje3 actividad3_final
Jorgemayo eje3 actividad3_finalJorgemayo eje3 actividad3_final
Jorgemayo eje3 actividad3_finalmayo131728
 
RH en action - Conciliation travail-famille
RH en action - Conciliation travail-familleRH en action - Conciliation travail-famille
RH en action - Conciliation travail-familleCLDEM
 
Diapositivas ds 004-2011-vivienda
Diapositivas   ds 004-2011-viviendaDiapositivas   ds 004-2011-vivienda
Diapositivas ds 004-2011-viviendaddjmvcarol
 

Destacado (9)

Cartaz dos organismos geneticamente modificados
Cartaz dos organismos geneticamente modificadosCartaz dos organismos geneticamente modificados
Cartaz dos organismos geneticamente modificados
 
Presentación1
Presentación1Presentación1
Presentación1
 
Knockout js em 20 minutos
Knockout js em 20 minutosKnockout js em 20 minutos
Knockout js em 20 minutos
 
Fluid bed dryer
Fluid bed dryerFluid bed dryer
Fluid bed dryer
 
Ns datasheet-openair-i
Ns datasheet-openair-iNs datasheet-openair-i
Ns datasheet-openair-i
 
Jorgemayo eje3 actividad3_final
Jorgemayo eje3 actividad3_finalJorgemayo eje3 actividad3_final
Jorgemayo eje3 actividad3_final
 
Avrupa Merkez Bankası (ECB)
Avrupa Merkez Bankası (ECB)Avrupa Merkez Bankası (ECB)
Avrupa Merkez Bankası (ECB)
 
RH en action - Conciliation travail-famille
RH en action - Conciliation travail-familleRH en action - Conciliation travail-famille
RH en action - Conciliation travail-famille
 
Diapositivas ds 004-2011-vivienda
Diapositivas   ds 004-2011-viviendaDiapositivas   ds 004-2011-vivienda
Diapositivas ds 004-2011-vivienda
 

Similar a Aspectos importantes. ed_unidad_1

UNIDAD I ESTRUCTURAS DISCRETAS
UNIDAD I ESTRUCTURAS DISCRETASUNIDAD I ESTRUCTURAS DISCRETAS
UNIDAD I ESTRUCTURAS DISCRETASGene Castillo
 
Capitulo_1_Logica_y_Conjuntos.pdf
Capitulo_1_Logica_y_Conjuntos.pdfCapitulo_1_Logica_y_Conjuntos.pdf
Capitulo_1_Logica_y_Conjuntos.pdfYamilaNicelLescano
 
Informe Objetivo 1: Proposiciones
Informe Objetivo 1: ProposicionesInforme Objetivo 1: Proposiciones
Informe Objetivo 1: ProposicionesOrlandoL21
 
Circuitos logicos
Circuitos logicos Circuitos logicos
Circuitos logicos ang325
 
Aspectos resaltantes de la proposicion
Aspectos resaltantes de la proposicionAspectos resaltantes de la proposicion
Aspectos resaltantes de la proposicioneglisp
 
Trabajo_calculoMarianySanchez.docx
Trabajo_calculoMarianySanchez.docxTrabajo_calculoMarianySanchez.docx
Trabajo_calculoMarianySanchez.docxmelaniepulido1
 
Proposiciones
ProposicionesProposiciones
Proposicionesmeryduran
 
Circuitos logicos -
 Circuitos logicos - Circuitos logicos -
Circuitos logicos -ang325
 
Circuitos logicos -
 Circuitos logicos - Circuitos logicos -
Circuitos logicos -ang325
 
Proposición
ProposiciónProposición
Proposiciónsheyz10
 
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 computacionRespaldo 24 Web Hosting y Streaming
 
Pia de tecnicas
Pia de tecnicasPia de tecnicas
Pia de tecnicasLuis Lopez
 

Similar a Aspectos importantes. ed_unidad_1 (20)

CALCULO PROPOSICIONAL
CALCULO PROPOSICIONALCALCULO PROPOSICIONAL
CALCULO PROPOSICIONAL
 
UNIDAD I ESTRUCTURAS DISCRETAS
UNIDAD I ESTRUCTURAS DISCRETASUNIDAD I ESTRUCTURAS DISCRETAS
UNIDAD I ESTRUCTURAS DISCRETAS
 
Estructura
EstructuraEstructura
Estructura
 
Estructura
EstructuraEstructura
Estructura
 
Lógica proposicional
Lógica proposicionalLógica proposicional
Lógica proposicional
 
Capitulo_1_Logica_y_Conjuntos.pdf
Capitulo_1_Logica_y_Conjuntos.pdfCapitulo_1_Logica_y_Conjuntos.pdf
Capitulo_1_Logica_y_Conjuntos.pdf
 
Lógica computacional
Lógica computacionalLógica computacional
Lógica computacional
 
Informe Objetivo 1: Proposiciones
Informe Objetivo 1: ProposicionesInforme Objetivo 1: Proposiciones
Informe Objetivo 1: Proposiciones
 
Circuitos logicos
Circuitos logicos Circuitos logicos
Circuitos logicos
 
Logica I
Logica ILogica I
Logica I
 
Aspectos resaltantes de la proposicion
Aspectos resaltantes de la proposicionAspectos resaltantes de la proposicion
Aspectos resaltantes de la proposicion
 
Trabajo_calculoMarianySanchez.docx
Trabajo_calculoMarianySanchez.docxTrabajo_calculoMarianySanchez.docx
Trabajo_calculoMarianySanchez.docx
 
Proposiciones
ProposicionesProposiciones
Proposiciones
 
Luis fer
Luis ferLuis fer
Luis fer
 
Circuitos logicos -
 Circuitos logicos - Circuitos logicos -
Circuitos logicos -
 
Circuitos logicos -
 Circuitos logicos - Circuitos logicos -
Circuitos logicos -
 
Proposición
ProposiciónProposición
Proposición
 
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
 
Logica matematica
Logica matematicaLogica matematica
Logica matematica
 
Pia de tecnicas
Pia de tecnicasPia de tecnicas
Pia de tecnicas
 

Aspectos importantes. ed_unidad_1

  • 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.