Raciocínio Lógico e Matemático / Operações lógicas sobre proposições / Negação de uma proposição; Conjugação de duas proposições; Disjunção de duas proposições; Proposição condicional; Proposição bicondicional; Tautologias e contradições: definição de tautologia; definição de contradição; Álgebra das proposições: propriedade idempotente; Propriedade comutativa; Propriedade associativa; Propriedade distributiva; Propriedade de absorção; Conjunto-verdade; Leis de Morgan