Quando uma proposição composta possui sempre o valor lógico F, independetemente dos valores lógicos das componentes, ela é chamada uma contradição.