Dada duas proposições, p e q, podemos dizer que a alternativa que corresponde a resolução da tabela-verdade para a coluna: (p→q) ⋀ p , é a seguinte: