• .dsy:it.
• //www.dsy.it

Exe - Dimostrazione validità logica

---

Posted by Paolo74GRS on 18-05-2010 22:02

---

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

---

Powered by: vbHome (lite) v3.8 and vBulletin v2.3.1
Copyright © 2000 - 2002 Jelsoft Enterprises Limited