Oops! It appears that you have disabled your Javascript. In order for you to see this page as it is meant to appear, we ask that you please re-enable your Javascript!

önerme fonksiyonu

ö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.

Cevapla

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

*

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