Автор работы: Пользователь скрыл имя, 17 Марта 2012 в 16:00, контрольная работа
Уверенность в их истинности растет с появлением новых подтверждений, но утверждение ее возможно лишь через другие способы умозаключений.
Пример неполного перечислительного умозаключения: "Поскольку Чарли Чаплин и многие другие талантливые режиссеры не получали "Оскар", то получившие, заработали его не столько своим талантом, сколько соответствием субъективному вкусу организаторов фестиваля; вполне вероятно что, многие из них были и вовсе бездарны".
(¬Бg¬Д) ^ (Д g Б)
¬Бg¬Д | Д g Б | (¬Бg¬Д) ^ (Д g Б) |
И | И | И |
И | И | И |
Л | Л | Л |
И | И | И |
¬ (¬Б^¬Д) ^ (Бg¬Д)
¬Б^¬Д | ¬ (¬Б^¬Д) | Бg¬Д | ¬ (¬Б^¬Д) ^ (Бg¬Д) |
Л | И | Л | Л |
Л | И | И | И |
Л | И | И | И |
И | Л | И | Л |
Таким образом, формализация суждений и построенных таблиц усматривается, что только пример № 3 и её таблица соответствует приведенной в условии таблице.
Задание 10.
Укажите, из каких посылок следует заключение "Арнольд или Билл голосовали за проект"
Формализуем простые высказывания
А - "Арнольд проголосовал "за"
Б - "Билл проголосовал "за"
Д - "Джон проголосовал "за"
По крайней мере, Джон или Билл проголосовали за законопроект. Если Арнольд не голосовал "за", то без сомнения также не голосовал "за" и Джон.
( (ДvБ) ^ (¬Аg¬Д)) g (АvБ)
А | Б | Д | ¬А | ¬Д | ДvБ | ¬Аg¬Д | АvБ | ( (ДvБ) ^ (¬Аg¬Д)) g (АvБ) |
И | И | И | Л | Л | И | И | И | И |
И | И | Л | Л | И | И | И | И | И |
И | Л | И | Л | Л | И | И | И | И |
И | Л | Л | Л | И | Л | И | И | И |
Л | И | И | И | Л | И | Л | И | И |
Л | И | Л | И | И | И | И | И | И |
Л | Л | И | И | Л | И | Л | Л | И |
Л | Л | Л | И | И | Л | И | Л | И |
Является логическим законом данное суждение
И из посылки (По крайней мере, Джон или Билл проголосовали за законопроект. Если Арнольд не голосовал "за", то без сомнения также не голосовал "за" и Джон) следует, что "Арнольд или Билл голосовали за законопроект"
Если Арнольд проголосовал "за", то Джон точно не голосовал "за". А если Арнольд не проголосовал "за", то Билл тоже не голосовал "за".
( (Аg¬Д) v (¬Аg¬Б)) g (АvБ)
А | Б | Д | ¬А | ¬Б | ¬Д | Аg¬Д | ¬Аg¬Б | АvБ | ( (Аg¬Д) v (¬Аg¬Б)) g (АvБ) |
И | И | И | Л | Л | Л | Л | И | И | И |
И | И | Л | Л | Л | И | И | И | И | И |
И | Л | И | Л | И | Л | Л | И | И | И |
И | Л | Л | Л | И | И | И | И | И | И |
Л | И | И | И | Л | Л | И | Л | И | И |
Л | И | Л | И | Л | И | И | Л | И | И |
Л | Л | И | И | И | Л | И | И | Л | Л |
Л | Л | Л | И | И | И | И | И | Л | Л |
Не является логическим законом.
Если Джон и Арнольд проголосовали "за", то Билл уж точно не голосовал "за". А если "за" голосует Арнольд, то обязательно "за" голосует и Джон.
( ( (Д^А) g¬Б) ^ (АgД)) g (АvБ)
А | И | Д | ¬Б | Д^А | (Д^А) g¬Б | АgД | АvБ | ( ( (Д^А) g¬Б) ^ (АgД)) g (АvБ) |
И | И | И | Л | И | Л | И | И | И |
И | И | Л | Л | Л | И | Л | И | И |
И | Л | И | И | И | И | И | И | И |
И | Л | Л | И | Л | И | Л | И | И |
Л | И | И | Л | Л | И | И | И | И |
Л | И | Л | Л | Л | И | И | И | И |
Л | Л | И | И | Л | И | И | Л | Л |
Л | Л | Л | И | Л | И | И | Л | Л |