SlideShare una empresa de Scribd logo
1 de 7
Descargar para leer sin conexión
Calculo Proposicional


       Torrivilla Joselyn C.I: 20.046.401
                                   SAIA A
Proposiciones
    Una proposición es un juicio declarativo
    del cual tiene sentido decir que es
    verdadero (V) o que es falso (F), pero no
    ambas cosas simultáneamente.
    Ejemplo:
   2+5=8     (F)
   Algunos estudiantes son universitarios (V)
   El hidrógeno es un gas (V)
Operaciones Veritativas
Un conjunto de conectivos que se usan
con la operación de cada uno de ellos
formen nuevas proposiciones.
     NOMBRE      SIMBOLO    TRADUCCIÒN
 Negación            ̃     No, no es el caso
                                 que
 Conjunción         ˆ             y

 Disyunción                       O
 Inclusiva
 Disyunción                      o… o
 Exclusiva
 Condicional                Si…, entonces
 Bicondicional               Si y solo si
Tautologías y Contradicciones

   Una tautología es una forma proposicional
    que es verdadera para cualquier valor
    lógico que se le asigne a sus variables
    proposicionales.
   Una contradicción es una proposicional
    que es falsa para cualquier valor lógico
    que se le asigne a sus variables
    proposicionales.
Algebra de Proposiciones
Circuitos Lógicos
Los podemos identificar con una forma
proposicional. Es decir, dada una forma
proposicional, podemos asociarle un
circuito; o dado un circuito podemos
asociarle    la     forma   proposicional
correspondiente. Además, usando las
leyes del álgebra proposicional podemos
simplificar los circuitos en otros más
sencillos, pero que cumplen la misma
función que el original.
Conexiones

Más contenido relacionado

La actualidad más candente

Logica matematica 3 rodrigo andres hoyos perdomo
Logica matematica 3 rodrigo andres hoyos perdomoLogica matematica 3 rodrigo andres hoyos perdomo
Logica matematica 3 rodrigo andres hoyos perdomorockyhoyos1
 
Leyes de algebra proposicional
Leyes de algebra proposicionalLeyes de algebra proposicional
Leyes de algebra proposicionalelisa pizano
 
Algebra
Algebra Algebra
Algebra rogel04
 
Presentación orlando aponte uft
Presentación orlando aponte uftPresentación orlando aponte uft
Presentación orlando aponte uftAponteOrlandoUFT
 
Deber mate may_andrango
Deber mate may_andrangoDeber mate may_andrango
Deber mate may_andrangom an
 
Estructuras discretas
Estructuras discretas Estructuras discretas
Estructuras discretas palberto213
 
Calculo proposicional
Calculo proposicionalCalculo proposicional
Calculo proposicionalyeliadan_16
 
Leyes del algebra proposicional
Leyes del algebra proposicionalLeyes del algebra proposicional
Leyes del algebra proposicionalkeniaevies
 
Calculo Proposicional
Calculo Proposicional Calculo Proposicional
Calculo Proposicional Luis Torres
 
Presentación Orlando Aponte
Presentación Orlando ApontePresentación Orlando Aponte
Presentación Orlando AponteAponteOrlandoUFT
 

La actualidad más candente (18)

Cálculo proposicional
Cálculo proposicionalCálculo proposicional
Cálculo proposicional
 
Formas Proposicionales
Formas ProposicionalesFormas Proposicionales
Formas Proposicionales
 
Logica matematica 3 rodrigo andres hoyos perdomo
Logica matematica 3 rodrigo andres hoyos perdomoLogica matematica 3 rodrigo andres hoyos perdomo
Logica matematica 3 rodrigo andres hoyos perdomo
 
4 inferencias inmediatas
4 inferencias inmediatas4 inferencias inmediatas
4 inferencias inmediatas
 
Leyes de algebra proposicional
Leyes de algebra proposicionalLeyes de algebra proposicional
Leyes de algebra proposicional
 
