Existem proposições que são sempre verdadeiras ou falsas no estudo de proposições compostas, independentemente do valor lógico atribuído a cada uma das suas premissas simples. A sentença q ^ p → p v q é uma implicação: a)Tautológicas b)Contrapositivas c)Contraditórias d)Negativas e)Contingentes