A lógica proposicional estuda relações lógicas entre os objetos chamados proposições. Essas proposições podem ser combinadas coerentemente por inte...

A lógica proposicional estuda relações lógicas entre os objetos chamados proposições. Essas proposições podem ser combinadas coerentemente por intermédio de conectivos lógicos, gerando sentenças mais elaboradas e interessantes, e podem ser escritos matematicamente por meio de símbolos que os representam. Os conectivos usados são de negação, conjunção, disjunção, condicional e bicondicional. Considere as proposições: p: Neymar é jogador de futebol. q: A Lua é um planeta. r: João fala alemão. Considere as proposições compostas a seguir: 1 - Se é verdade que Neymar é jogador de futebol, então a Lua não é um planeta. 2 - É verdade que a Lua é um planeta e não é verdade que João fala alemão. 3 - Neymar é jogador de futebol se - e somente se - a Lua não for um planeta. Agora, assinale a alternativa que traduz simbolicamente as afirmacoes 1, 2 e 3, respectivamente:


• 1: p ~q; 2: q ~r; 3: p ~q .
• 1: p ~ q; 2: q ~r; 3: p q.
• 1: ~ p q; 2: ~ q r; 3: p q .
• 1: p ~q; 2: q ~ r ; 3: p ~q .
• 1: p q; 2: q ~ r ; 3: ~ p q