Скачать 389.99 Kb.
|
1.2. Формулы логики высказываний и их классификацияПропозициональными (высказывательными) переменными называются такие переменные, вместо которых можно подставлять конкретные высказывания. Обозначаются они чаще всего большими буквами конца латинского алфавита, возможно, с индексами: P, Q, ..., Y, Z, P1, Q2, Xi и т.п. Из пропозициональных переменных при помощи логических операций (связок) можно строить формулы. Формула в логике высказываний определяется индуктивно следующим образом: Скобки в формулах, как обычно, указывают порядок действий. Разрешается опускать внешние скобки. Для обозначения формул будут применяться большие буквы начала латинского алфавита, возможно, с индексами: A, B, Ci, и т.п. Запись F(X1, ..., Xn) означает, что F есть формула в переменных X1, ..., Xn, т.е. что всякая пропозициональная переменная, входящая в F, принадлежит списку переменных X1, ..., Xn. Части формулы, которые сами являются формулами, называются подформулами данной формулы. Любая формула логики высказываний сама по себе ничего не выражает, но она становится высказыванием всякий раз, когда под каждой переменной в ней подразумевается некоторое конкретное высказывание, т.е. когда для каждой такой переменной задано конкретное истинностное значение (интерпретация). Истинностное значение этого высказывания однозначно определяется формулой и интерпретацией ее переменных: 1.3. Общезначимые формулыТавтологии также называют общезначимыми формулами. Для установления того, является ли некоторая формула общезначимой, достаточно построить ее истинностную таблицу и убедиться, что всегда получается лишь значение 1. Приведем основные общезначимые формулы (тавтологии): Тавтологии, выражающие свойства конъюнкции и дизъюнкции: Тавтологии, выражающие свойства импликации и эквивалентности: Тавтологии, выражающие замену одних операций другими: Правила получения тавтологий. 1. Правило заключения. 2. Правило подстановки. |
Ответы на экзаменационные вопросы по истории. Вопросы и ответы на экзаменационные вопросы по истории. | Экзаменационные вопросы по культурологии А. П. Позднякова. Ботаника, Зоология, Анатомия, Общая биология конспекты уроков, лабораторные, контрольные работы, интересные статьи,... | ||
Экзаменационные вопросы с ответами по физкультуре Вопросы и ответы к теоретической части экзамена по физкультуре | Ответы на экзаменационные вопросы по литературе для 9 класса Вопросы из вариантов I и II (общеобразовательная школа, 31 и 21 билет соответственно; "старые", "Вестник образования" №4 февраль... | ||
Экзаменационные билеты для 9кл. (2006) и примерные ответы по билетам... Биология урок, тест, ответы, билеты, биология человека, общая биология, егэ 2006, школа, олимпиада, тестирование биология, экзамен,... | Экзаменационные вопросы по бжд для студентов специальности 110203.... Экзаменационные вопросы по бжд для студентов специальности 190603. 65 – «Сервис транспортных и технологических машин и оборудования... | ||
Экзаменационные вопросы по нормальной физиологии Содержит ответы на 143 экзаменационных вопроса по охране труда, а также курсы лекций по охране труда | Экзаменационные вопросы по истории и философии науки Курс «История и философия науки» Программы курса и экзаменационные вопросы по первым двум частям курса представлены ниже | ||
Экзаменационные билеты по истории России (9 класс) Девятиклассники!... Билет № Вопрос Древняя Русь в IX – начале XII в.: возникновение государства, древнерусские князья и их деятельность | Экзаменационные вопросы интернет-курсов интуит (intuit): 192. Введение... Федеральное государственное бюджетное образовательное учреждение высшего профессионального образования | ||
Экзаменационные вопросы интернет-курсов интуит (intuit): Введение... Анооспо «Оренбургский колледж менеджмента, туризма и гостиничного сервиса» (техникум) | Экзаменационные билеты для 9кл. (2006) и примерные ответы по билетам... А. П. Позднякова. Ботаника, Зоология, Анатомия, Общая биология конспекты уроков, лабораторные, контрольные работы, интересные статьи,... | ||
Экзаменационные билеты для 9кл. (2006) и примерные ответы по билетам... А. П. Позднякова. Ботаника, Зоология, Анатомия, Общая биология конспекты уроков, лабораторные, контрольные работы, интересные статьи,... | Содержание введение Глава I. Из истории создания религиозных учебных заведений А. П. Позднякова. Ботаника, Зоология, Анатомия, Общая биология конспекты уроков, лабораторные, контрольные работы, интересные статьи,... | ||
Экзаменационные билеты по литературе для 9 класса Билет №1 «Слово о полку Игореве» На этапе окончания основной школы девятиклассники, выбравшие экзамен по литературе, сдают его, как правило, в устной форме (собеседование,... | Ответы на экзаменационные вопросы интернет-курсов интуит (intuit): 138. Микроэкономика фирмы Администрация региона Х ввела запрет на вывоз бананов со своей территории (бананы – главный продукт потребления жителей региона).... |