Proposição é um termo usado em lógica para descrever o conteúdo de asserções. Uma asserção é um conteúdo que pode ser tomado como verdadeiro ou fal...

Proposição é um termo usado em lógica para descrever o conteúdo de asserções. Uma asserção é um conteúdo que pode ser tomado como verdadeiro ou falso. Asserções são abstrações de sentenças não linguísticas que as constituem. Nas proposições:
A: ir trabalhar
B: ficar doente
C: ir ao médico
Qual deve ser a tradução correta para simbologia A ↔ (~B ∧ C)?


A Irei trabalhar se, e somente se, não ficar doente nem ir ao médico.
B Irei trabalhar se, e somente se, não ficar doente ou não ir ao médico.
C Irei trabalhar, então não ficarei doente e não irei ao médico.
D Irei trabalhar se, e somente se, ficar doente e ir ao m