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.