АТТЕСТАЦИЯ 1 ДЕМОВАРИАНТ
1. Запишите с помощью языка логики высказываний следующие предложения русского языка:
- Либо любой шахматист умнее любого футболиста и любого хоккеиста, либо некоторые футболисты умнее некоторых шахматистов и некоторых хоккеистов. Если вчера было холодно и шел дождь, то сегодня светит солнце и очень жарко.
2. Определите таблично логический статус следующих формул:
(р ? q) ? (q & r)
(p ? q) ? (p ? q)
3. Табличным способом определите, в каких отношениях попарно находятся высказывания:
1) Я хожу в университет по средам или по субботам, но не хожу по понедельникам.
2) Если я хожу в университет по понедельникам, то не хожу по субботам или по средам.
3) Я хожу в университет по понедельникам и по средам, но не по субботам.
4. Образуйте высказывания, противоречащие данным и переформулируйте их без внешнего отрицания:
Суха теория, мой друг, а древо жизни вечно зеленеет.
Если в детстве плохо кушал, если маму ты не слушал, если в доме пачкал пол, не забьешь в ворота гол.
5. Выявите логическую форму следующего рассуждения. Табличным способом определите его правильность:
Неверно, что человек способен летать. В то же время человек способен плавать или забираться на деревья. Следовательно, если человек не способен плавать, то он способен летать или забираться на деревья.
6. Проверьте сокращенным способом наличие логического следования:
(р ? q), q ? r, r ? s ¦ (p & s) ? (q&r)
