Class IMPLICATION


Slots on this class:

Instance-Of: Class
Subclass-Of: Logsent

Equivalence Axioms:

(<=> (Implication ?X)
     (Exists (?Plist)
             (And (List ?Plist)
                  (>= (Length ?Plist) 2)
                  (=> (Item ?P ?Plist) (Sentence ?P))
                  (= ?X (Cons (Quote =>) ?Plist)))))


Axioms:

(Exists (?Plist)
        (And (List ?Plist)
             (>= (Length ?Plist) 2)
             (=> (Item ?P ?Plist) (Sentence ?P))
             (= ?X (Cons (Quote =>) ?Plist))))


Other Related Axioms:

(Exhaustive-Subclass-Partition Logsent
                               (Setof Negation
                                      Conjunction
                                      Disjunction
                                      Implication
                                      Reverse-Implication
                                      Equivalence))

(<=> (Implication ?X)
     (Exists (?Plist)
             (And (List ?Plist)
                  (>= (Length ?Plist) 2)
                  (=> (Item ?P ?Plist) (Sentence ?P))
                  (= ?X (Cons (Quote =>) ?Plist)))))