Qual a notação correta para indicar que a proposição P implica a proposição Q?

Alternativa C - P \to Q

A lógica proposicional utiliza símbolos específicos para representar as relações entre afirmações (proposições). Para indicar que uma proposição implica outra, utilizamos o conectivo condicional.

Análise dos Conectivos Lógicos

Cada opção da questão representa um operador lógico diferente:

• \land (Conjunção): Significa "E". Indica que ambas as proposições devem ser verdadeiras simultaneamente.
• Exemplo: P \land Q ("Chove e faz frio").
• \lor (Disjunção): Significa "OU". Indica que pelo menos uma das proposições deve ser verdadeira.
• Exemplo: P \lor Q ("Estudo ou trabalho").
• \to (Implicação/Condicional): Significa "SE... ENTÃO". É a relação de implicação direta.
• Exemplo: P \to Q ("Se chover, então o chão ficará molhado").
• \neg (Negação): Significa "NÃO". Inverte o valor lógico da proposição.

Comparativo das Opções

Por que as outras estão incorretas?

A alternativa b usa o símbolo \vdash (turnstile), que geralmente indica dedução sintática ou consequência lógica em sistemas formais complexos, não sendo o padrão para "implicação material" em questões gerais.

A alternativa e apresenta uma propriedade lógica importante: a implicação P \to Q é logicamente equivalente a \neg P \lor Q. No entanto, a questão pede a notação que indica a implicação, não a sua forma disjuntiva equivalente.

Portanto, a representação padrão e direta de que P implica Q é através da seta simples.

Alternativa C.