A proposição composta formada pelo conectivo “Se ... então” é chamada de condicional. A proposição “Se Pedro é médico, então Maria é dentista” é simbolizada por p→q . Onde:

Gabarito

A

Comentário do professor

A alternativa identifica corretamente as proposições simples que compõem a condicional: p representa "Pedro é médico" e q representa "Maria é dentista".

Na lógica proposicional, a frase "Se Pedro é médico, então Maria é dentista" é formalizada por \(p \to q\), onde p é o antecedente (a hipótese) e q o consequente (a conclusão).

O conectivo condicional tem a seguinte leitura: sempre que p for verdadeira e q falsa, a proposição composta é falsa; nos demais casos ela é verdadeira. Assim, a simbolização proposta preserva precisamente a estrutura "Se... então..." do enunciado.