ABSTRACT

T h e s ta te m e n ts lis te d b e lo w a re d e d u c ib le fro m th e e m p ty set in th e c a lc u li c m q tj in w h ic h th e p ro p o s it io n a l p a r t is re s tr ic te d to m in im a l p ro p o s it io n a l lo g ic . I s h a ll use an a b b r e v ia t in g n o ta t io n : 3 -> -iV-i , s a y , e xp resses th a t fo r e v e ry v a r ia b le x a n d fo r e v e ry fo rm u la v th e re is a d e d u c tio n o f th e fo r ­ m u la 3 x v -> -i Vx n v , a n d V -i - -i 3 exp resses th a t fo r e v e ry x an d e v e ry v th e fo rm u la s Vx i v , -i 3 x v a re in te rd e d u c ib le .