click below
click below
Normal Size Small Size show me how
Matematik
| P ise q önermesinin doğruluk değeri 1 ise bu koşullu önermeye | Gerektirme |
| P ancak ve ancak q doğruluk değeri v1 ise bu koşullu önermeye | Çift gerektirme |
| Bir birleşik önerme bileşenlerinin tüm doğruluk değerleri için daima doğru gösterirse bu bileşik önermeye | Totoloji |
| Bir bileşik önerme tüm doğruluk değerleri için yanlış oluyorsa | Çelişki |
| P ise q önermesinin Karşıtı | yer değiştirir |
| P ise q önermesinin tersi | Değilini alırız |
| P ise q önermesinin karşıt tersinde | Karşıt tersinde yer değiştirip değilini alırız |
| Seri bağlıyken | Ve |
| Paraler bağlıyken | Veya |