Concurso:
Petrobras
Disciplina:
Algoritmos e Estrutura de Dados
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|- ¬p?
Qual a regra clássica de inferência designada pela
expressão (p→q), ¬q? ¬p?
expressão (p→q), ¬q? ¬p?
