Математическая логика и теория алгоритмов. Для изучающих компьютерные науки

^)(В=>С),-ПА \-(В=>С)&-^; А)А,В&С [А&В. 13. Методами натуральной дедукции доказать следующие соотношения; 1) 3) - (В^В); - (В&А)=^(А&В); 2) 4) - ~А^(А^В); -(A V B)^(B V A). 145