Her aksiyon bir önerme midir? Aksiyomlar ispatı mümkün olmayan ifadeler değil, referansı belirleyen ifadelerdir. Önerme olup olmadığını nasıl anlarız? Mantıkta, doğrulanabilir veya yanlışlanabilir olması gereken ifadelere önermeler denir. Bazı önermeler, doğru veya yanlış olsun ifadelerdir; yani, önermenin doğru veya yanlış olduğunu bilmek gerekli değildir, doğrulanabilir olduğunu bilmek yeterlidir. Ne önerme değildir? Kesinlikle doğru veya yanlış olan ifadelere önerme denir. Bir ifade ya kesinlikle doğrudur ya da kesinlikle yanlıştır. Bazen doğru bazen yanlış olan veya bazıları için doğru, diğerleri için yanlış olan ifadeler ifade değildir. Ayrıca, soru, emir ve ünlem cümleleri önerme değildir. Her aksiyom teorem midir? Kanıtlanmadan doğru kabul edilen…
Yorum Bırak