Algebra
Algebra Algebra
Algebra
 
Proposiciones
ProposicionesProposiciones
Proposiciones
 
Presentación orlando aponte uft
Presentación orlando aponte uftPresentación orlando aponte uft
Presentación orlando aponte uft
 
Leyes del algebra
Leyes del algebraLeyes del algebra
Leyes del algebra
 
Deber mate may_andrango
Deber mate may_andrangoDeber mate may_andrango
Deber mate may_andrango
 
Estructuras discretas
Estructuras discretas Estructuras discretas
Estructuras discretas
 
Calculo proposicional
Calculo proposicionalCalculo proposicional
Calculo proposicional
 
Leyes del algebra proposicional
Leyes del algebra proposicionalLeyes del algebra proposicional
Leyes del algebra proposicional
 
Lógico mat. c 1 ps
Lógico mat. c 1 psLógico mat. c 1 ps
Lógico mat. c 1 ps
 
Calculo Proposicional
Calculo Proposicional Calculo Proposicional
Calculo Proposicional
 
Proposiciones
ProposicionesProposiciones
Proposiciones
 
Trabajo preposiciones
Trabajo preposicionesTrabajo preposiciones
Trabajo preposiciones
 
Presentación Orlando Aponte
Presentación Orlando ApontePresentación Orlando Aponte
Presentación Orlando Aponte
 

Destacado

Bettina
BettinaBettina
Bettinasode
 
Influence essay
Influence essayInfluence essay
Influence essayChatthian
 
Exposicao cmo
Exposicao cmoExposicao cmo
Exposicao cmoxpto111
 
Voyantic - RFID production testing
Voyantic - RFID production testingVoyantic - RFID production testing
Voyantic - RFID production testingNextPoints
 
Nuevos materiales-organicos-fotocromicos-y-aplicaciones-seleccionadas (1)
Nuevos materiales-organicos-fotocromicos-y-aplicaciones-seleccionadas (1)Nuevos materiales-organicos-fotocromicos-y-aplicaciones-seleccionadas (1)
Nuevos materiales-organicos-fotocromicos-y-aplicaciones-seleccionadas (1)Jose Andres Merchan
 
Comentarios ante el documento de aprobación del Plan General de Ordenación de...
Comentarios ante el documento de aprobación del Plan General de Ordenación de...Comentarios ante el documento de aprobación del Plan General de Ordenación de...
Comentarios ante el documento de aprobación del Plan General de Ordenación de...psoegijon
 
Texto de reflexión
Texto de reflexiónTexto de reflexión
Texto de reflexiónduport2010
 
June Newsletter 2013
June Newsletter 2013June Newsletter 2013
June Newsletter 2013Brad Elliott
 
Comprensión lectora. la belladona y la flor
Comprensión lectora. la belladona y la florComprensión lectora. la belladona y la flor
Comprensión lectora. la belladona y la florSecundaria Tecnica Uno
 
Ejercicios para identificar los valores del se
Ejercicios para identificar los valores del seEjercicios para identificar los valores del se
Ejercicios para identificar los valores del seSecundaria Tecnica Uno
 
Ficha red cuotas 2016
Ficha red cuotas 2016Ficha red cuotas 2016
Ficha red cuotas 2016psoegijon
 
Para las familias de 1º a 2º eso 2016 17
Para las familias de 1º a 2º eso 2016 17Para las familias de 1º a 2º eso 2016 17
Para las familias de 1º a 2º eso 2016 17doescolapiosgetafe
 

Destacado (20)

Computacion nico
Computacion nicoComputacion nico
Computacion nico
 
Bettina
BettinaBettina
Bettina
 
Hatching the egg
Hatching the eggHatching the egg
Hatching the egg
 
Influence essay
Influence essayInfluence essay
Influence essay
 
Juntas o separadas
Juntas o separadasJuntas o separadas
Juntas o separadas
 
