Практическая работа. Логика предикатов 1 порядка

Решить практическую работу (без варианта, все задания). Оформить решение в Word с промежуточными шагами и пояснениями.

1. Представьте на языке логики предикатов следующие предложения русского языка:

• а) не все студенты любят математику и физику;
• б) только один студент любит историю;
• в) только один студент любит как историю, так и электронику;
• г) отставание по истории легче устранить, чем отставание по электронике;
• д) любой охотник, не употребляющий дичь в пищу, вызывает удивление;
• е) известны женщины, которые любят мужчин, не являющихся охотниками;
• ж) живет в городе охотник, который знаком со всеми мужчинами-охотниками этого города;
• з) никто не любит охотника, который убивает дичь ради развлечения;
• и) все хотят быть добрыми, но не все могут;
• к) все студенты хотят получить диплом.

1. Запишите следующие условные предложения русского языка в виде правил логики предикатов:

• а) если вы любите детективы, то сегодня вечером можете посмотреть прекрасный фильм из этой серии;
• б) по утрам подают кофе и бутерброды с ветчиной;
• в) может быть я заскочу к вам вечером, если успею;
• г) я ее одновременно люблю и ненавижу;
• д) если бы вы вовремя ушли с работы, вы бы успели к ужину. Если бы вы успели к ужину, то попробовали бы прекрасное мороженое. Если бы вы попробовали это мороженое, то всегда бы уходили с работы вовремя;
• е) если вы сдали практические и контрольную работу, вы допущены до зачета;
• ж) ночью все кошки серые;
• з) я выучу лекции, если не засну;
• и) я поздравлю друга с днем рождения, если не забуду или если телефон мне напомнит;
• к) если будет хорошая погода, то я пойду в парк или поеду в лес.

1. Сформулируйте на языке логики предикатов аксиомы, описывающие отношения родства между

• а) внуками и бабушками;
• б) внуками и дедушками;
• в) родителями и детьми;
• г) сестрами;
• д) братьями;
• е) зятьями и родственниками со стороны жены;
• ж) дядями и племянниками;
• з) тетями и племянницами;
• и) двоюродными братьями;
• к) двоюродными сестрами.