4.46 Entre os grupos possíveis de condições de verdade há dois casos extremos.

No primeiro caso a proposição é verdadeira para tôdas as condições de verdade das proposições elementares. Dizemos então que as condições de verdade são tautológicas.

No segundo caso a proposição é falsa para tôdas as condições de verdade: as condições de verdade são contraditórias.

No primeiro caso chamamos à proposição de tautologia, no segundo, contradição.