Студопедия — Упражнение 11. С помощью простых суждений: а – «Я работаю в офисе», b –– «Я люблю свою профессию», с – «Я учусь в университете» составьте высказывания
Студопедия Главная Случайная страница Обратная связь

Разделы: Автомобили Астрономия Биология География Дом и сад Другие языки Другое Информатика История Культура Литература Логика Математика Медицина Металлургия Механика Образование Охрана труда Педагогика Политика Право Психология Религия Риторика Социология Спорт Строительство Технология Туризм Физика Философия Финансы Химия Черчение Экология Экономика Электроника

Упражнение 11. С помощью простых суждений: а – «Я работаю в офисе», b –– «Я люблю свою профессию», с – «Я учусь в университете» составьте высказывания






С помощью простых суждений: а – «Я работаю в офисе», b –– «Я люблю свою профессию», с – «Я учусь в университете» составьте высказывания, соответствующие следующим формулам:

1. a b c.

2. a b c.

3. c → (a b).

4. b → (a b).

5. ( a b) → c.

6. (ab) → (cb).

7. (ab) ac.

8. (a Ú b) → c.

9. c → (a b).

10. c b a

 

При решении данной задачи необходимо учитывать, что – логический термин – знак отрицания.

Пример: a b c –– Я работаю в офисе, и я люблю свою профессию,
и я учусь в университете
.

 

Упражнение 12

Установите, являются ли данные формулы тождественно - истинными (или логическими законами).

1. a → (a b);

2. b → (a b);

3. (ab) → (ba);

4. a b a;

5. (a b) → b;

6. (ab) → ( b a).

7. ((ab) a)→ b.

8. ((ab) b) a.

9. a a.

10. ((a b) a) → b.

 

 

Пример: (а ∩ b) (b ∩ a) – является логическим законом

a b a∩ b b∩ a (а ∩ b) (b ∩ a)
и и и и и
и л л л и
л и л л и
л л л л и






Дата добавления: 2014-11-10; просмотров: 709. Нарушение авторских прав; Мы поможем в написании вашей работы!



Кардиналистский и ординалистский подходы Кардиналистский (количественный подход) к анализу полезности основан на представлении о возможности измерения различных благ в условных единицах полезности...

Обзор компонентов Multisim Компоненты – это основа любой схемы, это все элементы, из которых она состоит. Multisim оперирует с двумя категориями...

Композиция из абстрактных геометрических фигур Данная композиция состоит из линий, штриховки, абстрактных геометрических форм...

Важнейшие способы обработки и анализа рядов динамики Не во всех случаях эмпирические данные рядов динамики позволяют определить тенденцию изменения явления во времени...

Измерение следующих дефектов: ползун, выщербина, неравномерный прокат, равномерный прокат, кольцевая выработка, откол обода колеса, тонкий гребень, протёртость средней части оси Величину проката определяют с помощью вертикального движка 2 сухаря 3 шаблона 1 по кругу катания...

Неисправности автосцепки, с которыми запрещается постановка вагонов в поезд. Причины саморасцепов ЗАПРЕЩАЕТСЯ: постановка в поезда и следование в них вагонов, у которых автосцепное устройство имеет хотя бы одну из следующих неисправностей: - трещину в корпусе автосцепки, излом деталей механизма...

Понятие метода в психологии. Классификация методов психологии и их характеристика Метод – это путь, способ познания, посредством которого познается предмет науки (С...

Ситуация 26. ПРОВЕРЕНО МИНЗДРАВОМ   Станислав Свердлов закончил российско-американский факультет менеджмента Томского государственного университета...

Различия в философии античности, средневековья и Возрождения ♦Венцом античной философии было: Единое Благо, Мировой Ум, Мировая Душа, Космос...

Характерные черты немецкой классической философии 1. Особое понимание роли философии в истории человечества, в развитии мировой культуры. Классические немецкие философы полагали, что философия призвана быть критической совестью культуры, «душой» культуры. 2. Исследовались не только человеческая...

Studopedia.info - Студопедия - 2014-2024 год . (0.008 сек.) русская версия | украинская версия