Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- a - qlq X ( poete(X) -> possedeoueuvre(X) )
- b - qlq X ( connaitre(ali,X) -> - serieu(X) )
- c - qlq X ( maature(X) -> age(X) )
- d - qlq X probleme(X)
- e - exists X (poete(X) ^ connaitre_logique(X) )
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement