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

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