Dsy Network www | forum | my | didattica | howto | wiki | el goog | stats | blog | dona | rappresentanti
Homepage
 Register   Calendar   Members  Faq   Search  Logout 
.dsy:it. : Powered by vBulletin version 2.3.1 .dsy:it. > Didattica > Corsi G - M > Logica matematica > Exe - Dimostrazione validità logica
  Last Thread   Next Thread
Author
Thread    Post New Thread    Post A Reply
Paolo74GRS
.primate.

User info:
Registered: Mar 2003
Posts: 71 (0.01 al dì)
Location: Bergamo
Corso: Informatica
Anno: > 3
Time Online: 2 Days, 11:55:02: [...]
Status: Offline

Post actions:

Edit | Report | IP: Logged
Post 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 :-D

18-05-2010 22:02
Click Here to See the Profile for Paolo74GRS Click here to Send Paolo74GRS a Private Message Find more posts by Paolo74GRS Add Paolo74GRS to your buddy list Printer Friendly version Email this Article to a friend Reply w/Quote
brain
.scoglio_nato.

User info:
Registered: Jan 2009
Posts: 75 (0.01 al dì)
Location:
Corso: informatica
Anno: 3
Time Online: 1 Day, 13:58:30 [...]
Status: Offline

Post actions:

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

__________________
:wall:

19-05-2010 16:04
Click Here to See the Profile for brain Click here to Send brain a Private Message Find more posts by brain Add brain to your buddy list Printer Friendly version Email this Article to a friend Reply w/Quote
Paolo74GRS
.primate.

User info:
Registered: Mar 2003
Posts: 71 (0.01 al dì)
Location: Bergamo
Corso: Informatica
Anno: > 3
Time Online: 2 Days, 11:55:02: [...]
Status: Offline

Post actions:

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! :razz:

20-05-2010 08:34
Click Here to See the Profile for Paolo74GRS Click here to Send Paolo74GRS a Private Message Find more posts by Paolo74GRS Add Paolo74GRS to your buddy list Printer Friendly version Email this Article to a friend Reply w/Quote
dieguito
.precettore.

User info:
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

Post actions:

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
Click Here to See the Profile for dieguito Click here to Send dieguito a Private Message Find more posts by dieguito Add dieguito to your buddy list Printer Friendly version Email this Article to a friend Reply w/Quote
lordghost
Black Lord

User info:
Registered: Oct 2005
Posts: 232 (0.03 al dì)
Location: Milan
Corso: Informatica
Anno: 3
Time Online: 2 Days, 9:48:49 [...]
Status: Offline

Post actions:

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 :D

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:D

__________________
My 3D blog: http://www.webgl.it

26-05-2010 14:53
Click Here to See the Profile for lordghost Click here to Send lordghost a Private Message Visit lordghost's homepage! Find more posts by lordghost Add lordghost to your buddy list Printer Friendly version Email this Article to a friend Reply w/Quote
dieguito
.precettore.

User info:
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

Post actions:

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
Click Here to See the Profile for dieguito Click here to Send dieguito a Private Message Find more posts by dieguito Add dieguito to your buddy list Printer Friendly version Email this Article to a friend Reply w/Quote
lordghost
Black Lord

User info:
Registered: Oct 2005
Posts: 232 (0.03 al dì)
Location: Milan
Corso: Informatica
Anno: 3
Time Online: 2 Days, 9:48:49 [...]
Status: Offline

Post actions:

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
Click Here to See the Profile for lordghost Click here to Send lordghost a Private Message Visit lordghost's homepage! Find more posts by lordghost Add lordghost to your buddy list Printer Friendly version Email this Article to a friend Reply w/Quote
dieguito
.precettore.

User info:
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

Post actions:

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.. :D

26-05-2010 17:29
Click Here to See the Profile for dieguito Click here to Send dieguito a Private Message Find more posts by dieguito Add dieguito to your buddy list Printer Friendly version Email this Article to a friend Reply w/Quote
All times are GMT. The time now is 10:29.    Post New Thread    Post A Reply
  Last Thread   Next Thread
Show Printable Version | Email this Page | Subscribe to this Thread | Add to Bookmarks

Forum Jump:
Rate This Thread:

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
 

Powered by: vBulletin v2.3.1 - Copyright ©2000 - 2002, Jelsoft Enterprises Limited
Mantained by dsy crew (email) | Collabora con noi | Segnalaci un bug | Archive | Regolamento | Licenze | Thanks | Syndacate
Pagina generata in 0.033 seconds (84.06% PHP - 15.94% MySQL) con 25 query.