Agentes lógicos em prolog - bem simples - mas não consigo

Computação PROLOG Inteligência Artificial agentes lógicos Geral
Considerando que A, B e C são expressões lógicas verdadeiras e que D é uma expressão lógica falsa, quais das fórmulas lógicas abaixo são verdadeiras? b) A v B c) A -->B d) b <--- A k) (A v D) <-- (B v C)
Foto de Lucia G.
Lucia perguntou há 5 anos
1 resposta
Professor Everton C.
Identidade verificada
  • CPF verificado
  • E-mail verificado
Respondeu há 5 anos
Contatar Everton
Ola Lucia, A v B é A ou B, se A é verdadeiro ou B for verdadeiro a expressão A ou B é verdadeira (meio como verbalmente funciona). O segundo caso A implica em B é o 'se' da linguagem informal e só é falso quando B é falso e A é verdadeiro, no seu caso A e B são verdadeiras então é verdadeiro. No ítem d pense como o 'se e somente se' da matemática mas nesse caso só tem a volta e não a ida, ele é essencialmente a recíproca do ítem c e as mesmas regras valem. O ítem k é essencialmente o uso do ítem d e b, primeiro você calcula o valor das duas expressões A v D e B v C, como os conectivos são todos 'ou' e em todos os casos temos pelo menos uma proposição verdadeira então as duas expressões são verdadeiras e portanto a expressão como um todo é verdadeira pois temos verdadeiro implicando em verdadeiro.

Envie uma dúvida e receba resposta imediata

Respostas da IA e de professores particulares
Enviar dúvida
Tenha sua atividade, tarefa, lista de exercícios, ou projeto resolvida por um professor especialista
Você define o prazo
Interação com o professor por chat
Se não gostar da resolução, reembolsamos
Enviar tarefa

Envie suas dúvidas pelo App