Matematiksel mantık: Revizyonlar arasındaki fark
| [kontrol edilmiş revizyon] | [kontrol edilmiş revizyon] |
İçerik silindi İçerik eklendi
k →Olumsuzu: başlık düzenlemeleri |
|||
40. satır:
Mantıksal bağlar kullanarak basit önermelerden başka önermeler kurulabilir, ki bunlara “'''bileşik önermeler'''” denir.Önerme matematikte kesin bir hüküm bildiren ifadelere denir.
=== Olumsuzu
Bir önerme “değil” eki ile karşıt ifadeye çevrilebilir; buna olumsuzunu alma denir.
| |||