Website review: First-order logic - Wikipedia, the ...
kingdomknight discovered this in Logic
•1 reviews since Nov 30, 2006
logic
•en.wikipedia.org/wiki/Predicate_calculus
People who like this website
StumbleUpon is the best way to discover great web sites, videos, photos, blogs and more - based on your interests.
Everything is submitted and rated by the community. Discover, share and review the best of the web!
Reviews of this website
kingdomknight discovered 22 months ago- First-order logic (FOL), also known as first-order predicate calculus (FOPC), is a system of deduction extending propositional logic (equivalently, sentential logic). It is in turn extended by second-order logic.
Subscribe to updates