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

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

Определениями не являются высказываниями





 

 

«Который час?» - ____________________________

 

«Мойте руки перед едой!» - __________________

 

«Трапецией называется четырехугольник, две

стороны которого параллельны» ______________

__________________________________________

 

Одновременно быть истинным и ложным высказывание не может.

Над высказываниями проводятся логические операции.

В результате образуются новые высказывания

 

ОПЕРАЦИЯ ОТРИЦАНИЯ.

ОПРЕДЕЛЕНИЕ. Отрицанием высказывания Р

называется новое высказывание, обозначаемое

(читается «не Р», или «неверно, что Р»), которое

считается истинным, если высказывание Р ложно,

и ложным, если Р истинно.

 

Примеры: 2 N (истинно), 2 N (ложно)

2 < 3 (истинно), 2 >3 (ложно)

2+3 =5 (истинно), 2+3 5 (ложно)

__________________________________________

__________________________________________

__________________________________________

 

Введем некоторую функцию α (Ρ) =

 

Таблица истинности для отрицания

α () α ()
     
     

КОНЪЮНКЦИЯ ВЫСКАЗЫВАНИЙ.

 

ОПРЕДЕЛЕНИЕ. Конъюнкцией высказываний Р и Q

называется новое высказывание, обозначаемое Р ^ Q

(читается «Р и Q»),которое считается истинным,

если истинны оба высказывания Р и Q, и ложным

во всех остальных случаях.

 

Примеры: • «Число 2 простое и четное» - конъюнкция

высказываний «Число 2 простое» и «Число 2 четное».

«2 меньше 5» и «5 меньше 10» - конъюнкцией этих

высказываний будет высказывание

«2 меньше 5 и 5 меньше 10» 2<5<10

 

________________________________________________________________________

________________________________________________________________________

________________________________________________________________________

________________________________________________________________________

 

Таблица истинности конъюнкции высказываний

α (Ρ) α (Q) α (Р ^ Q)
     
     
     
     

 







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




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


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


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


Теория усилителей. Схема Основная масса современных аналоговых и аналого-цифровых электронных устройств выполняется на специализированных микросхемах...

САНИТАРНО-МИКРОБИОЛОГИЧЕСКОЕ ИССЛЕДОВАНИЕ ВОДЫ, ВОЗДУХА И ПОЧВЫ Цель занятия.Ознакомить студентов с основными методами и показателями...

Меры безопасности при обращении с оружием и боеприпасами 64. Получение (сдача) оружия и боеприпасов для проведения стрельб осуществляется в установленном порядке[1]. 65. Безопасность при проведении стрельб обеспечивается...

Весы настольные циферблатные Весы настольные циферблатные РН-10Ц13 (рис.3.1) выпускаются с наибольшими пределами взвешивания 2...

Анализ микросреды предприятия Анализ микросреды направлен на анализ состояния тех со­ставляющих внешней среды, с которыми предприятие нахо­дится в непосредственном взаимодействии...

Типы конфликтных личностей (Дж. Скотт) Дж. Г. Скотт опирается на типологию Р. М. Брансом, но дополняет её. Они убеждены в своей абсолютной правоте и хотят, чтобы...

Гносеологический оптимизм, скептицизм, агностицизм.разновидности агностицизма Позицию Агностицизм защищает и критический реализм. Один из главных представителей этого направления...

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