 |
Logic Tutorial
An interactive tool teaching basic formal logic, rendering truth tables as clickable Johnston diagrams. With notes on the Buddhist Nagarjuna and modern symbolic logic.
http://logictutorial.com/
Logictutorial.com ~
Site Info
Whois
Trace Route
RBL Check
|
 |
Logical Laws
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.
http://sakharov.net/logic.html
Sakharov.net ~
Site Info
Whois
Trace Route
RBL Check
|
|
|
|