Considerando os predicados: chefe(x) significando que x é ch...

Próximas questões
Com base no mesmo assunto
Q262910
Raciocínio Lógico Fundamentos de Lógica , Proposições Simples e Compostas e Operadores Lógicos ,
Ano: 2012 Banca: CESGRANRIO Órgão: Transpetro Prova: CESGRANRIO - 2012 - Transpetro - Analista de Sistemas Júnior - Infra-Estrutura |
Q262910 Raciocínio Lógico
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:

Alternativas

Questões de assuntos semelhantes

Provas relacionadas