Bir önermenin doğru olması ne anlama gelir sorusu mantık felsefesi?

Yorumlanmış bir önermenin mantıkça doğru olması, bu önermenin tüm yorumlan doğru olan sembolik bir önermenin yorumu olması demektir. Buna göre mantıkça doğru olan her önerme doğrudur, ama her doğru önerme mantıkça doğru değildir.