в совр. фор мальной логике предложение определенного языка, рассматриваемое в связи с оценками его истинности (истинно, ложно) или модальности (вероятно, возможно, невозможно, необходимо и др.). В., включающее в себя др. В., наз. сложным; в противном случае — простым. Всякое В. выражает нек-рую мысль, являющуюся его содержанием и наз. смыслом В. Та или иная истинностная оценка В. наз. его истинностным значением. Объект, к к-рому относится В., наз. предметом В. Наряду с термином "В." иногда употребляют также термины "предложен
|
