¬B ∨ (В→А∨В) Доказать выводимость, используя аксиомы мендельсона и одно правило вывода – modus ponens, при этом определяем конъюнкцию и дизъюнкцию следующим образом: А∧В= ¬(А→¬В) А∨В=¬А→В
Каникулы я провел(а) в музее, там было очень интересно и познавательно. Я узнал(а) много нового, например про хохломскую роспись, что золотой цвет на деревнянной посуде с хохломской росписью это вовсе не краска. Я видел(а) костюмы 19 века, а также узнал(а), что они ходили в париках и поэтому для них изобрели специальные палочки для того, чтобы чесаться и убивать всяких блох. Я узнал(а) как делались раньше глиняные изделия вручную и попробовал(а) сделать глиняную игрушку. На каникулах я потратил(а) время с пользой, я считаю, что это правильно. (писала сама)
1. Слова - краткость. многократно, троекратное "Ура!". 2. 30 делится на 5, 30 делится на 6 5 - делитель числа 30 6 делитель числа 30. 30 кратно и 5 и 6. 3. Начинаем делить на простые числа - 2, 3, 5, 7. 18 : 2 = 9 - делитель 2. 9 : 3 = 3 - делитель 3 3 : 3 = 1 - делитель 3. 1 - простое число - делитель, который есть у каждого числа. 18 = 1*2*3*3 4. Числа 5 и 6 имеют один делитель =1. Других общих делителей у этих чисел нет. 5. Все числа имеют делитель равный 1, но от такого деления они не изменяются У простых чисел - только один общий делитель - это 1. 5 : 7 = (1*5)/(1*7) = 5/7 - делитель 1. А у других могут быть и общие делители.
