Правило висновування: історія змін

6 квітня 2024

• поточн.попер. 08:3308:33, 6 квітня 2024‎ Tolsai обговорення внесок‎ 21 676 байтів +8‎ Функція пропозицій посилань: додано 2 посилання. скасувати Мітки: Візуальний редактор Завдання новачку Запропоноване: додати посилання [перевірена користувачем Bunyk]

11 серпня 2023

• поточн.попер. 06:2606:26, 11 серпня 2023‎ InternetArchiveBot обговорення внесок‎ 21 668 байтів +122‎ Виправлено джерел: 1; позначено як недійсні: 0.) #IABot (v2.0.9.5 скасувати [автоматично перевірена]

30 травня 2023

• поточн.попер. 09:3909:39, 30 травня 2023‎ BunykBot обговорення внесок‎ м 21 546 байтів +48‎ Категоризація скасувати [автоматично перевірена]

28 травня 2023

• поточн.попер. 15:2715:27, 28 травня 2023‎ Submajstro обговорення внесок‎ м 21 498 байтів −48‎ вилучено Категорія:Висновування за допомогою HotCat скасувати [автоматично перевірена]

24 липня 2022

• поточн.попер. 15:3015:30, 24 липня 2022‎ BunykBot обговорення внесок‎ м 21 546 байтів +296‎ повідомлення про помилки вікіфікації скасувати Мітка: Ручний відкіт [автоматично перевірена]
• поточн.попер. 12:1412:14, 24 липня 2022‎ Olexa Riznyk обговорення внесок‎ 21 250 байтів −296‎ Скасування редагування № 36635176 користувача BunykBot (обговорення) некоректна робота бота, див. Обговорення користувача:Olexa Riznyk#Ергономіка вікіфікації скасувати Мітки: Скасування Скасовано [автоматично перевірена]
• поточн.попер. 09:5909:59, 24 липня 2022‎ BunykBot обговорення внесок‎ м 21 546 байтів +296‎ повідомлення про помилки вікіфікації скасувати Мітки: Ручний відкіт Скасовано [автоматично перевірена]
• поточн.попер. 09:1909:19, 24 липня 2022‎ Olexa Riznyk обговорення внесок‎ 21 250 байтів −296‎ Скасування редагування № 36616993 користувача BunykBot (обговорення) у вікіфікації помилки немає, є невисвітленість поняття у відповіднику елемента вікіданих скасувати Мітки: Скасування Скасовано [автоматично перевірена]
• поточн.попер. 09:1609:16, 24 липня 2022‎ Olexa Riznyk обговорення внесок‎ 21 546 байтів −496‎ вікіфікація скасувати [автоматично перевірена]

22 липня 2022

• поточн.попер. 09:5809:58, 22 липня 2022‎ BunykBot обговорення внесок‎ м 22 042 байти +296‎ повідомлення про помилки вікіфікації скасувати Мітка: Скасовано [автоматично перевірена]

17 липня 2022

• поточн.попер. 22:3022:30, 17 липня 2022‎ SashkoR0B0T обговорення внесок‎ м 21 746 байтів +412‎ повідомлення про помилки вікіфікації скасувати [автоматично перевірена]

29 березня 2022

• поточн.попер. 11:2911:29, 29 березня 2022‎ InternetArchiveBot обговорення внесок‎ 21 334 байти +240‎ Bluelink 2 books for Перевірність (20220328)) #IABot (v2.0.8.6) (GreenC bot скасувати [автоматично перевірена]

11 березня 2022

• поточн.попер. 08:4408:44, 11 березня 2022‎ Lxlalexlxl обговорення внесок‎ 21 094 байти −40‎ Немає опису редагування скасувати [автоматично перевірена]

29 грудня 2021

• поточн.попер. 01:3001:30, 29 грудня 2021‎ SashkoR0B0T обговорення внесок‎ м 21 134 байти −406‎ виправлена вікіфікація скасувати Мітка: Ручний відкіт [автоматично перевірена]

26 грудня 2021

• поточн.попер. 01:1901:19, 26 грудня 2021‎ SashkoR0B0T обговорення внесок‎ м 21 540 байтів +406‎ повідомлення про помилки вікіфікації скасувати Мітка: Скасовано [автоматично перевірена]

13 лютого 2020

• поточн.попер. 02:1002:10, 13 лютого 2020‎ BunykBot обговорення внесок‎ м 21 134 байти −64‎ автоматична заміна {{Не перекладено}} вікі-посиланнями на перекладені статті скасувати [автоматично перевірена]

23 жовтня 2019

• поточн.попер. 20:0620:06, 23 жовтня 2019‎ InternetArchiveBot обговорення внесок‎ 21 198 байтів +136‎ Bluelinking 1 books for verifiability.) #IABot (v2.1alpha3 скасувати [автоматично перевірена]

25 грудня 2017

• поточн.попер. 16:4816:48, 25 грудня 2017‎ Bunyk обговорення внесок‎ м 21 062 байти −49‎ -Шаблон:нп для Ефективна процедура скасувати [автоматично перевірена]

28 травня 2017

• поточн.попер. 00:3900:39, 28 травня 2017‎ Olexa Riznyk обговорення внесок‎ 21 111 байтів +51‎ актуалізовано переклад en:Rule of inference: https://en.wikipedia.org/w/index.php?title=Rule_of_inference&oldid=761854035 скасувати [автоматично перевірена]

27 травня 2017

