Questão de Raciocínio Lógico — Lógica de Argumentação - Diagramas e Operadores Lógicos — CESGRANRIO 2012
Raciocínio LógicoLógica de Argumentação - Diagramas e Operadores Lógicos
- Código
- cg048944
- Banca
- CESGRANRIO
- Órgão
- LIQUIGÁS
- Ano
- 2012
- Nível
- Superior
- Cargo
- LIQUIGAS - Profissional Júnior - Desenvolvimento de Aplicações
O predicado g(x, y) é avaliado como verdadeiro se “x gosta de y". A sentença “se uma pessoa não gosta de si mesma então não gosta de qualquer outra" pode ser expressa em lógica de primeira ordem como
- A¬g(i, i) → ∀x¬g(i, x)
- B¬g(i, i) → ¬∀x¬g(i, x)
- CƎx g(x, i) → ¬Ǝx¬g(i, x)
- DƎx g(i, x) → ¬∀x¬g(i, x)
- E¬Ǝx¬g(x, i) → ¬∀x¬g(i, x)