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 |