Формальна логіка: відмінності між версіями

посилання
[неперевірена версія][неперевірена версія]
Немає опису редагування
(посилання)
'''Форма́льна ло́гіка''' — конструювання і дослідження правил перетворення висловів, що зберігають своє істинне значення безвідносно до змісту вхідних в ці вислови понять. У історії [[філософія|філософії]] — окремий розділ або напрям логіки кінця XIX — початку XX ст. У сучасному вжитку — [[синонім]] [[символічна логіка|символічної]], або [[математична логіка|математичної логіки]].
 
== Література ==