|
Пусть А – Андрей проголосовал за законопроект, В – Борис проголосовал за законопроект, С – Семен проголосовал за законопроект. Формализуйте приведенные ниже суждения. Для получившихся формул постройте таблицы истинности и укажите: А – какие из них соответствуют приведенной ниже таблице; В – какие являются тавтологиями (логическими законами).A
B
C
Результат
1
1
1
1
1
1
0
1
1
0
1
1
1
0
0
1
0
1
1
1
0
1
0
0
0
0
1
1
0
0
0
1
1. По крайней мере, Семен или Борис проголосовали за законопроект. Если Андрей не голосовал «за», то без сомнения также не голосовал «за» и Семен. Следовательно, если Борис голосовал за законопроект, то точно «за» проголосовал и Семен.
2. Если Андрей проголосовал «за», то Семен точно не голосовал «за». А если Андрей не проголосовал «за», то Борис тоже не голосовал «за». Следовательно, если Борис голосовал за законопроект, то точно «за» проголосовал и Семен.
3. Если Семен и Андрей проголосовали «за», то Борис уж точно не голосовал «за». А если «за» голосует Андрей, то обязательно «за» голосует и Семен. Следовательно, если Борис голосовал за законопроект, то точно «за» проголосовал и Семен.
4. Семен голосует «за» тогда и только тогда, когда «за» голосует Андрей. Однако Андрей не голосует «за», если и только если «за» голосует Борис. Следовательно, если Борис голосовал за законопроект, то точно «за» проголосовал и Семен.
|
Просмотр сообщений