Цитата:Andrej
не пойму один из законов склеивания:
(K или [не M]) и (K или M) = K
1.(K или [не M]) и (K или M) = (К и К) или (К и М) или (К и [не M]) или (М и [не M]) = К или (К и М) или (К и [не M]) - т.к. М и [не M] - всегда ложь, а (К и К) = К
2. (К и М) или (К и [не M]) = К и (М или [не M]) = К - т.к. М или [не M] - всегда истина
3. из 1. и 2. получаем - (K или [не M]) и (K или M) = К или К = К
Цитата:и второй вопрос: что обозначает знак перевернутая "A"?
квантор общности, означает - "для любого элемента из множества"