Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- qlq X qlq Y ( voisin(X,Y) -> ami(X,Y) )
- qlq X , qlq Y ( (homme(X) ^ homme(Y))-> not voisin(X,Y) ).
- qlq X, il existe Y voisin(X,Y)
- qlq X ,qlq Y ( voisin(X,Y) -> not (x=Y) )
- qlq X , il existe Y, il existe Z ( voisin(X,Y) V ( voisin(X,Y) ^ voisin(X,Z))
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement