Pages: [1]   Go Down
Print
Author Topic: esercizio 43 logica  (Read 395 times)
0 Members e 1 Utente non registrato stanno visualizzando questa discussione.
Stefano clm
Matricola
*
Offline Offline

Posts: 10


« on: 11-01-2018, 21:04:55 »

Nell’esercizio 43 degli esercizi di logica provando a scrivere la FBF del secondo punto ho scritto in questo modo:

Ǝxy( p(x,b) Ʌ  c(x,y) ->  ꓯz(c(y,z) Ʌ p(z,a)))  potrebbe essere giusto ?

Nella soluzione,riportata sul sito (che è scritta qui sotto), non capisco la parte in grassetto

Ǝxy (p(x,b) Ʌ c(x,y) Ʌ ꓯz(p(z,a) -> c(x,z)))

così facendo è il parente di Bruno a conoscere tutti i parenti di Antonella, non una persona conosciuta dal parente di Bruno
(è autorizzato ad insultarmi se ho sbagliato qualcosa  testate)
« Last Edit: 11-01-2018, 21:06:34 by Stefano clm » Logged
Franco Barbanera
Moderator
Forumista Eroico
*****
Offline Offline

Posts: 2.934



WWW
« Reply #1 on: 11-01-2018, 21:25:53 »

Giusto!
Va scritto
Ǝxy (p(x,b) Ʌ c(x,y) Ʌ ꓯz(p(z,a) -> c(y,z)))

Quello che hai scritto tu, cioe'
Ǝxy( p(x,b) Ʌ  c(x,y) ->  ꓯz(c(y,z) Ʌ p(z,a)))
e' sbagliato, poiche' rappresenterebbe il fatto che
se c'e' un parente di Bruno che conosce qualcuno, allora
ogni persona e' parente di antonella e conosce questo qualcuno.
« Last Edit: 12-01-2018, 16:59:16 by Franco Barbanera » Logged
Stefano clm
Matricola
*
Offline Offline

Posts: 10


« Reply #2 on: 12-01-2018, 17:02:55 »

Giusto!
Va scritto
Ǝxy (p(x,b) Ʌ c(x,y) Ʌ ꓯz(p(z,a) -> c(y,z)))

Quello che hai scritto tu, cioe'
Ǝxy( p(x,b) Ʌ  c(x,y) ->  ꓯz(c(y,z) Ʌ p(z,a)))
e' sbagliato, poiche' rappresenterebbe il fatto che
se c'e' un parente di Bruno che conosce qualcuno, allora
ogni persona e' parente di antonella e conosce questo qualcuno.
Ok grazie professore !

Inviato dal mio HUAWEI VNS-L31 utilizzando Tapatalk
Logged
Pages: [1]   Go Up
Print
Jump to: