ÖNERME EKLEMLERİ
Geçerli bir çıkarımda tüm öncüllerin doğru olduğu varsayıldığında, sonuç önermesi nasıl olur?
Doğru olur.
Başka bir önermeden türetilmemiş olan önermelere ne isim verilir?
Basit önermeler.
En az bir başka önermeden elde edilmiş önermelere ne isim verilir?
Bileşik önermeler.
Önermelere eklenerek veya önermeleri birleştirerek yeni önerme elde etmemizi sağlayan ifadelere ne isim verilir?
Önerme eklemleri.
Oluşturdukları bileşik önermenin doğruluk değeri sadece bileşenlerinin doğruluk değerine göre belirlenebilen eklemlere ne isim verilir?
Doğrusal eklemler.
“Dünya Güneşin etrafında döndüğü için (Dünya) yuvarlaktır.” önermesindeki "için" eklemi neden doğrusal bir eklem olarak kabul edilemez?
Önermenin doğruluk değerini sadece “için” ifadesinin anlamına ve birleştirdiğimiz iki önermenin doğruluk değerine bakarak karar veremeyiz.
Önermelerin doğruluğunu niteleyen kiplere verilen diğer isim nedir?
Modaliteler.
“değil” olarak okunan önerme eklemine ne isim verilir?
Değilleme eklemi.
“veya” olarak okunan önerme eklemine ne isim verilir?
Tikel evetleme eklemi.
"↔" sembolü hangi önerme ekleminin sembolüdür?
Karşılıklı-koşul eklemi sembolüdür.
"∨" sembolü hangi önerme ekleminin sembolüdür?
Tikel evetleme eklemi.
Koşul önermesinin “ise” ifadesinden önceki bileşenine ne isim verilir?
Ön bileşen ismi verilir.
Koşul önermesinin “ise” ifadesinden sonraki bileşenine ne isim verilir?
Ard-bileşen ismi verilir.
"Dünya Güneş ile ay arasına girdiğinde ay tutulması olur." önermesi ne tür bir önerme eklemi kullanılarak oluşturulmuş bir önermedir?
Koşul eklemi ile oluşturulmuş bir önermedir.
"Ancak Dünyanın Güneş ile ay arasına girmesi durumunda ay tutulması gerçekleşir." önermesi hangi tür bir önerme eklemi kullanılarak oluşturulmuştur?
Karşılıklı koşul eklemi kullanılarak oluşturulmuştur.
Bir önerme doğru ise değilinin değeri nedir?
Bir önerme doğru ise değilinin değeri yanlıştır.
Tikel evetlemeli önerme hangi durumda yanlış olur?
Tikel evetlemeli önerme, ancak iki bileşeni de yanlış ise yanlış olur. Diğer tüm hallerde önerme doğrudur.
Tüm doğruluk değerlemelerinde doğru olan bir önermeye ne isim verilir?
Totoloji.
En az bir doğruluk değerlemesinde doğru, en az bir doğruluk değerlemesinde yanlış değerini alan bir önermeye ne isim verilir?
Olumsal önerme.
Bir totolojinin değili ne tür bir önermedir?
Bir çelişki önermesidir.