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