Обговорення:Правило висновування
Найсвіжіший коментар: Olexa Riznyk у темі «Джерела» 9 років тому
| Ця стаття є частиною Проєкту:Математика (рівень: 3, важливість: середня) | ||
|---|---|---|
|
Мета проєкту — створення якісних та інформативних статей на теми, пов'язані з Математикою. Ви можете покращити цю статтю, відредагувавши її, а на сторінці проєкту вказано, чим ще можна допомогти. Учасники проєкту будуть вам вдячні. | |
| III (у розвитку) |
Ця стаття за шкалою оцінок статей Проєкту:Математика має рівень «стаття у розвитку». | |
|
Середня |
Важливість цієї статті для проєкту Математика: «середня» | |
Чим допомогти: Статті до створення та доопрацювання
| ||
 | Ця стаття містить текст, перекладений (починаючи з версії № 20467079) зі статті «Rule of inference» англійської Вікіпедії. |  |
Джерела ред.
Можливо, це могло би бути джерелами, треба отримати доступ до них, і перевірити:
- Слупецкий Е., Борковський Л., Елементи математичної логіки і теорія безлічі, пер.(переведення) з польськ.(польський), М., 1965
- Серебрянников О. Ф., Евристичні принципи і логічні числення, М-код,, 1970
- Смирнов Ст А., формальний вивід і логічні числення, М., 1972