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 é