Александр Гончаров

Если вас не любят — не выпрашивайте любовь. Если вам не верят — не оправдывайтесь. Если вас не ценят — не доказывайте.

Фотографии профиля (48)

Смотреть все

Фотографии со стены (224)

Смотреть все

Основная информация

Идентификатор

136684508

Домен

sanekkk1995

Верификация

Нет

Огонёк

Нет

Настройки приватности

Открытый профиль

Последнее посещение

8 лет назад (Веб-версия)

Бан и удаление

Нет

Вконтакте

https://vk.com/sanekkk1995

Общая информация

Имя

Александр

Фамилия

Гончаров

Отчество

Нет данных или скрыто

Пол

Мужской

Дата рождения

02 ноября 1995 (28 лет)

Языки

Русский

Семейное положение

В активном поиске

Дедушки и бабушки

Нет данных или скрыто

Родители

Нет данных или скрыто

Братья и сёстры

Нет данных или скрыто

Дети

Нет данных или скрыто

Внуки

Нет данных или скрыто

Контактная информация

Страна

Нет данных или скрыто

Город

Херсон

Родной город

Херсон

Моб. телефон

Нет данных или скрыто

Доп. телефон

http://vk.com

Сайт

http://vk.com/app3745135_136684508

Skype

sanyok1995

Instagram

Нет данных или скрыто

Facebook

Нет данных или скрыто

Twitter

Нет данных или скрыто

LiveJournal

Нет данных или скрыто

Жизненная позиция

Политические предпочтения

Нет данных или скрыто

Мировоззрение

Нет данных или скрыто

Главное в людях

Нет данных или скрыто

Источники вдохновения

Нет данных или скрыто

Главное в жизни

Нет данных или скрыто

Отношение к курению

Нет данных или скрыто

Отношение к алкоголю

Нет данных или скрыто

Интересы и увлечения

Деятельность

http://vk.com

Интересы

http://vk.com

Любимые фильмы

http://vk.com

Любимая музыка

http://vk.com

Любимые телешоу

http://vk.com

Любимые книги

0 на всіх наборах (a1, a2, ..., an) значень своїх пропозиційних змінних, називається суперечністю, або тотожно хибною формулою. Формулу, яка не є ні тавтологією, ні суперечністю, називають нейтральною. Множина всіх формул алгебри висловлень розбивається на тавтології, суперечності та нейтральні формули. Формула, яка не є суперечністю, називається виконуваною. Наведемо ряд тверджень, справедливість яких очевидна. 1. Заперечення тавтології є суперечністю і навпаки. 2. Кожна тавтологія є виконуваною формулою (навпаки, взагалі кажучи, ні). 3. Кожна нейтральна формула є виконуваною, але не навпаки. 4. Заперечення виконуваної формули може бути, як виконуваною формулою, так і невиконуваною формулою. Дві формули A і B алгебри висловлень називаються рівносильними, якщо їм відповідає та сама функція істинності. Рівносильність формул A і B позначають за допомогою знака = ( або ): записують A=B (A B або A B). Очевидно, що відношення рівносильності на множині формул є відношенням еквівалентності, тому часто це відношення називають еквівалентністю. Наведемо приклади пар рівносильних формул: (A B) = (( A) B), ( (A B)) = (( A) ( B)), ( (A B)) = (( A) ( B)), (A (B C)) = ((A B) (A C)), (A (B C)) = ((A B) (A C)) тощо. Ці рівносильності та подібні до них легко перевірити обчисленням таблиць істинності відповідних функцій для лівих і правих частин і порівнюванням цих таблиць. Цей простий метод може бути застосований для перевірки рівносильності або нерівносильності будь-яких формул A і B довільної складності. Відтак, на перший погляд може здатися, що проблема встановлення рівносильності або нерівносильності формул алгебри висловлень є розв'язаною і до того ж найпростішим чином і отже, всі подальші дослідження у цьому напрямку є непотрібними. Наведемо лише два міркування, які демонструють, що перше враження є обманливим. Перше міркування пов'язане з тим, що коли кількість пропозиційних змінних у досліджуваних формулах є значною, то застосування зазначеного простого методу може стати практично нездійсненним. Адже, вже для 30 змінних необхідно випробувати по більш ніж 109 наборів значень змінних для кожної формули. Це тільки кількість кроків загальної процедури, а крім того, слід врахувати трудомісткість обчислення значень функцій інстинності даних формул на кожному з наборів. По-друге, - і це міркування, певно, є важливішим, - в алгебрі висловлень у більшості випадків цікавляться не рівносильністю двох будь-яких заданих формул, а рівносильністю нескінченної множини пар формул. Потрібні твердження, згідно яких усі формули певного типу є рівносильними відповідно формулам певного іншого типу. Якщо множини формул обох цих типів є нескінченними, то подібні твердження, очевидно, не можуть бути встановлені жодним методом, що спирається на побудову таблиць інстинності, а потребують загальних міркувань. Зокрема, однією з основних проблем алгебри висловлень є проблема опису класу всіх тавтологій (тобто тотожно істинних формул), яка носить назву проблеми розв'язності. Простішим варіантом цієї проблеми є така: вказати правило перевірки скінченним числом дій тотожної істинності певної формули. Проблема розв'язності займає важливе місце в математичній логіці. До проблеми розв'язності зводиться багато різних задач математичної логіки. Наприклад, до проблеми розв'язності може бути зведена обговорювана вище проблема перевірки рівносильності заданих формул A і B. Легко довести таку теорему. Теорема 1. Формули алгебри висловлень A і B рівносильні тоді і тільки тоді, коли формула ((A B) (B A)) є тавтологією. З метою скорочення запису формул, подібних до формули з наведеної теореми, до сигнатури алгебри висловлень вводять додаткову операцію, що позначається ~ і означається так: (A~B) є скороченим записом формули ((A B) (B A)). Отже, останню теорему можна сформулювати так. Формули A і B рівносильні тоді і тільки тоді, коли формула (A~B) є тотожно істинною. Разом з відношенням рівносильності на множині формул алгебри висловлень, яке є, як зазначалось, відношенням еквівалентності, розглядають також деякі інші відношення, що являють собою

Любимые цитаты

http://vk.com

Любимые игры

http://vk.com

О себе

http://vk.com