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

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

Home
Return

The Logician

© Avi Sion

All rights reserved

General Sitemap

Search

Contact

 

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