Задание1
Необходимо использовать кванторы и и операции математической логики: ~, , , , и перевести предложения с русского на язык предикатов.
1)Если S, то для некоторых (верно) P(х).
2)А(х) всегда ложно.
Задание 2
Необходимо в тексте выделить простые предложения, обозначив их как атомы и затем представить каждое утверждение в виде формулы. Далее доказать теорему, основанную на резолюции путем построения противоречия и опровержения.
1) Если исход скачек будет предрешён сговором или в игорных домах будут орудовать шулера, то доходы от туризма упадут, и город пострадает. 2) Если доходы от туризма упадут то полиция будет довольна. 3) Полиция никогда не будет довольна.
Следовательно, исход скачек не предрешён сговором.
Пусть:
|