Математическая логика и теория алгоритмов

а) для того, чтобы число а было нечетным, достаточно, чтобы а было простым; б) если а простое число, то - нечетное; в) необходимым условием делимости числа на 4 является делимость его на 2; г) если а положительно, то сР' положительно; д) Игорь или школьник, или студент, но он не студе11т, значит, он школьник; е) (л-1)!+1 не делится на и, если п - непростое число; ж) необходимым и достаточным условием делимости числа а на 6 является делимость его на 2 и 3; з) для того, чтобы число а делилось на 6, достаточно чтобы а делилось на 3 6; и) Фиорелло ходит в кино только в том случае, когда там пока­ зывают комедию. 7. Пусть А, В обозначают некоторые высказывания. Запишите следуюш,ие высказывания в символической форме; а) А достаточно для В; б) В необходимо для А', в) В тогда, когда А; г) В только тогда, когда ^4; д) без В нет и А-, е) А лишь тогда, когда В; ж) А тогда и только тогда, когда В; з) А тогда, когда В; и) А необходимо и достаточно для В; к) А если В; л) А необходимое следствие из В; м) А при условии, что Б; н)А влечет5; о) в случае А имеет место В; п) не только А, но и В; р) как А, так и В; 4 0