Exposicao cmo
Exposicao cmoExposicao cmo
Exposicao cmo
 
Voyantic - RFID production testing
Voyantic - RFID production testingVoyantic - RFID production testing
Voyantic - RFID production testing
 
Nuevos materiales-organicos-fotocromicos-y-aplicaciones-seleccionadas (1)
Nuevos materiales-organicos-fotocromicos-y-aplicaciones-seleccionadas (1)Nuevos materiales-organicos-fotocromicos-y-aplicaciones-seleccionadas (1)
Nuevos materiales-organicos-fotocromicos-y-aplicaciones-seleccionadas (1)
 
Comentarios ante el documento de aprobación del Plan General de Ordenación de...
Comentarios ante el documento de aprobación del Plan General de Ordenación de...Comentarios ante el documento de aprobación del Plan General de Ordenación de...
Comentarios ante el documento de aprobación del Plan General de Ordenación de...
 
Orddir1252011
Orddir1252011Orddir1252011
Orddir1252011
 
Texto de reflexión
Texto de reflexiónTexto de reflexión
Texto de reflexión
 
June Newsletter 2013
June Newsletter 2013June Newsletter 2013
June Newsletter 2013
 
FORGET ME NOT !
FORGET ME NOT !FORGET ME NOT !
FORGET ME NOT !
 
Comprensión lectora. la belladona y la flor
Comprensión lectora. la belladona y la florComprensión lectora. la belladona y la flor
Comprensión lectora. la belladona y la flor
 
Ejercicios para identificar los valores del se
Ejercicios para identificar los valores del seEjercicios para identificar los valores del se
Ejercicios para identificar los valores del se
 
Suntio cv
Suntio cvSuntio cv
Suntio cv
 
Ficha red cuotas 2016
Ficha red cuotas 2016Ficha red cuotas 2016
Ficha red cuotas 2016
 
Presentation1
Presentation1Presentation1
Presentation1
 
GE Presentation
GE PresentationGE Presentation
GE Presentation
 
Para las familias de 1º a 2º eso 2016 17
Para las familias de 1º a 2º eso 2016 17Para las familias de 1º a 2º eso 2016 17
Para las familias de 1º a 2º eso 2016 17
 

Similar a Calculo proposicional

Analisis estructuras discreta
Analisis estructuras discretaAnalisis estructuras discreta
Analisis estructuras discretabucanas
 
Calculo proposicional. geovanny_merlo
Calculo proposicional. geovanny_merloCalculo proposicional. geovanny_merlo
Calculo proposicional. geovanny_merlogeovannyboss_1
 
Unidad i calculo proporcional
Unidad i calculo proporcionalUnidad i calculo proporcional
Unidad i calculo proporcionalOswaldo Perez
 
Estructura Discreta
Estructura Discreta Estructura Discreta
Estructura Discreta Mario Piai
 
Juan gutierrez, 2 a actividad algebra 1
Juan gutierrez, 2 a actividad algebra 1Juan gutierrez, 2 a actividad algebra 1
Juan gutierrez, 2 a actividad algebra 1Juan165919
 
Álgebra Unidad I Lógica Proposicional
Álgebra Unidad I Lógica ProposicionalÁlgebra Unidad I Lógica Proposicional
Álgebra Unidad I Lógica ProposicionalMariaCR9
 
Algebra
Algebra Algebra
Algebra rogel04
 
Proposiciones
ProposicionesProposiciones
Proposicionesmeryduran
 
Estructura discreta
Estructura discretaEstructura discreta
Estructura discretamacb02
 
UNIDAD I ESTRUCTURAS DISCRETAS
UNIDAD I ESTRUCTURAS DISCRETASUNIDAD I ESTRUCTURAS DISCRETAS
UNIDAD I ESTRUCTURAS DISCRETASGene Castillo
 
