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 meiode 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:
a) 1: p ~q; 2: q ~ r ; 3: p ~q. b) 1: p -> ~q; 2: q ^ ~r ; 3: p <-> ~q. c) 1: p -> ~q; 2: q ^ ~r ; 3: p -> ~q.
Compartilhar