Инженерная графика
Тестовый вопрос
Даны высказывания:A = «Эйфелева башня находится в Париже»,B = «Красноярск находится в Сибири»,C = «Москва – столица России».Из этих высказываний составлено новое высказывание «Если Эйфелева башня находится в Париже и Красноярск находится в Сибири, то Москва – столица России». Тогда, заменив в этом высказывании операцию импликации на операцию эквиваленции, получим высказывание:
Варианты ответа
Ответ проверенДаны высказывания:
A = «Эйфелева башня находится в Париже»,
B = «Красноярск находится в Сибири»,
C = «Москва – столица России».
Из этих высказываний составлено новое высказывание «Если Эйфелева башня находится в Париже и Красноярск находится в Сибири, то Москва – столица России». Тогда, заменив в этом высказывании операцию импликации на операцию эквиваленции, получим высказывание:
A = «Эйфелева башня находится в Париже»,
B = «Красноярск находится в Сибири»,
C = «Москва – столица России».
Из этих высказываний составлено новое высказывание «Если Эйфелева башня находится в Париже и Красноярск находится в Сибири, то Москва – столица России». Тогда, заменив в этом высказывании операцию импликации на операцию эквиваленции, получим высказывание:
«Эйфелева башня находится в Париже и Красноярск находится в Сибири тогда и только тогда, когда Москва – столица России»
Решение:
Высказывание «Если Эйфелева башня находится в Париже и Красноярск находится в Сибири, то Москва – столица России» составлено из высказываний
= «Эйфелева башня находится в Париже», 
= «Красноярск находится в Сибири» и 
= «Москва – столица России» при помощи слов «если…, то…» и союза «и».
Высказывание, составленное из высказываний
и 
при помощи слов «если…, то…», называют импликацией высказываний и обозначают 
.
Высказывание, составленное из высказываний
и 
при помощи союза «и», называют конъюнкцией высказываний 
и 
и обозначают 
.
Высказывание, составленное из высказываний
и 
при помощи слов «…тогда и только тогда, когда…», называют эквиваленцией высказываний 
и 
и обозначают
.
Наше высказывание имеет вид «Если
и 
, то 
», значит, его формула с помощью символов логики высказываний запишется в виде 
. Заменив операцию импликации на операцию эквиваленции, получим формулу 
, которой соответствует высказывание «Эйфелева башня находится в Париже и Красноярск находится в Сибири тогда и только тогда, когда Москва – столица России».
Высказывание «Если Эйфелева башня находится в Париже и Красноярск находится в Сибири, то Москва – столица России» составлено из высказываний
= «Эйфелева башня находится в Париже», = «Красноярск находится в Сибири» и = «Москва – столица России» при помощи слов «если…, то…» и союза «и».Высказывание, составленное из высказываний
и при помощи слов «если…, то…», называют импликацией высказываний и обозначают .Высказывание, составленное из высказываний
и при помощи союза «и», называют конъюнкцией высказываний и и обозначают .Высказывание, составленное из высказываний
и при помощи слов «…тогда и только тогда, когда…», называют эквиваленцией высказываний и и обозначают.Наше высказывание имеет вид «Если
и , то », значит, его формула с помощью символов логики высказываний запишется в виде . Заменив операцию импликации на операцию эквиваленции, получим формулу , которой соответствует высказывание «Эйфелева башня находится в Париже и Красноярск находится в Сибири тогда и только тогда, когда Москва – столица России».Похожие вопросы из темы
Вся тема «Инженерная графика» →
Формула из ячейки D1: была скопирована в ячейку E2.В результате в ячейке E2 получится число …
Даны нулевая и конкурирующая гипотезы.: «Рост студентов первого курса академии – нормально распределенная величина»,: «Рост студентов первого курса академии – величина, не…
В системе цветопередачи CMYK яркость изображения определяется …
Таблица, в которой указываются все возможные значения логических переменных, а также соответствующие им результаты логических операций, называется таблицей …
Пусть A – множество чисел, начинающихся на 1, B – множество чисел, оканчивающихся на 2, C – множество чисел, содержащих цифру 3.Тогда…
Выражения, результат вычисления которых может принимать только одно из двух значений true или false, называются …