Original writings by Avi Sion on the theory and practice of inductive and deductive LOGIC  

The Logician   … Philosophy, Epistemology, Phenomenology, Aetiology, Psychology, Meditation …

Home Future Logic Phenomenology Judaic Logic Buddhist Illogic Logic of Causation Volition & Allied Ruminations Meditations Reflections Other Writings General Sitemap Search Facility BOOKSHOP

www.TheLogician.net                                © Avi Sion - all rights reserved

Home
Return

The Logician

© Avi Sion

All rights reserved

Search

General Sitemap

Collected Abstracts

Contact

BOOKSHOP

 

 
 

  Bookmark and Share

FUTURE LOGIC

© Avi Sion, 1990 (Rev. ed. 1996) All rights reserved.

 

Table 51.1    Consistent Conjunctions of Categoricals.

FORMULA

 An Ac A At Ap In Ic I It Ip En Ec E Et Ep On Oc O Ot Op
An An Ac A At Ap In Ic I It Ip                    
AcIn   Ac A At Ap In Ic I It Ip                    
Ac   Ac A At Ap   Ic I It Ip                    
AIn     A At Ap In Ic I It Ip                    
AIc     A At Ap   Ic I It Ip                    
A     A At Ap     I It Ip                    
AtIn       At Ap In Ic I It Ip                    
AtIc       At Ap   Ic I It Ip                    
AtI       At Ap     I It Ip                    
At       At Ap       It Ip                    
ApIn         Ap In Ic I It Ip                    
ApIc         Ap   Ic I It Ip                    
ApI         Ap     I It Ip                    
ApIt         Ap       It Ip                    
Ap         Ap         Ip                    
In           In Ic I It Ip                    
Ic             Ic I It Ip                    
I               I It Ip                    
It                 It Ip                    
Ip                   Ip                    
AcInOp   Ac A At Ap In Ic I It Ip                   Op
AcOp   Ac A At Ap   Ic I It Ip                   Op
AInOp     A At Ap In Ic I It Ip                   Op
AIcOp     A At Ap   Ic I It Ip                   Op
AOp     A At Ap     I It Ip                   Op
AtInOp       At Ap In Ic I It Ip                   Op
AtIcOp       At Ap   Ic I It Ip                   Op
AtIOp       At Ap     I It Ip                   Op
AtOp       At Ap       It Ip                   Op
ApInOp         Ap In Ic I It Ip                   Op
ApIcOp         Ap   Ic I It Ip                   Op
ApIOp         Ap     I It Ip                   Op
ApItOp         Ap       It Ip                   Op
ApOp         Ap         Ip                   Op
InOp           In Ic I It Ip                   Op
IcOp             Ic I It Ip                   Op
IOp               I It Ip                   Op
ItOp                 It Ip                   Op
IpOp                   Ip                   Op
Op                                       Op
AInOt     A At Ap In Ic I It Ip                 Ot Op
AIcOt     A At Ap   Ic I It Ip                 Ot Op
AOt     A At Ap     I It Ip                 Ot Op
AtInOt       At Ap In Ic I It Ip                 Ot Op
AtIcOt       At Ap   Ic I It Ip                 Ot Op
AtIOt       At Ap     I It Ip                 Ot Op
AtOt       At Ap       It Ip                 Ot Op
ApInOt         Ap In Ic I It Ip                 Ot Op
ApIcOt         Ap   Ic I It Ip                 Ot Op
ApIOt         Ap     I It Ip                 Ot Op
ApItOt         Ap       It Ip                 Ot Op
ApOt         Ap         Ip                 Ot Op
InOt           In Ic I It Ip                 Ot Op
IcOt             Ic I It Ip                 Ot Op
IOt               I It Ip                 Ot Op
ItOt                 It Ip                 Ot Op
IpOt                   Ip                 Ot Op
Ot                                     Ot Op
AtInO       At Ap In Ic I It Ip               O Ot Op
AtIcO       At Ap   Ic I It Ip               O Ot Op
AtIO       At Ap     I It Ip               O Ot Op
AtO       At Ap       It Ip               O Ot Op
ApInO         Ap In Ic I It Ip               O Ot Op
ApIcO         Ap   Ic I It Ip               O Ot Op
ApIO         Ap     I It Ip               O Ot Op
ApItO         Ap       It Ip               O Ot Op
ApO         Ap         Ip               O Ot Op
InO           In Ic I It Ip               O Ot Op
IcO             Ic I It Ip               O Ot Op
IO               I It Ip               O Ot Op
ItO                 It Ip               O Ot Op
IpO                   Ip               O Ot Op
O                                   O Ot Op
ApInOc         Ap In Ic I It Ip             Oc O Ot Op
ApIcOc         Ap   Ic I It Ip             Oc O Ot Op
ApIOc         Ap     I It Ip             Oc O Ot Op
ApItOc         Ap       It Ip             Oc O Ot Op
ApOc         Ap         Ip             Oc O Ot Op
InOc           In Ic I It Ip             Oc O Ot Op
IcOc             Ic I It Ip             Oc O Ot Op
IOc               I It Ip             Oc O Ot Op
ItOc                 It Ip             Oc O Ot Op
IpOc                   Ip             Oc O Ot Op
Oc                                 Oc O Ot Op
InOn           In Ic I It Ip           On Oc O Ot Op
IcOn             Ic I It Ip           On Oc O Ot Op
IOn               I It Ip           On Oc O Ot Op
ItOn                 It Ip           On Oc O Ot Op
IpOn                   Ip           On Oc O Ot Op
On                               On Oc O Ot Op
AcEp   Ac A At Ap   Ic I It Ip         Ep         Op
AIcEp     A At Ap   Ic I It Ip         Ep         Op
AEp     A At Ap     I It Ip         Ep         Op
AtIcEp       At Ap   Ic I It Ip         Ep         Op
AtIEp       At Ap     I It Ip         Ep         Op
AtEp       At Ap       It Ip         Ep         Op
ApIcEp         Ap   Ic I It Ip         Ep         Op
ApIEp         Ap     I It Ip         Ep         Op
ApItEp         Ap       It Ip         Ep         Op
ApEp         Ap         Ip         Ep         Op
IcEp             Ic I It Ip         Ep         Op
IEp               I It Ip         Ep         Op
ItEp                 It Ip         Ep         Op
IpEp                   Ip         Ep         Op
Ep                             Ep         Op
AIcEpOt     A At Ap   Ic I It Ip         Ep       Ot Op
AEpOt     A At Ap     I It Ip         Ep       Ot Op
AtIcEpOt       At Ap   Ic I It Ip         Ep       Ot Op
AtIEpOt       At Ap     I It Ip         Ep       Ot Op
AtEpOt       At Ap       It Ip         Ep       Ot Op
ApIcEpOt         Ap   Ic I It Ip         Ep       Ot Op
ApIEpOt         Ap     I It Ip         Ep       Ot Op
ApItEpOt         Ap       It Ip         Ep       Ot Op
ApEpOt         Ap         Ip         Ep       Ot Op
IcEpOt             Ic I It Ip         Ep       Ot Op
IEpOt               I It Ip         Ep       Ot Op
ItEpOt                 It Ip         Ep       Ot Op
IpEpOt                   Ip         Ep       Ot Op
EpOt                             Ep       Ot Op
AtIcEpO       At Ap   Ic I It Ip         Ep     O Ot Op
AtIEpO       At Ap     I It Ip         Ep     O Ot Op
AtEpO       At Ap       It Ip         Ep     O Ot Op
ApIcEpO         Ap   Ic I It Ip         Ep     O Ot Op
ApIEpO         Ap     I It Ip         Ep     O Ot Op
ApItEpO         Ap       It Ip         Ep     O Ot Op
ApEpO         Ap         Ip         Ep     O Ot Op
IcEpO             Ic I It Ip         Ep     O Ot Op
IEpO               I It Ip         Ep     O Ot Op
ItEpO                 It Ip         Ep     O Ot Op
IpEpO                   Ip         Ep     O Ot Op
EpO                             Ep     O Ot Op
ApIcEpOc         Ap   Ic I It Ip         Ep   Oc O Ot Op
ApIEpOc         Ap     I It Ip         Ep   Oc O Ot Op
ApItEpOc         Ap       It Ip         Ep   Oc O Ot Op
ApEpOc         Ap         Ip         Ep   Oc O Ot Op
IcEpOc             Ic I It Ip         Ep   Oc O Ot Op
IEpOc               I It Ip         Ep   Oc O Ot Op
ItEpOc                 It Ip         Ep   Oc O Ot Op
IpEpOc                   Ip         Ep   Oc O Ot Op
EpOc                             Ep   Oc O Ot Op
IcEpOn             Ic I It Ip         Ep On Oc O Ot Op
IEpOn               I It Ip         Ep On Oc O Ot Op
ItEpOn                 It Ip         Ep On Oc O Ot Op
IpEpOn                   Ip         Ep On Oc O Ot Op
EpOn                             Ep On Oc O Ot Op
AEt     A At Ap     I It Ip       Et Ep       Ot Op
AtIEt       At Ap     I It Ip       Et Ep       Ot Op
AtEt       At Ap       It Ip       Et Ep       Ot Op
ApIEt         Ap     I It Ip       Et Ep       Ot Op
ApItEt         Ap       It Ip       Et Ep       Ot Op
ApEt         Ap         Ip       Et Ep       Ot Op
IEt               I It Ip       Et Ep       Ot Op
ItEt                 It Ip       Et Ep       Ot Op
IpEt                   Ip       Et Ep       Ot Op
Et                           Et Ep       Ot Op
AtIEtO       At Ap     I It Ip       Et Ep     O Ot Op
AtEtO       At Ap       It Ip       Et Ep     O Ot Op
ApIEtO         Ap     I It Ip       Et Ep     O Ot Op
ApItEtO         Ap       It Ip       Et Ep     O Ot Op
ApEtO         Ap         Ip       Et Ep     O Ot Op
IEtO               I It Ip       Et Ep     O Ot Op
ItEtO                 It Ip       Et Ep     O Ot Op
IpEtO                   Ip       Et Ep     O Ot Op
EtO                           Et Ep     O Ot Op
ApIEtOc         Ap     I It Ip       Et Ep   Oc O Ot Op
ApItEtOc         Ap       It Ip       Et Ep   Oc O Ot Op
ApEtOc         Ap         Ip       Et Ep   Oc O Ot Op
IEtOc               I It Ip       Et Ep   Oc O Ot Op
ItEtOc                 It Ip       Et Ep   Oc O Ot Op
IpEtOc                   Ip       Et Ep   Oc O Ot Op
EtOc                           Et Ep   Oc O Ot Op
IEtOn               I It Ip       Et Ep On Oc O Ot Op
ItEtOn                 It Ip       Et Ep On Oc O Ot Op
IpEtOn                   Ip       Et Ep On Oc O Ot Op
EtOn                           Et Ep On Oc O Ot Op
AtE       At Ap       It Ip     E Et Ep     O Ot Op
ApItE         Ap       It Ip     E Et Ep     O Ot Op
ApE         Ap         Ip     E Et Ep     O Ot Op
ItE                 It Ip     E Et Ep     O Ot Op
IpE                   Ip     E Et Ep     O Ot Op
E                         E Et Ep     O Ot Op
ApItEOc         Ap       It Ip     E Et Ep   Oc O Ot Op
ApEOc         Ap         Ip     E Et Ep   Oc O Ot Op
ItEOc                 It Ip     E Et Ep   Oc O Ot Op
IpEOc                   Ip     E Et Ep   Oc O Ot Op
EOc                         E Et Ep   Oc O Ot Op
ItEOn                 It Ip     E Et Ep On Oc O Ot Op
IpEOn                   Ip     E Et Ep On Oc O Ot Op
EOn                         E Et Ep On Oc O Ot Op
ApEc         Ap         Ip   Ec E Et Ep   Oc O Ot Op
IpEc                   Ip   Ec E Et Ep   Oc O Ot Op
Ec                       Ec E Et Ep   Oc O Ot Op
IpEcOn                   Ip   Ec E Et Ep On Oc O Ot Op
EcOn                       Ec E Et Ep On Oc O Ot Op
En                     En Ec E Et Ep On Oc O Ot Op
 

 

Home Return            Search           General Sitemap             Collected Abstracts          Contact        BOOKSHOP