Студопедия Главная Случайная страница Обратная связь

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

Демокрит. 2. ((А => В) & В) =>‾A (доказательство "от противного": Если А влечет В, но В не верно





2. ((А => В) & В) =>; ; A (доказательство "от противного": Если А влечет В, но В не верно, то не верно и А.)

A B A=>B B (A=>B)&B A ((A=>B)&B)=>A
И И Л Л И Л И Л И Л И И Л И Л И Л Л Л И Л Л И И И И И И

Пример:

1. Для формулы A /\ (B \/ B/\ C) построить таблицу истинности.

Количество логических переменных 3, следовательно, количество строк в таблице истинности должно быть 23 = 8. Количество логических операций в формуле 5, следовательно количество столбцов в таблице истинности должно быть 3 + 5 = 8.

   
A B C B C B/\ C B \/(C) B/\ A/\ (B \/ B/\ C)
               
               
               
               
               
               
               
               

2. Составим таблицу истинности для формулы , которая содержит две переменные x и y. В первых двух столбцах таблицы запишем четыре возможных пары значений этих переменных, в последующих столбцах — значения промежуточных формул и в последнем столбце — значение формулы. В результате получим таблицу:

Переменные Промежуточные логические формулы Формула
               
               
               
               

Из таблицы видно, что при всех наборах значений переменных x и y формула принимает значение 1, то есть является тождественно истинной.

3. Таблица истинности для формулы :

Переменные Промежуточные логические формулы Формула
             
             
             
             

Из таблицы видно, что при всех наборах значений переменных x и y формула принимает значение 0, то есть является тождественно ложной.

4. Таблица истинности для формулы :

Переменные Промежуточные логические формулы Формула
                 
                 
                 
                 
                 
                 
                 
                 

Из таблицы видно, что формула в некоторых случаях принимает значение 1, а в некоторых — 0, то есть является выполнимой.

Задания:

Составьте и заполните сводную таблицу истинности для всех логических функций в виде:

A B Ā A & B A V B A => B A <=> B
И И Л Л И Л И Л          

Составьте таблицы истинности для следующих функций:

  1. Ā => В
  2. В & (А V В)
  3. В & (Ā V В)
  4. (Ā => В) V (А & В)

 

 

СОДЕРЖАНИЕ

Введение........................................................................................................... 4

Программа....................................................................................................... 6

Темы рефератов.............................................................................................. 9

Габлицы,конспекты и схемы..................................................................... 13

Воспитание и обучение в Древнейших цивилизациях............................. 14

Педагогика Западной цивилизации в античную эпоху............................ 18

Школа и педагогическая мысль средневековых цивилизаций................ 32

Воспитание и система образования в эпоху Возрождения....................... 46

Просвещение и обучение на Руси с древности по XVII в........................ 56

Школа и педагогическая мысль Нового времени

в Западной Европе......................................................................................... 65

Школа и педагогика России в Новое время............................................... 98

Западная педагогическая мысль и школа в Новейшее время................. 141

Философско- и религиозно-антропологические течения

в русской педагогике конца XIX — начала XX в.................................... 150

Советская педагогика и школа................................................................... 161

Вместо заключения...................................................................................... 169

Вопросы для самоконтроля......................................................................... 173

Игровой материал........................................................................................ 175

Чайнворды................................................................................................ 175

Кроссворды.............................................................................................. 178

Филворд.................................................................................................... 193

Головоломки............................................................................................ 195

Викторины, игры, тесты......................................................................... 196

Справочный отдел........................................................................................ 202

Список литературы по основным разделам курса................................... 210

Ответы на игровой материал...................................................................... 221


 


 


© КоджаспироваГ.М., 2003

© ♦ Издательство ВЛАДОС-ПРЕСС», 2003

© Серийное оформление обложки.

«ИздательствоВЛАДОС-ПРЕСС», 2003


«Воспитание есть украшение в счастье и убежище в несчастье».

«Воспитание детей — рискованное дело: ибо в случае удачи последствия приобретены ценою большого труда и заботы, в случае же неудачи горе несравнимо ни с каким дру­гим».

Демокрит







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




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


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


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


ТЕОРЕТИЧЕСКАЯ МЕХАНИКА Статика является частью теоретической механики, изучающей условия, при ко­торых тело находится под действием заданной системы сил...

БИОХИМИЯ ТКАНЕЙ ЗУБА В составе зуба выделяют минерализованные и неминерализованные ткани...

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

ОСНОВНЫЕ ТИПЫ МОЗГА ПОЗВОНОЧНЫХ Ихтиопсидный тип мозга характерен для низших позвоночных - рыб и амфибий...

Машины и механизмы для нарезки овощей В зависимости от назначения овощерезательные машины подразделяются на две группы: машины для нарезки сырых и вареных овощей...

Классификация и основные элементы конструкций теплового оборудования Многообразие способов тепловой обработки продуктов предопределяет широкую номенклатуру тепловых аппаратов...

Именные части речи, их общие и отличительные признаки Именные части речи в русском языке — это имя существительное, имя прилагательное, имя числительное, местоимение...

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