Download - Calculo proposicional
Calculo ProposicionalCalculo Proposicional
Torrivilla Joselyn C.I: 20.046.401SAIA A
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)
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
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.
Algebra de ProposicionesAlgebra de Proposiciones
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.
ConexionesConexiones