Sembolik Mantık Deneme Sınavı Sorusu #972963
Bir nicelemeli önermenin bir kümedeki açılımını elde etmekteki temel fikir, nedir?
|
Niceleme mantığında önermelerin yorumlanması için temel kavram olan “model” kavramını ele alabilmek |
|
Bir önermeyi, bir önerme kümesini veya bir çıkarımı herhangi bir S kümesi üzerindeki bir modelde denetlemek |
|
Gündelik dilde bir yüklemin işlevi, kimi varlıkların sahip olduğu, kimi varlıkların ise sahip olmadığı bir özelliği dile getirmek |
|
Bir önermenin, dolayısıyla bir önermeler kümesinin veya çıkarımın, bir modelde denetlenebilmesi |
|
Önermenin ifade ettiği yargıyı ortaya koymak |
Bir nicelemeli önermenin bir kümedeki açılımını elde etmekteki temel fikir, hakkında konuştuğumuz tüm varlıklar yani “konuşma evreni” bu küme olduğunda, önermenin ifade ettiği yargıyı ortaya koymaktır. Belirttiğimiz gibi, bizim kullanacağımız tüm kümeler sonlu olacağından, önermenin açılımı da belli uzunlukta bir ifade olacaktır.
Yorumlar
- 0 Yorum