Considere as proposições:
p: "A mensagem é verificada contra vírus” e
q: “A mensagem é enviada de um sistema desconhecido”.
Expresse as especificações de sistema a seguir, usando as proposições p e q, juntamente com conectivos lógicos:
I) “A mensagem é verificada contra vírus sempre que ela for enviada de um sistema desconhecido.”
II) “A mensagem foi enviada de um sistema desconhecido, mas não foi verificada contra vírus.”
III) “É necessário verificar a mensagem contra vírus sempre que ela for enviada de um sistema desconhecido.”
IV) “Quando a mensagem não é enviada de um sistema desconhecido, não é verificada contra vírus.”
A sequência correta será:
Soluções para a tarefa
No cálculo proposicional nós temos 4 simbolos lógicos que relacionam constantes. Eles são os seguintes: ∧: conjunção; ∨: disjunção; ⇒: implicação e ⇔ bicondicional;
Eles representam, respectivamente, conectivos como "e" ou "mas", "ou" "se...então..." e "se e somente se". Temos também o símbolo de negação que pode ser representado tanto pelo símbolo ¬ quanto pelo til (~).
Podemos agora traduzir as frases dadas para a lógica proposicional e elas ficarão da seguinte forma:
Sendo p: "A mensagem é verificada contra vírus” e q: “A mensagem é enviada de um sistema desconhecido”, então:
I) "A mensagem é verificada contra vírus sempre que ela for enviada de um sistema desconhecido". Resposta: (q ⇒ p), pois denota uma implicação "se for enviada de um sistema desconhecido, será verificada contra vírus".
II) “A mensagem foi enviada de um sistema desconhecido, mas não foi verificada contra vírus.” Resposta: (q ∧ ¬p). Lembre-se: o símbolo ∧ também significa "mas".
III) “É necessário verificar a mensagem contra vírus sempre que ela for enviada de um sistema desconhecido". Resposta: (q ⇒ p). Novamente temos uma implicação.
IV) “Quando a mensagem não é enviada de um sistema desconhecido, não é verificada contra vírus". Resposta: (¬q ⇒ ¬p). Outra implicação.
Desse modo, temos que a resposta será a letra A.