Posted By Confutus

The weekend was a busy one. I took my mother to a High School reunion in northeastern Arizona on Saturday, to church Sunday, and a funeral on Monday. I've been doing a little work on Family history, and I got results from some medical tests.


I'm doing a comparison of propositions of classical two-valued logic as developed in Whitehead and Russel's Principia Mathematica. 

1.01 P -> Q defined as  ~P v Q

As already discussed, this is not true in Lukasiewicz 3-valued logic.  

1.2 (P v P) -> P

True in 2VL and 3VL

1.3 Q .-> (P v Q)

True in 2VL and 3VL

1.4 (P v Q) -> (Q v P)

True in 2VL and 3VL

1.5 P v (Q v R) -> Q v (P v R)

True in 2VL and 3VL

1.6 (Q -> R) -> ((P v Q) -> (P v R))

True in 2VL and 3VL


0 Comment(s):
No Comments are found for this entry.
Add a new comment using the form below.

Leave a Comment:
Name: * Email: *
Home Page URL:
Comment: *
   char left.

Enter the text shown in the image on the left: *
 Remember Me?
* fields are requried


User Profile

Recent Entries
Latest Comments

You have 1391021 hits.