Considere as proposições lógicas P e Q. Assinale a alternativa correta sobre a relação de implicação “P → Q” (P implica Q).
A implicação é sempre falsa se Q é falso.
A implicação é verdadeira se, somente se P e Q são ambos verdadeiros.
A implicação é sempre verdadeira se P é falso.
A implicação é sempre verdadeira se P é verdadeiro.