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

м
нема опису редагування
[неперевірена версія][неперевірена версія]
м (робот додав: ko:형식논리학)
мНемає опису редагування
'''ФормальнаФорма́льна логікало́гіка''' — конструювання і дослідження правил перетворення висловів, що зберігають своє істинне значення безвідносно до змісту вхідних в ці вислови понять. У історії [[філософія|філософії]] — окремий розділ або напрям логіки кінця XIX — початку XX ст. У сучасному вжитку — [[синонім]] символічної, або [[математична логіка|математичної логіки]].
 
{{Портал математика}}
128 365

редагувань