Yazeka
Arama sonuçlarına göre oluşturuldu
Mantıkta "formel" ve "içeriksel" terimleri, önermelerin doğruluğunu değerlendirme bağlamında farklı anlamlar taşır:
- Formel (Biçimsel): Formel mantık, önermenin içeriğine değil, biçimine bakarak doğruluğunu belirler 12. Bu tür önermeler, mantıksal olarak zaten doğru veya yanlıştır ve değişmeden kalır 2. Örnekler arasında "İnsan, insandır." gibi önermeler yer alır 2.
- İçeriksel (Olgusal): İçeriksel önermeler ise doğruluklarını anlamak için dış dünyadan bilgi edinmeyi gerektirir 2. Bu tür önermeler, gözlem ve deney gibi yöntemlerle doğrulanabilir veya yanlışlanabilir 23. Örnekler arasında "Kalem, kırmızıdır." gibi önermeler bulunur 2.
5 kaynaktan alınan bilgiyle göre: