önermeler mantığı ne demek?
- Bk. eklemler mantığı.
eklemler mantığı
- Mantıksal değişmez olarak yalnız eklemleri, mantıksal olmayan değişmez türleri olarak yalnız önerme türünü kapsayan temel mantık bölümü. || Anl. önermeler mantığı, önerme eklemleri mantığı. Krş.. doğrusaleklemler mantığı, doğrusal olmayaneklemler mantığı.
- Sentential logic, logic of connectives, propositional logic, statement logic.
- Logique propositionnelle, logique des connecteurs
önermeler cebiri
- Önermeler ve bunlar arasındaki işlemlerle uğraşan cebir dalı.
- Algebra of propositions.
önermelerin aksi
- Conversion