Все планеты вращаются вокруг Солнца». В традиционной логике форма высказывания будет иметь вид: «Все S суть Р», здесь S и Р — это переменные, замещающие общие термины (понятия) «планета» и «тело, вращающееся вокруг Солнца», само высказывание оказывается атрибутивным и общеутвердительным. В языке логики предикатов высказывание станет реляционным (отношение «х вращается вокруг у»), а его логическая форма приобретет вид формулы: ∀x (Q (x) → R (x, a)), где Q соответствует знаку свойства «быть планетой», R — знаку отношения «вращается вокруг», a — имени «Солнце», а знак → означает логическую константу «если, то». А в языке логики высказываний данное высказывание станет
Логика. Учебник
·
О.В. Малюкова
