განცხადებული, ნახსენები, ნათქვამი) ლოგიკასა და ლინგვისტიკაში: მტკიცების შემასმენელი, ის, რაც გამოითქმის (დასტურდება ან უარიყოფა) სუბიექტის შესახებ. პრედიკატი სუბიექტთან იმყოფება პრედიკატიულ მიმართებაში და უჩვენებს, ესათუ ის თვისება გააჩნია საგანს თუ არ გააჩნია: მათემატიკაში: იგივეა, რაც საგამონათქვამო ფორმა და წარმოადგენს ლოგიკურ ფუნქციას. ეს არის ნებისმიერი მათემატიკური წინადადება, რომელშიც არის ერთი ცვლადი მაინც.
Source: პედაგოგიკურ ტერმინთა განმარტებითი ლექსიკონი /ჯემალ ჯინჯიხაძე;, რედაქტორი თამაზ კარანაძე. თბილისი: უნივერსალი, 2017.