( (∃x(Fx ∧ ¬∃y(y≠x ∧ Fy) ) ) ∧ (∃x(Gx ∧ ¬∃y(y≠x ∧ Gy) ) ) ∧ ¬∃x(Fx ∧ Gx) ) ⊃ ∃x∃y( (Fx ∨ Gx) ∧ (Fy ∨ Gy) ∧ (x≠y) ∧ ¬∃z( (z≠x ∧ z≠y) ∧ (Fz ∨ Gz) ) )
The set of tautologies in L is the theory generated by the empty set (ie no axioms). — andrewk
Get involved in philosophical discussions about knowledge, truth, language, consciousness, science, politics, religion, logic and mathematics, art, history, and lots more. No ads, no clutter, and very little agreement — just fascinating conversations.