Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- Q1 -
- H1 : qlq X [gripe(X) -> not travail(X) ]
- H2 : qlq X[(fievre(X)^tousse(X))->gripe(X)]
- H3 : qlq X [ temperature38(X) -> fievre(X) ]
- H4 : tousse(driss)^temperature38(driss)
- Q2 -
- Forme clausal
- { not gripe(X) V not travail(X) , not fievre(X) V not tousse(X) V gripe(X) , not temperature38(X) V fievre(X) , tousse(driss) , temperature38(driss) }
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement