 |
Paolo74GRS |
Exe - Dimostrazione validità logica |
18-05-2010 22:02 |
|
 |
Paolo74GRS |
.primate.

Registered: Mar 2003
Posts: 71 (0.01 al dì)
Location: Bergamo
Corso: Informatica
Anno: > 3
Time Online: 2 Days, 11:55:02: [...]
Status: Offline
Edit | Report | IP: Logged |
Exe - Dimostrazione validità logica
Ciao a tutti.. sto cercando di risolvere il 2o exe delle dispense relativo alla dimostrazione di validità logica..
VxVy(R(x,y) V R(y,x)) => VxEyR(x,y)
..qualcuno di voi riesce ad arrivare il risultato?
Attendo con ansia qualcuno che mi dia una mano.. Thx 
|
18-05-2010 22:02 |
|
|
|  |
 |
brain |
io l'ho risolta cosi:
... |
19-05-2010 16:04 |
|
 |
brain |
.scoglio_nato.
Registered: Jan 2009
Posts: 75 (0.01 al dì)
Location:
Corso: informatica
Anno: 3
Time Online: 1 Day, 13:58:30 [...]
Status: Offline
Edit | Report | IP: Logged |
io l'ho risolta cosi:
ho negato tutta la formula e poi l'ho portata in FNN
quindi ho la seguente formula
VxVy(R(x,y) OR R(y,x)) AND ExVy-R(x,y)
a questo punto
-si svolge l'AND sostituendolo con una virgola
-si applica l'E inserendo il termine a, ottenendo cosi al seguente formula:
VxVy(R(x,y) OR R(y,x)) , Vy-R(a,y)
-si applica il V ottenendo:
VxVy(R(x,y) OR R(y,x)) , -R(a,a), ....
-si applica il primo V
Vy(R(a,y) OR R(y,a)) , -R(a,a), ....
-si applica il secondo V
R(a,a) OR R(a,a) , -R(a,a), ....
-si applica l'OR e ottieni due rami che si chiudono immediatamente
questo svolgimento prendilo con le pinze....non sono sicuro al 100% cmq spero di esserti stato d'aiuto!
ciao
__________________

|
19-05-2010 16:04 |
|
|
|  |
 |
Paolo74GRS |
GRANDE!!!
... |
20-05-2010 08:34 |
|
 |
Paolo74GRS |
.primate.

Registered: Mar 2003
Posts: 71 (0.01 al dì)
Location: Bergamo
Corso: Informatica
Anno: > 3
Time Online: 2 Days, 11:55:02: [...]
Status: Offline
Edit | Report | IP: Logged |
GRANDE!!!
Si, mi convince.. sicuramente l'esercizio deve chiudere su tutti i rami e, con questo metodo, così si arriva abbastanza lisci alla soluzione!
Grazie per l'aiuto! 
|
20-05-2010 08:34 |
|
|
|  |
 |
dieguito |
Scusate l'ignoranza, ma non riesco a capire il sig ... |
26-05-2010 10:17 |
|
 |
dieguito |
.precettore.
Registered: Dec 2006
Posts: 85 (0.01 al dì)
Location: Milano
Corso: Informatica
Anno: secondo...più o meno..
Time Online: 1 Day, 10:36:09: [...]
Status: Offline
Edit | Report | IP: Logged |
Scusate l'ignoranza, ma non riesco a capire il significato del simbolo => ... Sulla dispensa dice che è un'abbreviazione, ma non è che abbia capito molto.. Potreste gentilmente darmi una mano?
|
26-05-2010 10:17 |
|
|
|  |
 |
lordghost |
Non è difficile, lo spiega (anche se in piccolo): ... |
26-05-2010 14:53 |
|
 |
lordghost |
Black Lord
Registered: Oct 2005
Posts: 232 (0.03 al dì)
Location: Milan
Corso: Informatica
Anno: 3
Time Online: 2 Days, 9:48:49 [...]
Status: Offline
Edit | Report | IP: Logged |
Non è difficile, lo spiega (anche se in piccolo):
A, B => C
che sono 3 formule (enunciati per la precisione) separate da virgola. Significa che sono semplicamente abbreviate come:
(A & B) -> C
Metto le parentesi perchè potrebbe darsi che in A o in B ci potrebbe essere una implicazione. Anche se di fatto non abbrevia molto 
Poi gli altri casi non me li ricordo bene, ma dovrebbe essere tipo:
A, B => C, D
(A & B) -> (C | D)
Le virgole a sinistra diventano AND, quelle a destra OR
Cioè è più facile a farsi che a dirsi alla fine
__________________
My 3D blog: http://www.webgl.it
|
26-05-2010 14:53 |
|
|
|  |
 |
dieguito |
mmm... sì avevo letto la spiegazione del prof in ... |
26-05-2010 17:12 |
|
 |
dieguito |
.precettore.
Registered: Dec 2006
Posts: 85 (0.01 al dì)
Location: Milano
Corso: Informatica
Anno: secondo...più o meno..
Time Online: 1 Day, 10:36:09: [...]
Status: Offline
Edit | Report | IP: Logged |
mmm... sì avevo letto la spiegazione del prof in piccolo... ma quindi nel primo e nel secondo esercizio sulla dispensa (pag. 25) non cambia nulla ad eccezione del -> al posto del simbolo =>?
|
26-05-2010 17:12 |
|
|
|  |
 |
lordghost |
si esatto, dove non ci sono le virgole praticament ... |
26-05-2010 17:19 |
|
 |
lordghost |
Black Lord
Registered: Oct 2005
Posts: 232 (0.03 al dì)
Location: Milan
Corso: Informatica
Anno: 3
Time Online: 2 Days, 9:48:49 [...]
Status: Offline
Edit | Report | IP: Logged |
si esatto, dove non ci sono le virgole praticamente non serve a niente il => che diventa semplicemente ->
__________________
My 3D blog: http://www.webgl.it
|
26-05-2010 17:19 |
|
|
|  |
 |
dieguito |
thanks.. era da stamattina che nuotavo nel mio bel ... |
26-05-2010 17:29 |
|
 |
dieguito |
.precettore.
Registered: Dec 2006
Posts: 85 (0.01 al dì)
Location: Milano
Corso: Informatica
Anno: secondo...più o meno..
Time Online: 1 Day, 10:36:09: [...]
Status: Offline
Edit | Report | IP: Logged |
thanks.. era da stamattina che nuotavo nel mio bel bicchier d'acqua.. anche perchè mi ero bloccato sui primi esercizi perchè non capivo a cosa servisse il => dove non ci sono virgole.. 
|
26-05-2010 17:29 |
|
|
|  |
 |
All times are GMT. The time now is 23:11. |
|
|
 |
|
 |
|
|
|  |
Forum Rules:
You may not post new threads
You may not post replies
You may not post attachments
You may not edit your posts
|
HTML code is OFF
vB code is ON
Smilies are ON
[IMG] code is ON
|
|
|
|
|
|