Consider the following (strange) system of propositional logic. The defnition of wffs is the same as for standard propositional logic, and the rules of inference are the same (just one rule: modus ponens); but the axioms are different. For any wffs φand ψ, the following are axioms:
Merci d'avoir visité notre site Web dédié à Philosophie. Nous espérons que les informations partagées vous ont été utiles. N'hésitez pas à nous contacter si vous avez des questions ou besoin d'assistance. À bientôt, et pensez à ajouter ce site à vos favoris !
