Questão de Raciocínio Lógico — Fundamentos de Lógica — CESGRANRIO 2011
Raciocínio LógicoFundamentos de Lógica
- Código
- cg040669
- Banca
- CESGRANRIO
- Órgão
- Petrobras
- Ano
- 2011
- Nível
- Superior
- Cargo
- Analista de Sistemas Júnior - Processos de Negócios
Considere as cláusulas C1 e C2, representadas, respectivamente, pelos conjuntos { ¬ A(x),B(x)} e { A(g(y)),B(y)}. Um resolvente dessas cláusulas é
- A{B(x), B(y)}
- B{B(g(y)), B(y)}
- C{ ¬ A(x), A(g(x))}
- D{¬ A(x), A(g(x)), B(x)}
- E{¬ A(x), B(x), A(g(y)), B(y)}