Zusammenfassung der Ressource
Lógica Proposicional
- 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»…