1. Математика
  2. ¬B ∨ (В→А∨В) Доказать

¬B ∨ (В→А∨В) Доказать выводимость, используя аксиомы мендельсона и одно правило вывода – modus ponens, при этом определяем конъюнкцию и дизъюнкцию следующим образом:
А∧В= ¬(А→¬В)
А∨В=¬А→В

ilia39loh ilia39loh    1   13.06.2021 17:32    3

Ответы
Показать ответы (3)
Другие вопросы по теме Математика
Makarzzz Makarzzz  01.05.2020 10:43
Две страницыпленок решит все...
Kseniya105228 Kseniya105228  01.05.2020 10:43
Грузоподъёмность лифта 743 кг. В лифт загрузили 17 коробок с сахарным песком, по 27 кг в каждой коробке, и 14 ящиков с подсолнечным маслом, по 22 кг в каждом ящике. На сколько...
samirdebilGost samirdebilGost  01.05.2020 10:43
Цифра 7 в записи числа 17003озночает...
jennie17 jennie17  01.05.2020 10:43
Трикутник рівнобедрений з кутом 120 градусів вписаний в коло о радіусу 12 см. Обрахуй сторону цього трикутника. Дуже...
elinatyul elinatyul  01.05.2020 10:43
ЗА 3,2 КГ ЦУКЕРОК ЗАПЛАТИЛИ 49,28 ГРН.СКІЛЬКИ БУДУТЬ КОШТУВАТИ 5,2 КГЦУКЕРОК....
122599baikal 122599baikal  01.05.2020 10:43
1)-x+0,8=-9,3 2)11x-9=4x+19 3)это фото...
annvggf annvggf  01.05.2020 10:43
Выпишите из текста «Музыкальное чудо» сочинительные союзы. Определите, что они соединяют: однородные члены или предложения в составе сложного? Какое значение они имеют? На какие...
thrasher7777 thrasher7777  01.05.2020 10:43
Встановіть відповідність між виразами та їх значеннями 1. -6:(-0,2) 2. -0,6*0,5 3. 60*(-0,5) 4. 0,15:5 А) -0,3 Б) -0,03 В) 30 Г) -30...
dron2003 dron2003  01.05.2020 10:44
Из 252 кг канфет на складе. 5/7 конфет были шаколадными, а осттальных каромельные .Сколько кг каромельных канфет было на складе? помагите подскажите​...
miracle1121 miracle1121  01.05.2020 10:44
Найти область определения функции 1/x*arccos(x+y)/y...

Популярные вопросы