lógica proposicional:

LOGICA