Содержание:
ЗАДАЧА. Разбить высказывание на элементарные и записать в виде кванторной формулы логики предикатов, используя наименьшее возможное число предикатов наименьшей местности; указать область определения использованных предикатов; привести формулу к предваренной нормальной форме:
1) «Если неверно, что всякое натуральное число чётно или всякое натуральное число нечетно, то имеются и четные числа, и нечетные»
2) «Не всякий, в ком есть упорство, может изучить логику, но всякий, изучивший логику, обладает упорством»
3) «Неверно, что не все фирмы уделяют внимание накоплению опыта всеми своими сотрудниками, значит, все сотрудники всех фирм опытны»