# Matematiksel Mantık

Canonical: https://manyspace.aporia.systems/tr/subjects/mathematics/mathematical-logic-25
Updated: 2026-10-13

Matematiksel Mantık: yaklaşık 12 saat. Her konu önce neye ihtiyaç olduğunu ve neyi açtığını listeler.

## Propositional Logic

- [Önermeler ve Bağlaçlar](https://manyspace.aporia.systems/tr/topics/propositions-connectives-mth-logic-086)
- [Doğruluk Tabloları](https://manyspace.aporia.systems/tr/topics/truth-tables-mth-logic-087)
- [Mantıksal Eşdeğerlikler ve Yasalar](https://manyspace.aporia.systems/tr/topics/logical-equivalences-laws-mth-logic-088)

## Predicate Logic

- [Niteleyiciler (Kuantorlar)](https://manyspace.aporia.systems/tr/topics/quantifiers-mth-logic-089)
- [Niteleyici Önermelerin Çevirisi ve Olumsuzu](https://manyspace.aporia.systems/tr/topics/translation-negation-of-quantified-statements-mth-logic-090)

## Rules of Inference

- [Çıkarım Kuralları](https://manyspace.aporia.systems/tr/topics/inference-rules-mth-logic-091)
- [Geçerli Argümanlar ve Yanılgılar](https://manyspace.aporia.systems/tr/topics/valid-arguments-fallacies-mth-logic-092)
- [Biçimsel Sistemlere Giriş](https://manyspace.aporia.systems/tr/topics/introduction-to-formal-systems-mth-logic-093)