Explore >> Select a destination
|
You are here 
|
xorshammer.com | ||
| | | | |
thehousecarpenter.wordpress.com
|
|
| | | | | NB: I've opted to just get straight to the point with this post rather than attempting to introduce the subject first, so it may be of little interest to readers who aren't already interested in proving the completeness theorem for propositional logic. A PDF version of this document is available here. The key thing I... | |
| | | | |
inquiryintoinquiry.com
|
|
| | | | | Introduction The praeclarum theorema, or splendid theorem, is a theorem of propositional calculus noted and named by G.W.Leibniz, who stated and proved it in the following manner. If a is b and d is c, then ad will be bc. This is a fine theorem, which is proved in this way: a is b, therefore... | |
| | | | |
www.logicmatters.net
|
|
| | | | | ||
| | | | |
boldandgreen.wordpress.com
|
|
| | | I tried a new background color for my windows as shown here. Instead of the light grey suggested, I picked a very light brown: R 230 Y 222 B 188 (as shown on picture). The best thing is to change the background in Word first and test the color. | ||
