Дискуссионный математический форумМатематический форум
Математический форум Math Help Planet

Обсуждение и решение задач по математике, физике, химии, экономике

Теоретический раздел
Часовой пояс: UTC + 3 часа [ Летнее время ]
новый онлайн-сервис
число, сумма и дата прописью

Часовой пояс: UTC + 3 часа [ Летнее время ]




Начать новую тему Ответить на тему  [ Сообщений: 4 ] 
Автор Сообщение
 Заголовок сообщения: Двухместные предикаты и отрицание кванторов
СообщениеДобавлено: 15 ноя 2019, 18:57 
Не в сети
Начинающий
Зарегистрирован:
15 ноя 2019, 18:49
Сообщений: 5
Cпасибо сказано: 2
Спасибо получено:
0 раз в 0 сообщении
Очков репутации: 1

Добавить очки репутацииУменьшить очки репутации
Добрый вечер, вопрос, собственно: как избавиться от отрицания на кванторах при двухместном предикате? (как на изображении)
Изображение

Вернуться к началу
 Профиль  
Cпасибо сказано 
 Заголовок сообщения: Re: Двухместные предикаты и отрицание кванторов
СообщениеДобавлено: 15 ноя 2019, 23:21 
Не в сети
Любитель математики
Аватара пользователя
Зарегистрирован:
16 июл 2011, 08:33
Сообщений: 22268
Откуда: Беларусь, Минск
Cпасибо сказано: 2096
Спасибо получено:
4958 раз в 4631 сообщениях
Очков репутации: 845

Добавить очки репутацииУменьшить очки репутации
jjj666
Вам известно, что для построения отрицания высказывания с кванторами надо: 1) квантор общности заменить квантором существования, а квантор существования – квантором общности; 2) предикат заменить его отрицанием?

Вернуться к началу
 Профиль  
Cпасибо сказано 
За это сообщение пользователю Andy "Спасибо" сказали:
jjj666
 Заголовок сообщения: Re: Двухместные предикаты и отрицание кванторов
СообщениеДобавлено: 15 ноя 2019, 23:29 
Не в сети
Начинающий
Зарегистрирован:
15 ноя 2019, 18:49
Сообщений: 5
Cпасибо сказано: 2
Спасибо получено:
0 раз в 0 сообщении
Очков репутации: 1

Добавить очки репутацииУменьшить очки репутации
Andy писал(а):
jjj666
Вам известно, что для построения отрицания высказывания с кванторами надо: 1) квантор общности заменить квантором существования, а квантор существования – квантором общности; 2) предикат заменить его отрицанием?

Да, уже сделал. Получится
Изображение

Вернуться к началу
 Профиль  
Cпасибо сказано 
 Заголовок сообщения: Re: Двухместные предикаты и отрицание кванторов
СообщениеДобавлено: 15 ноя 2019, 23:39 
Не в сети
Любитель математики
Аватара пользователя
Зарегистрирован:
16 июл 2011, 08:33
Сообщений: 22268
Откуда: Беларусь, Минск
Cпасибо сказано: 2096
Спасибо получено:
4958 раз в 4631 сообщениях
Очков репутации: 845

Добавить очки репутацииУменьшить очки репутации
jjj666
Да.

Вернуться к началу
 Профиль  
Cпасибо сказано 
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему      Страница 1 из 1 [ Сообщений: 4 ]

 Похожие темы   Автор   Ответы   Просмотры   Последнее сообщение 
Предикаты. Область истинности | Отрицание предиката

в форуме Дискретная математика, Теория множеств и Логика

Flor3525

8

695

02 май 2019, 11:36

Элиминация кванторов (вопрос вроде простой)

в форуме Дискретная математика, Теория множеств и Логика

Hnoy

2

162

21 дек 2020, 11:14

Отрицание выражений

в форуме Дискретная математика, Теория множеств и Логика

K1b0rg

4

165

24 дек 2020, 16:43

Отрицание импликации

в форуме Дискретная математика, Теория множеств и Логика

Grek79

6

646

02 мар 2017, 13:53

Отрицание признака сравнения

в форуме Ряды

Lunteg

5

205

15 апр 2020, 16:08

Сформулируйте отрицание для высказывания

в форуме Дискретная математика, Теория множеств и Логика

gail-ul

3

417

16 дек 2016, 10:10

Предикаты

в форуме Дискретная математика, Теория множеств и Логика

in+yan

2

271

18 май 2020, 19:40

Предикаты

в форуме Дискретная математика, Теория множеств и Логика

Craizi8

2

153

05 дек 2020, 21:48

Предикаты

в форуме Дискретная математика, Теория множеств и Логика

kot999cash

1

191

05 апр 2020, 19:30

Предикаты

в форуме Дискретная математика, Теория множеств и Логика

tanyhaftv

11

537

02 май 2018, 15:23


Часовой пояс: UTC + 3 часа [ Летнее время ]



Кто сейчас на конференции

Сейчас этот форум просматривают: нет зарегистрированных пользователей и гости: 24


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
Перейти:  

Яндекс.Метрика

Copyright © 2010-2023 MathHelpPlanet.com. All rights reserved