Пример
Запишем с помощью формул логики предикатов утверждение:
«Для лечения любого известного компьютерного вируса имеются программы. Существуют новые (неизвестные) компьютерные вирусы, для лечения которых программы ещё не разработаны».
Если обозначить А(х) – «х - известный компьютерный вирус», В(х) – «х – существующая программа для лечения вируса», то с помощью логических связок и кванторов получим формулы:
B(x) - против вируса х нет программы;x(A(x)) - любой вирус известен;
x(A(x))- существуют новые (неизвестные) вирусы;
x(A(x) B(x)) - если вирус известен, то имеется программа для его лечения;
x(A(x) B(x)) - существуют (появились) новые вирусы, для лечения которых программы ещё не
разработаны. ( x(A(x) B(x))) x(A(x) B(x))
Примеры записи рассуждений средствами алгебры предикатов
«Все студенты (С) проходят практику (П). Некоторые студенты работают в фирме (Ф), значит, некоторые работающие в фирме студенты – проходят практику».
С(x)={x – студент},
П(х)={x – человек, проходящий практику}, Ф(х)={x – человек, работающий в фирме}
x(C(x) П(х)) х(C(х) Ф(х)) ├ х(Ф(х) П(х))
Схемы суждений
Спасибо за внимание!!!
Все металлы – проводники электричества.
Ни один металл не является неэлектропроводным. Ни один хищник не является пернатым.
Все хищники являются не пернатыми.
Ни один ядовитый гриб не является съедобным. Все несъедобные грибы являются ядовитыми.
Некоторые высказывания не являются верными суждениями. Некоторые ложные суждения являются высказываниями. Все директора являются руководителями предприятия.
Ни один не руководитель предприятия не является директором. Все львы – хищники.
Некоторые нехищники – не львы Все квадраты – ромбы. Некоторые ромбы – квадраты.
Все квадраты – равносторонние прямоугольники. Все равносторонние прямоугольники – квадраты. Некоторые поэты – гениальные.
Некоторые гениальные люди – поэты. Некоторые вещества – проводники.
Некоторые вещества не являются не проводниками (диэлектриками). Некоторые подлежащие не являются существительными. Некоторые подлежащие являются не существительными