Lógica proposicional

Proposição é uma frase declarativa que pode ser julgada verdadeira ou falsa. Perguntas, ordens e frases abertas ("x é maior que 3") não são proposições.

Conectivos

Conectivo	Símbolo	Falso só quando
e	p ∧ q	alguma for falsa
ou	p ∨ q	as duas forem falsas
se… então	p → q	p verdadeira e q falsa
se e somente se	p ↔ q	tiverem valores diferentes

Tabela-verdade

Com n proposições simples, a tabela tem 2ⁿ linhas. Tautologia é verdadeira em todas; contradição, falsa em todas; contingência, nem uma coisa nem outra.

O condicional

É o conectivo mais cobrado. "Se estudo, passo" só é falsa se estudo e não passo. Se não estudo, a proposição é verdadeira qualquer que seja o resultado.