The prelinearity axiom, represented by the formula (P → Q) ∨ (Q…
Sign in to your account
Remember me
