Учебное пособие: Математические и логические основы информатики

Элементы логики высказываний

Под высказыванием мы будем понимать повествовательное предложение, относительно которого объективно можно сказать, что оно либо истинно , либо ложно.

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

Из одних высказываний могут составляться (строиться) другие, более сложные высказывания. Такие высказывания мы будем называть составными , или сложными высказываниями.

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

Логические операции над высказываниями

Условимся обозначать простые высказывания большими буквами начала латинского алфавита: A, B, C (возможно с индексами: A1, A2, A3 и так далее), а значения истинности высказываний - буквами И (истина) и Л (ложь) ), которые называют логическими константами .

Определим операции над высказываниями, которые будут соответствовать союзам (и, или), частице не, словосочетаниям (если , то ; тогда и только тогда, когда .; если, и только если ; необходимо и достаточно для и т.д.) русского языка. Часто союзы, частицу не, указанные словосочетания называют связками . Соответствующие им операции называют логическими операциями , или логическими связками .

Союзу и соответствует операция конъюнкция , обозначаемая нами с помощью символа & и задаваемая таблицей:

A

Похожие рефераты:

Курсовая работа на тему Место информатики в процессах управления Реферат на тему Методи оцінки та засоби підвищення надійності програмного забезпечення Реферат на тему Моделирование в системах управления Контрольная работа на тему Моделирование машины Тьюринга Курсовая работа на тему Мой компьютер Дипломная работа на тему Моніторинг інформаційних потреб споживачів як необхідна умова організації інформаційного обслуговування Реферат на тему Надежность программного обеспечения Курсовая работа на тему Настольные системы управления базами данных (СУБД) Курсовая работа на тему Научно-методическая деятельность преподавателей Курсовая работа на тему Необходимость проведения маркетинговых исследований в сфере образования Курсовая работа на тему Облік зареєстрованих автомобілів в ДАІ Курсовая работа на тему Обработка динамических структур Учебное пособие: Объектно-ориентированная среда программирования "Object Pascal" в профильном курсе информатики Учебное пособие: Операционные системы "тонких" клиентов Курсовая работа на тему Операційна система Linux Контрольная работа на тему Основные возможности Microsoft Оffice Outlook Курсовая работа на тему Основы криптологии Отчет по практике: Основы программирования в среде Delphi Контрольная работа на тему Отчеты Microsoft Office Access Курсовая работа на тему Оформление служебных документов Реферат на тему Плоттеры нового поколения Курсовая работа на тему Построение компоненты в Builder C++ Курсовая работа на тему Потоковое видео и открытые системы Курсовая работа на тему Предметная область "тестирование" Реферат на тему Применение компьютерных технологий при проектировании нефтеперерабатывающего завода Контрольная работа на тему Проведение АВС анализа в среде MS EXCEL Курсовая работа на тему Проектування каталогу мобільних телефонів у Access Курсовая работа на тему Проектування офісу САПР-одяг Курсовая работа на тему Разработка автоматизированной системы управления "Трехмерная печать" Контрольная работа на тему Разработка информационной системы "Производство продукции/услуг" Курсовая работа на тему Разработка мультимедийного сайта Курсовая работа на тему Разработка приложения средствами VBA Курсовая работа на тему Разработка программного обеспечения виртуальной библиотеки Курсовая работа на тему Разработка программы сжатия и восстановления файлов с помощью фиксированного блочного кода постоянного смещения Курсовая работа на тему Разработка специализированного процессора для исполнения элементарных функций Курсовая работа на тему Разработка устройства "Светодиодный пробник p-n переходов" Курсовая работа на тему Решение проблемы топологии и установки устройств физического уровня Курсовая работа на тему Решение транспортной задачи Лабораторная работа на тему Решение уравнений, неравенств и их систем Курсовая работа на тему Розвиток сучасних структур програмного забезпечення Реферат на тему Середовище навчання Moodle. Його переваги та недоліки Курсовая работа на тему Система баз данных MS SQL Server 2000 Реферат на тему Система непрерывной подачи чернил Курсовая работа на тему Система съема данных с оптопар Доклад: Сканеры и принтеры, сфера их применения Курсовая работа на тему Современные информационные системы управления государством Реферат на тему Современный уровень развития переносной флэш-памяти и USB-брелков Курсовая работа на тему Создание базы данных "Аттестация сотрудников" Контрольная работа на тему Создание презентации Курсовая работа на тему Спортивная программа и организация базы данных Курсовая работа на тему Суперэлементное моделирование пространственной системы "плита грунтовое основание" Курсовая работа на тему Сутність та принципи роботи ЕОМ Курсовая работа на тему Сучасне інтерактивне спілкування Реферат на тему Сучасний стан інформаційної безпеки. Проблеми захисту комп'ютерної інформації Реферат на тему Сучасні антивірусні програми та принцип їх роботи Реферат на тему Сучасні комп'ютерні технології Курсовая работа на тему Сучасні операційні системи, архітектура, відмінні характеристики, функціональність, виробництво і перспективи розвитку Реферат на тему Сучасні програмні продукти для управління маркетинговою діяльністю Контрольная работа на тему Сучасні системи автоматизованого проектування графічних проектів Реферат на тему Сущность алгоритмов Контрольная работа на тему Сущность защиты информации Реферат на тему Сущность искусственного интеллекта Курсовая работа на тему Схема електрична принципова модуля на базі 8-розрядного мікропроцесора Контрольная работа на тему Схема контроллера Реферат на тему Схема радиомодема Реферат на тему Схемы шифрования AES, RC4, RC5, RC6, Twofish, Mars Курсовая работа на тему Счетчик обратного отсчета Курсовая работа на тему Технологии компьютерных игр Реферат на тему Функции и возможности текстового редактора Дипломная работа на тему Функціонування системи інформаційного обслуговування користувачів бібліотек у сучасних умовах Реферат на тему Характеристика качества ПО "практичность" Курсовая работа на тему Цвет и графика на ЭВМ Реферат на тему Что такое компьютерная сеть. Виды сетей Контрольная работа на тему Экономические информационные системы Дипломная работа на тему Электронная почта Курсовая работа на тему Язык программирования высокого уровня С++ Курсовая работа на тему Языки программирования Контрольная работа на тему Установка и настройка программного обеспечения локальной сети Курсовая работа на тему Датчики скорости коррозии как элементы АСУ общей системы мониторинга Курсовая работа на тему Динамическое формирование и преобразование списков и структур Шпаргалка: Дискретная техника Реферат на тему Устройство персонального компьютера Курсовая работа на тему Устройство управления системой измерения веса Контрольная работа на тему Утилиты, буфер обмена, автоформат MS Excel Доклад: Файловая система для операционной системы Windows Лабораторная работа на тему Дослідження файлової структури Курсовая работа на тему Економічні задачі лінійного програмування і методи їх вирішення Курсовая работа на тему Емпіричне дослідження програмного забезпечення Курсовая работа на тему Автоматизация системы управления холодильной установкой Курсовая работа на тему Автоматизированная система управления климатом в тепличных хозяйствах Реферат на тему Автомобильная электроника Курсовая работа на тему Анализ доходов отдела фирмы, занимающейся розничной торговлей офисной мебелью Курсовая работа на тему База данных "Магазин по продаже дисков" Курсовая работа на тему Безпровідна мережа Wi-Fi, її будування Контрольная работа на тему Компьютерная графика Реферат на тему Компьютерная графика Контрольная работа на тему Компьютерная графика Реферат на тему Компьютерная графика и решаемые ею задачи Курсовая работа на тему Компьютерная лингвистика Дипломная работа на тему Компьютерная модель СГ в координатах d, q, 0 в режиме ХХ