- ID
- 788737
- Banca
- CESGRANRIO
- Órgão
- Transpetro
- Ano
- 2012
- Provas
- Disciplina
- Raciocínio Lógico
- Assuntos
Considerando os predicados: chefe(x) significando que x é chefe, departamento(x) significando que x é um departamento e chefia (x, y) significando que x chefia y, a restrição “Todo chefe chefia um departamento” pode ser expressa pela seguinte fórmula da lógica de predicados de primeira ordem: