|
Название: Помогите пожалуйста решить задачку по логике Отправлено: Танин от Сентябрь 22, 2011, 11:58:49 Пусть А – Арнольд проголосовал за законопроект,
В – Билл проголосовал за законопроект, С – Саймон проголосовал за законопроект. Формализуйте приведенные ниже суждения. Для получившихся формул постройте таблицы истинности и укажите: А – какие из них соответствуют приведенной ниже таблице; В – какие являются тавтологиями (логическими законами). потом табличка нарисована (на фото) 1. По крайней мере, Саймон или Билл проголосовали за законо- проект. Если Арнольд не голосовал «за», то без сомнения также не голосовал «за» и Саймон. Следовательно, если Билл голосовал за законопроект, то точно «за» проголосовал и Саймон. 2. Если Арнольд проголосовал «за», то Саймон точно не голосо- вал «за». А если Арнольд не проголосовал «за», то Билл тоже не голосовал «за». Следовательно, если Билл голосовал за законопро- ект, то точно «за» проголосовал и Саймон. 3. Если Саймон и Арнольд проголосовали «за», то Билл уж точ- но не голосовал «за». А если «за» голосует Арнольд, то обязатель- но «за» голосует и Саймон. Следовательно, если Билл голосовал за законопроект, то точно «за» проголосовал и Саймон. 4. Саймон голосует «за» тогда и только тогда, когда «за» голо- сует Арнольд. Однако Арнольд не голосует «за», если и только ес- ли «за» голосует Билл. Следовательно, если Билл голосовал за за- конопроект, то точно «за» проголосовал и Саймон Там табличка http://www.u-mama.ru/forum/messages.php?id=10268102&iq=1 |