Magna Concursos
243788 Ano: 2012
Disciplina: Raciocínio Lógico
Banca: CESGRANRIO
Orgão: Petrobrás
Provas:
Sejam p e q fórmulas bem formadas de um sistema lógico de primeira ordem.
Qual a regra clássica de inferência designada pela expressão (p→q), ¬q !$ \vdash !$ ¬p?
 
Comentários
×
Cadernos
×
Flashcards
×
Estatísticas
×
Reportar um erro
×

Provas

Questão presente nas seguintes provas

Analista de Sistemas - Infraestrutura

70 Questões