Історія сторінки
5 листопада 2020
23 грудня 2018
19 червня 2018
1 червня 2018
20 листопада 2017
23 травня 2017
→Приклад 2 (аксіоми Лукашевич): правопис
м+2
→Приклад 2 (аксіоми Лукасевича): правопис
+3
→Виведення формул і теорем: правопис
м+3
18 грудня 2016
6 листопада 2016
31 серпня 2016
16 лютого 2016
10 січня 2016
28 грудня 2015
27 листопада 2015
24 листопада 2015
23 листопада 2015
30 вересня 2015
+приєднати з Основні проблеми числення висловлень
м+127
→Основні проблеми числення висловлень
+5
→Див. також
+75
→Джерела
+89
12 червня 2015
9 березня 2015
+Правила перетворення
м+45
вилучена Категорія:Математична логіка; додана Категорія:Класична логіка з допомогою HotCat
м−6
додана Категорія:Системи формальної логіки з допомогою HotCat
м+72
новий ключ сортування для Категорія:Числення висловлень: " " з допомогою HotCat
м+2
вилучена Категорія:Числення; додана Категорія:Числення висловлень з допомогою HotCat
м+21