Lógica Formal: Como Identificar Proposições Verdadeiras ou Falsas