Формальна логіка: відмінності між версіями
Перейти до навігації
Перейти до пошуку
[неперевірена версія] | [неперевірена версія] |
Вилучено вміст Додано вміст
D'ohBot (обговорення | внесок) м робот додав: bg:Формална логика |
м робот додав: de:Formale Logik, ja:形式論理学, tr:Formel mantık |
||
Рядок 11: | Рядок 11: | ||
[[az:Formal məntiq]] |
[[az:Formal məntiq]] |
||
[[bg:Формална логика]] |
[[bg:Формална логика]] |
||
[[de:Formale Logik]] |
|||
[[ja:形式論理学]] |
|||
[[ru:Формальная логика]] |
[[ru:Формальная логика]] |
||
[[tr:Formel mantık]] |
Версія за 15:26, 4 липня 2009
Формальна логіка — конструювання і дослідження правил перетворення висловів, що зберігають своє істинне значення безвідносно до змісту вхідних в ці вислови понять. У історії філософії — окремий розділ або напрям логіки кінця XIX — початку XX ст. У сучасному вжитку — синонім символічної, або математичної логіки.
Ця стаття не містить посилань на джерела. |
Це незавершена стаття з математики. Ви можете допомогти проєкту, виправивши або дописавши її. |