Transcript
Page 1: Calculo proposicional

Calculo ProposicionalCalculo Proposicional

Torrivilla Joselyn C.I: 20.046.401SAIA A

Page 2: Calculo proposicional

ProposicionesProposicionesUna 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)

Page 3: Calculo proposicional

Operaciones VeritativasOperaciones VeritativasUn conjunto de conectivos que se usan con la operación de cada uno de ellos formen nuevas proposiciones.

NOMBRE SIMBOLO TRADUCCIÒNNegación ̃ No, no es el caso

queConjunción ˆ yDisyunción Inclusiva

O

Disyunción Exclusiva

o… o

Condicional Si…, entoncesBicondicional Si y solo si

Page 4: Calculo proposicional

Tautologías y ContradiccionesTautologí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.

Page 5: Calculo proposicional

Algebra de ProposicionesAlgebra de Proposiciones

Page 6: Calculo proposicional

Circuitos Lógicos 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.

Page 7: Calculo proposicional

ConexionesConexiones


Top Related