As proposições lógicas podem ser classificadas em simples ou...

As proposições lógicas podem ser classificadas em simples ou atômicas e compostas ou moleculares. Chama-se proposição simples ou proposição atômica aquela que não contém nenhuma outra proposição como parte integrante de si mesma. Chama-se proposição composta ou proposição molecular aquela formada pela combinação de duas ou mais proposições (Alencar Filho, 2002) [1]. Já uma proposição em linguagem natural é aquela que é escrita e elaborada em português, entretanto, usa algumas terminologias que são peculiares para a área de lógica matemática, como os conectivos e, ou, não, se-então, se e somente se, etc.

Considere a seguinte situação hipotética.

Vinícius é professor na disciplina de lógica matemática e computacional. O mesmo propôs para os seus alunos algumas frases em linguagem natural, e solicitou que eles fizessem as devidas conversões para proposições lógicas, pressupondo-se que p significa "está frio", e q significa "está chovendo". A seguir, há as frases em linguagem natural.

a. está frio se e somente se não está chovendo b. se está frio e não está chovendo então está frio c. não está frio e não está chovendo d. está frio ou não está chovendo

Há, então, as seguintes afirmativas no que diz respeito à conversão das sentenças anteriores em linguagem natural para proposições lógicas:

I. p ∨ ¬q equivale a 'd' II. p → ¬q equivale a 'c' III. p ↔ q equivale a 'a' IV. p ∧ ¬q equivale a 'b'

É correto o que se afirma?