• поточн.попер. 19:3819:38, 27 травня 2017‎ Olexa Riznyk обговорення внесок‎ м 21 060 байтів 0‎ Olexa Riznyk перейменував сторінку з Правило виведення на Правило висновування: уточнення перекладу скасувати [автоматично перевірена]
• поточн.попер. 19:3719:37, 27 травня 2017‎ Olexa Riznyk обговорення внесок‎ 21 060 байтів +199‎ уточнено переклад (inference: виведення →‎ висновування, proposition: пропозиція →‎ висловлення, ...) скасувати [автоматично перевірена]

18 грудня 2016

• поточн.попер. 16:3416:34, 18 грудня 2016‎ BunykBot обговорення внесок‎ м 20 861 байт −66‎ напівавтоматичне прибирання зайвих шаблонів про переклад скасувати [автоматично перевірена]

17 грудня 2016

• поточн.попер. 08:1308:13, 17 грудня 2016‎ Olexa Riznyk обговорення внесок‎ м 20 927 байтів −8‎ вилучена Категорія:Логічна істинність; додана Категорія:Логічна істина з допомогою HotCat скасувати [автоматично перевірена]

4 вересня 2016

• поточн.попер. 16:0416:04, 4 вересня 2016‎ Olexa Riznyk обговорення внесок‎ 20 935 байтів +69‎ +англомовні відповідники скасувати [автоматично перевірена]

26 квітня 2016

• поточн.попер. 18:3518:35, 26 квітня 2016‎ Olexa Riznyk обговорення внесок‎ м 20 866 байтів −52‎ →‎Див. також: -шаблон:нп скасувати [автоматично перевірена]

30 квітня 2015

• поточн.попер. 16:4316:43, 30 квітня 2015‎ PavloChemBot обговорення внесок‎ м 20 918 байтів +506‎ Виконується заміна шаблонів "Не перекладено" скасувати [автоматично перевірена]

5 квітня 2015

• поточн.попер. 18:4318:43, 5 квітня 2015‎ Olexa Riznyk обговорення внесок‎ 20 412 байтів +66‎ →‎Див. також: +Структурне правило згідно оригіналу en:Rule of inference: https://en.wikipedia.org/w/index.php?title=Rule_of_inference&oldid=654518943 скасувати [автоматично перевірена]

10 березня 2015

• поточн.попер. 05:1805:18, 10 березня 2015‎ Olexa Riznyk обговорення внесок‎ м 20 346 байтів −1‎ →‎Див. також: стильові правлення скасувати [автоматично перевірена]

9 березня 2015

• поточн.попер. 21:3121:31, 9 березня 2015‎ Olexa Riznyk обговорення внесок‎ м 20 347 байтів +45‎ +Правила перетворення скасувати [автоматично перевірена]
• поточн.попер. 17:5717:57, 9 березня 2015‎ Olexa Riznyk обговорення внесок‎ м 20 302 байти +2‎ новий ключ сортування для Категорія:Правила виведення: " " з допомогою HotCat скасувати [автоматично перевірена]
• поточн.попер. 17:0617:06, 9 березня 2015‎ Olexa Riznyk обговорення внесок‎ м 20 300 байтів +21‎ вилучена Категорія:Числення; додана Категорія:Числення висловлень з допомогою HotCat скасувати [автоматично перевірена]
• поточн.попер. 00:4000:40, 9 березня 2015‎ Olexa Riznyk обговорення внесок‎ 20 279 байтів +5019‎ остаточно перекладено en:Rule of inference: https://en.wikipedia.org/w/index.php?title=Rule_of_inference&oldid=644269264 скасувати [автоматично перевірена]

8 березня 2015

• поточн.попер. 21:2721:27, 8 березня 2015‎ Olexa Riznyk обговорення внесок‎ 15 260 байтів +5099‎ →‎Приклад: Гільбертові системи для двопропозиційних логік: перекладено з en:Rule of inference#Example: Hilbert systems for two propositional logics: oldid=644269264 скасувати [автоматично перевірена]

5 березня 2015

• поточн.попер. 22:3622:36, 5 березня 2015‎ Olexa Riznyk обговорення внесок‎ 10 161 байт +3055‎ →‎Аксіомні схеми та аксіоми: перекладено з en:Rule of inference#Axiom schemas and axiom: https://en.wikipedia.org/w/index.php?title=Rule_of_inference&oldid=644269264#Axiom_schemas_and_axioms скасувати [автоматично перевірена]
• поточн.попер. 22:2522:25, 5 березня 2015‎ Olexa Riznyk обговорення внесок‎ м 7106 байтів +3128‎ →‎Стандартна форма правил виведення: перекладено з en:Rule of inference#The standard form of rules of inference: https://en.wikipedia.org/w/index.php?title=Rule_of_inference&oldid=644269264 скасувати [автоматично перевірена]

27 грудня 2014

• поточн.попер. 09:0509:05, 27 грудня 2014‎ Olexa Riznyk обговорення внесок‎ м 3978 байтів +46‎ +перекласти скасувати [автоматично перевірена]

21 грудня 2014

• поточн.попер. 11:3511:35, 21 грудня 2014‎ Olexa Riznyk обговорення внесок‎ 3932 байти +3855‎ Перекладено вступний розділ з en:Rule of inference: https://en.wikipedia.org/w/index.php?title=Rule_of_inference&oldid=630170189 скасувати [перевірена користувачем Olexa Riznyk]

6 липня 2010

• поточн.попер. 16:3216:32, 6 липня 2010‎ Олюсь обговорення внесок‎ м 77 байтів +77‎ Перенаправлено на Числення секвенцій#Правила виводу