Trabajo de logica matematica
Trabajo de logica matematicaTrabajo de logica matematica
Trabajo de logica matematicaMaria_Olave
 

Similar a Calculo proposicional (20)

Estructura
EstructuraEstructura
Estructura
 
Estructura
EstructuraEstructura
Estructura
 
Analisis estructuras discreta
Analisis estructuras discretaAnalisis estructuras discreta
Analisis estructuras discreta
 
Calculo proposicional. geovanny_merlo
Calculo proposicional. geovanny_merloCalculo proposicional. geovanny_merlo
Calculo proposicional. geovanny_merlo
 
Unidad i calculo proporcional
Unidad i calculo proporcionalUnidad i calculo proporcional
Unidad i calculo proporcional
 
Formulario de Lógica
Formulario de LógicaFormulario de Lógica
Formulario de Lógica
 
Proposiciones
ProposicionesProposiciones
Proposiciones
 
Estructura Discreta
Estructura Discreta Estructura Discreta
Estructura Discreta
 
Juan gutierrez, 2 a actividad algebra 1
Juan gutierrez, 2 a actividad algebra 1Juan gutierrez, 2 a actividad algebra 1
Juan gutierrez, 2 a actividad algebra 1
 
Calculo proposicional
Calculo proposicionalCalculo proposicional
Calculo proposicional
 
Álgebra Unidad I Lógica Proposicional
Álgebra Unidad I Lógica ProposicionalÁlgebra Unidad I Lógica Proposicional
Álgebra Unidad I Lógica Proposicional
 
Hoyver
HoyverHoyver
Hoyver
 
Algebra
Algebra Algebra
Algebra
 
Trabajo de logica matematica
Trabajo de logica matematicaTrabajo de logica matematica
Trabajo de logica matematica
 
Trabajo de logica matematica
Trabajo de logica matematicaTrabajo de logica matematica
Trabajo de logica matematica
 
Proposiciones
ProposicionesProposiciones
Proposiciones
 
Estructura discreta
Estructura discretaEstructura discreta
Estructura discreta
 
UNIDAD I ESTRUCTURAS DISCRETAS
UNIDAD I ESTRUCTURAS DISCRETASUNIDAD I ESTRUCTURAS DISCRETAS
UNIDAD I ESTRUCTURAS DISCRETAS
 
Estructuras
EstructurasEstructuras
Estructuras
 
Trabajo de logica matematica
Trabajo de logica matematicaTrabajo de logica matematica
Trabajo de logica matematica
 

Calculo proposicional

  • 1. Calculo Proposicional Torrivilla Joselyn C.I: 20.046.401 SAIA A
  • 2. Proposiciones Una proposición es un juicio declarativo del cual tiene sentido decir que es verdadero (V) o que es falso (F), pero no ambas cosas simultáneamente. Ejemplo:  2+5=8 (F)  Algunos estudiantes son universitarios (V)  El hidrógeno es un gas (V)
  • 3. Operaciones Veritativas Un conjunto de conectivos que se usan con la operación de cada uno de ellos formen nuevas proposiciones. NOMBRE SIMBOLO TRADUCCIÒN Negación ̃ No, no es el caso que Conjunción ˆ y Disyunción O Inclusiva Disyunción o… o Exclusiva Condicional Si…, entonces Bicondicional Si y solo si
  • 4. Tautologías y Contradicciones  Una tautología es una forma proposicional que es verdadera para cualquier valor lógico que se le asigne a sus variables proposicionales.  Una contradicción es una proposicional que es falsa para cualquier valor lógico que se le asigne a sus variables proposicionales.
  • 6. Circuitos Lógicos Los podemos identificar con una forma proposicional. Es decir, dada una forma proposicional, podemos asociarle un circuito; o dado un circuito podemos asociarle la forma proposicional correspondiente. Además, usando las leyes del álgebra proposicional podemos simplificar los circuitos en otros más sencillos, pero que cumplen la misma función que el original.