Agentes lógicos em prolog - bem simples - mas não consigo
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)
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.
