Állítmány - ez

A jelentését Predicate Ozhegova:
Állítmány - A koncepció meghatározó az ítélet tárgyát (tárgya) az állítmány a mondat, jelezve említett időben a teszt (a cselekvés vagy állapot)

A predikátum Encyclopedic Szótár:
Állítmány - nyelvtan - ige. (. Lat praedicatum - predikátum) - a szűk értelemben vett - azonos chtosvoystvo; tág értelemben - az arány, azaz neskolkihpredmetov ingatlan ... A logika - .. propozicionális funkció, azaz a kifejezés sneopredelennymi kifejezések (változók), a választott konkrét znacheniydlya ezeket a kifejezéseket alakítjuk értelmes (igaz vagy hamis) állítás.

Jelentése állítmányt logikai szókincs:
Predikátum - (a latin praedicatum -. Said) - nyelvi kifejezés-feszültség jelző néhány tulajdonság vagy kapcsolatban. AP-vayuschy rendeletek az egyes objektum tulajdonságait (pl. Ahhoz, hogy a „zöld”), az úgynevezett egységes. AP jelentése az arány, az úgynevezett JELÖLI, két-, három-, és így tovább. E., függően a tagok száma a kapcsolatok ( „Love”, „között van”, és így tovább. D.). A hagyományos logika P. csupán érteni egy ingatlan, pre-kativnaya kapcsolat azt jelentette, hogy a tárgy (a tárgy) velejárója a definíció-lenny jel. Ez a korlátozás jelentősen gyengítik-nek kifejező lehetőségeit nyelvi logika. Különösen a axióma rendszert matematikai elméletek mindig axiómák kimondhatatlan úton egyetlen P. A modern logika predikáció tekinthető egy speciális esete a funkcionális függés. AP hívott függvény értékeket, amelyek niyami nyilatkozatokat. Pl. kifejezés”. van zöld „(vagy” x zöld „) függvénye egy változót, sósav,”. Imádja. "(" X szereti y ") - a függvénye két változó". Között helyezkedik el. és. "(" X jelentése közötti Y és Z »)

függvényében három változó, és így tovább. d. Ezek a kifejezések átalakítják propozicionális-CIÓ megfelelő helyettesítésével nevek változók vagy változó kötések kvantifikátorok (lásd. elsőrendű logika).

A jelentését Predicate szótár Brockhaus és Efron:
Állítmány - lásd állítmány ..