Complete a tabela verdade para a contrapositiva: ¬B → ¬A

Compare com A → B para verificar que são equivalentes. Selecione ⊤ (verdadeiro) ou ⊥ (falso) para cada linha na tabela verdade.