Доказать или опровергнуть общезначимость формулы, используя законы алгебры логики и формулы равносильных преобразований, а также путем построения дерева доказательства (дерева редукции).

Найдите основание и следствие в условных посылках, сделайте вывод, постройте его схему. Если условная посылка явно не выражена, сформулируйте ее в явной логической форме (со связкой «если... то...»). Учтите, что некоторые посылки являются комбинированными

Доказать равенства: , , где и - подмножества какого-либо универсального множества .

Установить вид суждения по содержанию предиката: Благополучие государства зависит от законов. Великобритания является конституционной монархией. Каждый следователь знает некоторого адвоката лучше, чем некоторого прокурора.