Cadernos de Questões

Provas Favoritas

Filtros Salvos

Foram encontradas 70 questões.
#2819733

O predicado g(x, y) é avaliado como verdadeiro se “x gosta de y".
A sentença “se uma pessoa não gosta de si mesma então não gosta de qualquer outra" pode ser expressa em lógica de primeira ordem como

  • ¬g(i, i) → ∀x¬g(i, x)
  • ¬g(i, i) → ¬∀x¬g(i, x)
  • Ǝx g(x, i) → ¬Ǝx¬g(i, x)
  • Ǝx g(i, x) → ¬∀x¬g(i, x)
  • ¬Ǝx¬g(x, i) → ¬∀x¬g(i, x)
Fale com IAgo
IAgo - Assistente IAProva
IA
Olá! Sou o IAgo, seu assistente aqui no IAProvatec 😊
Veja como posso te ajudar:
Agora