Focada em conectivos, tabelas-verdade e equivalências lógicas.