Sonuç - Consequent
Bir sonuç olarak , varsayımsal bir ikinci yarısı önerme . Böyle bir önermenin standart biçiminde, "o zaman"ı takip eden kısımdır. Bir imada , eğer P , Q'yu ima ediyorsa , o zaman P'ye öncül denir ve Q'ya sonuç denir . Bazı bağlamlarda, sonuca apodoz denir .
Örnekler:
- Eğer öyleyse .
bu varsayımsal önermenin sonucudur.
- Eğer bir memeliyse, o zaman bir hayvandır.
Burada " bir hayvandır" sonucudur.
- Bilgisayarlar düşünebiliyorsa, yaşıyorlar demektir.
Sonuç "Onlar yaşıyor".
Varsayımsal bir önermedeki sonuç, mutlaka öncülün bir sonucu değildir.
- Maymunlar morsa, balıklar Klingonca konuşur.
"Balık Klingonca konuşur" burada bir sonuçtur, ancak sezgisel olarak, "maymunlar mordur" şeklindeki öncülde yapılan iddianın bir sonucu değildir (ve bununla hiçbir ilgisi yoktur).
Ayrıca bakınız
Referanslar
 |
Bu mantık lı makale bir taslaktır . Vikipedi'yi genişleterek yardımcı olabilirsiniz . |