• tabelas-verdade para algumas proposições compostas são apresentadas a seguir:

• leis de De Morgan: ¬(A ∨B) significa ¬A ∧¬B; e ¬(A ∧B) significa ¬A ∨¬B;

• sentenças abertas, ou proposições abertas: os exemplos “x + 4 =9” e “Ele foi um grande jogador de futebol” não são considerados proposições, pois não podem ser julgados como V nem F, já que “x” e “Ele” são variáveis. O conjunto dos possíveis valores da variável é o conjunto-universo da proposição aberta. Uma forma de se passar de uma sentença aberta a uma proposição é pela quantificação da variável;

• quantificadores: “qualquer que seja”, “ou para todo”, representado por ∀; “existe”, representado por ∃. Por exemplo, a proposição“(∀ x)(x ∈ R)(x + 4 = 9)” é valorada como F, enquanto a proposição “(∃x)(x ∈ R)(x + 4 = 9)” é valorada como V, pois x =5 torna a proposição V. Se “Ele = Pelé”, então a proposição “Ele foi um grande jogador de futebol” é valorada como V, enquanto se “Ele = Tiradentes”, a mesma proposição é valorada como F. O subconjunto do conjunto universo que torna a proposição verdadeira é o conjunto-verdade da proposição;

• argumento: relação que associa um conjunto de proposições A1,A2, ..., An — denominadas premissas — a uma proposição B —denominada conclusão;

• argumento válido: um argumento no qual a conclusão é uma conseqüência necessária de suas premissas, isto é, a verdade de suas premissas garante a verdade da conclusão.