|
|

This is only a preview of the paper Click here to register and get the full text. Existing members click here to login
|
|
|
implication does not imply causality... where all statments are true unless you can porove that promise is false. predicat calculus has prdeicate... prdicate is a funtison that returns true or false. for example P(x) x is prime. Is a funtion that take an object and return true it prime flase if otherwise. P(3)=T P(7,2)=F p(36)=F in additon to prediciates we have quantifiers, or the scope of the prsicates. ref. to specfic ... extensial quatifie ÅŒ there exists ÅŒx P(x) Upside down a = all so all is true... possibel to have one or more predicates G(x,y)=x>y all varibles have to be quantified. for ÅÕy ÅŒX G(x, y) for all #s there exists a # where X is greater than y = true ÅŒy ÅÕx G(x, y) negating quantifier....
Approximate Word count = 435 Approximate Pages = 1.7 (250 words per page double spaced)
|
|
|
|
|
|