Высказывания и их отрицания

Математическая логика

Высказывания и их отрицания

​

подготовил Зайцев Н.С.​

Что такое математическая логика?

​Математическая логика

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

это повествовательное предложение, о котором можно сказать истинно оно или ложно

​

​Высказывание

Multiple Select

Среди приведенных ниже предложений указать те, которые являются высказываниями, и те, которые не являются:

• Екатеринбург – столица Урала

• студент Уральского федерального университета

• Луна – спутник Земли

• $$x>0$$  

• число $$\ \sqrt[]{5}$$ иррациональное

Multiple Choice

Среди приведенных ниже предложений указать те, которые являются высказываниями, и те, которые не являются:

• число $$\sqrt[]{2}$$   является иррациональным

• Который час?

• Идите решать задачу к доске!

• Число x является иррациональным

​Высказывания считаются истинными, если о них можно сказать, что они истинны в данном месте и в данное время.

Истинные высказывания обозначаются цифрой: 1​

​​Истинные

Высказывание считается ложным, если о них можно сказать, что они ложные в данном месте и в данное время.

Ложные высказывания обозначаются цифрой: 0​

Ложные

​

Multiple Choice

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

• Клавиатура – это устройство ввода информации

• Флешка является устройством ввода информации

• Конфеты вкусные

• Хорошая погода

Multiple Choice

Определите ложное высказывание

• Флешка является устройством хранения информации

• Монитор – устройство ввода информации

• Число 125 – трехзначное

• Пеликан – красивое животное

Высказывания называют простые если в них есть только одно высказывание и не имеется соединительных союзов

Простые

Высказывание называют составным если в нём есть несколько простых высказываний, соединенных союзами

Составные

​

​Унарная операция над суждениями результатом которой является, " противоположное" значение исходного суждения

Отрицание