Estudia las variables proposicionales o sentencias
lógicas, sus posibles implicaciones, evaluaciones de
verdad y en algunos casos su nivel absoluto de verdad.
Proposiciones Simples
poseen una formulación sencilla
desprovista de negaciones y nexos, por lo
que constituyen un único término lógico.
Proposiciones Compuestas
Una proposición compleja es la unión de dos o más
proposiciones simples que están unidas por un
conector lógico
Variables
Enunciados simples, atómicos o elementales
son los que no pueden descomponerse en
otros más simples. Se les llama variables, y
se escriben con las letras minúsculas del
final del abecedario: «p», «q», «r», «s»…