https://ru.wikipedia.org/wiki/Логика_высказываний
https://en.wikipedia.org/wiki/Propositional_calculus, sentential calculus, propositional logic, sentential logic
лат. propositio — «высказывание»

Высказывание (Predicate?)
  (почему тут высказывания это proposition, а там высказывание это predicate? В чём разница между proposition и predicate?)

Отредактировано Лис (2019-11-24 16:38:53)