Logical Laws
Edit Page
Report
Scan day: 09 February 2014 UTC
1
Virus safety - good
Description: This page includes a collection of logical laws of the first-order logic. This collection is based on the Kleene's collection from his books 'Introduction to Metamathematics' and 'Mathematical Logic' and includes a few additions.
Logical laws are expressions of the , which hold for any choice of propositions, predicates, or logical formulas replacing variables in the expressions. Logical expressions are constructed using the following
Size: 208 chars
Contact Information
Email: —
Phone&Fax: —
Address: —
Extended: —
WEBSITE Info
| Page title: | Logical Laws |
| Keywords: | |
| Description: | |
| IP-address: | 67.210.110.85 |
WHOIS Info
| NS | Name Server: NS1.LUNARMANIA.COM Name Server: NS2.LUNARMANIA.COM |
| WHOIS | Status: clientTransferProhibited |
| Date | Creation Date: 18-jun-2002 Expiration Date: 18-jun-2015 |