[AIUTO] Esercizi
Posted by nickname on 17-02-2005 08:46
premetto che nonso se son dimostrazioni o contromodelli:



1


VxVyR(x,y) -> nonExP(x) => nonVxnonP(x) -> EynonR(y,y)





2


VxVyP(x,y), Vy(Q(y) e R(y) -> EznonP(a,z)) => VxnonQ(g(x)), ExnonR(x)
Powered by: vbHome (lite) v3.8 and vBulletin v2.3.1
Copyright © 2000 - 2002 Jelsoft Enterprises Limited