önerme fonksiyonu

Paylaşmak Güzeldir Sende Paylaşır Mısın?

önerme fonksiyonu, mantıkta, içerdiği bir
ya da daha fazla x değişkenine belirli
değerler verildiğinde mantıksal değeri doğru
ya da yanlış olan önerme biçimi. Doğal
dildeki önermelerin mantık içinde çözümlenmesini
sağlamak amacıyla yapılmış bir
soyutlamanın ürünüdür ve simgesel mantıkta
doğrulukları değişken öğelere bağlı önermelerin
ele alınmasına olanak sağlar. Önerme
fonksiyonu matematikteki fonksiyonlara
benzer biçimde, A (*)*ya da A ( x , , x 2 ,
xn) simgeleriyle anlatılan önerme biçimlerinden
(ya da yüklemlerden) elde edilir.
Örneğin, “x küçüktür” ya da ux büyük
değildir” gibi önerme biçimlerinde, “x”e bir
ad ya da değerin verilmesi, doğru ya da
yanlış olan belirli bir önermeye yol açar.
Ama “x küçüktür” önermesinin kendi içinde
mantıksal doğruluk değeri yoktur. Bu
önerme biçimlerinden soyutlanınca A(x)
biçiminde bir önerme fonksiyonu elde edilir
ve fonksiyonun mantıksal değeri örneğin,
“x ” yerine “fare” konduğunda doğru, “fil”
konduğunda yanlış olur.


Paylaşmak Güzeldir Sende Paylaşır Mısın?

Cevapla

E-posta adresiniz yayınlanmayacak. Gerekli alanlar işaretlenmelidir *

*

This site uses Akismet to reduce spam. Learn how your comment data is processed.