તરીકે ઓળખવામાં આવે છે  ઔપચારિક તર્કશાસ્ત્ર,  ત્યાં બે નિવેદનો ઘટકો છે: ઉક્તિ અને મૉડસ જ્યાં ઉક્તિ - તે સામગ્રી ધરાવે છે જે વાસ્તવમાં એક સંદેશ કંપોઝ છે, અને સ્થિતિ - આ એક વ્યક્તિગત મૂલ્યાંકન છે.