Lógica, perguntado por Sbrabows, 1 ano atrás

Escreva a da frase abaixo na linguagem de primeira ordem especificada:

“João é sobrinho de Maria”, na linguagem das pessoas, com símbolos funcionais unários Pai e Mãe e constantes João e Maria.

Soluções para a tarefa

Respondido por sonhosdeluan
1
Maria é irmã da mãe ou do pai de João.
Perguntas interessantes