Posted By Confutus

More comparison of logical theorems from Whitehead and Russel with Lukasiewicz 3-valued logic:

2.01 (P -> ~P) - >~P

This rule, one of those that is called "reductio ad absurdam", or proof by contradiction, or negation introduction in natural deduction systems, does not hold in 3VL. However, in general if a proposition holds in 2 valued logic, there is usually at least one modified or restricted version using modal concepts in 3-valued logic that does holds.   (P -> ~P) -> <>~P (If P implies not-P, then possibly not P) is valid in 3VL.  (P -> ~<>P) -> ~P (if P implies not possible P, then not P) is also valid.

2.02 Q -> (P -> Q)

Valid in 2VL and 3VL

2.03 (P -> ~Q) -> (Q -> ~P)

The contrapositive works in 3 valued logic exactly as it does in 2 valued logic; a convenience.

2.04 ((P-> (Q->R)) ->( Q -> (P -> R))

Valid in 2VL and 3VL

2.05 (Q -> R) -> ((P-> Q) ->(P -> R))

Valid in 2VL and 3VL

2.06 (P -> Q) -> ((Q -> R) -> (P - R))

Valid in 2VL and 3VL

2.07 P > (P v P)

Valid in 2VL and 3VL

2.08 P-> P

Valid 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 1326424 hits.