sud, logički

sud, logički, prosudba (engl. proposition; njem. Urteil; rus. суждение), iskaz kojim se nešto tvrdi ili poriče. U logici sudova samo su dvije mogućnosti valjanosti suda: istina (tvrdnja) ili neistina (laž, poricanje). U formalnoj logici iskazuje se s da i ne, ili vrijednostima 1 i 0 (Booleova algebra). Sud se nužno sastoji od subjekta (misao o onome o čem se nešto tvrdi) i predikata (misao o onome što se o subjektu tvrdi). → logika, matematička, → sklop, logički