Pretende-se analisar se uma proposição P, composta por quatro proposições simples, implica uma proposição Q, composta pelas mesmas quatro proposições simples, combinadas com conectivos distintos. Como são desconhecidos os valores lógicos das proposições simples envolvidas, pretende-se utilizar uma tabela verdade, estudando-se todas as possíveis combinações entre os valores lógicos dessas proposições, a fim de ser utilizada a definição de implicação lógica. Dessa forma, o referido número total de combinações possíveis é