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

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

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

Теоретический раздел
Часовой пояс: UTC + 4 часа [ Летнее время ]
MathHelpPlanet.com RSS-лента Математического форума

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




Начать новую тему Ответить на тему  [ Сообщений: 4 ] 
Автор Сообщение
 Заголовок сообщения: Даны формулы алгебры высказываний Φ1 и Φ2
СообщениеДобавлено: 08 янв 2015, 14:40 
Не в сети
Начинающий
Зарегистрирован:
07 янв 2015, 10:15
Сообщений: 33
Cпасибо сказано: 0
Спасибо получено:
0 раз в 0 сообщении
Очков репутации: 1

Добавить очки репутацииУменьшить очки репутации
Даны формулы алгебры высказываний Φ1 и Φ2. Доказать, что формула Φ2 является логическим следствием формулы Φ1.
Задачу решить двумя способами:
а) путем построения таблицы истинности; б) путем аналитических преобразований.

Изображение

Вернуться к началу
 Профиль  
Cпасибо сказано 
 Заголовок сообщения: Re: Даны формулы алгебры высказываний Φ1 и Φ2
СообщениеДобавлено: 08 янв 2015, 23:08 
Не в сети
Beautiful Mind
Зарегистрирован:
06 июн 2013, 17:17
Сообщений: 1245
Cпасибо сказано: 67
Спасибо получено:
356 раз в 331 сообщениях
Очков репутации: 105

Добавить очки репутацииУменьшить очки репутации
Если у вас есть конкретные вопросы по решению, то задавайте. Писать решение за вас никто не будет.

Вернуться к началу
 Профиль  
Cпасибо сказано 
 Заголовок сообщения: Re: Даны формулы алгебры высказываний Φ1 и Φ2
СообщениеДобавлено: 21 янв 2015, 20:22 
Не в сети
Начинающий
Зарегистрирован:
07 янв 2015, 10:15
Сообщений: 33
Cпасибо сказано: 0
Спасибо получено:
0 раз в 0 сообщении
Очков репутации: 1

Добавить очки репутацииУменьшить очки репутации
Правильно ли я понимаю, что необходимо построить такую таблицу?

Изображение

Вернуться к началу
 Профиль  
Cпасибо сказано 
 Заголовок сообщения: Re: Даны формулы алгебры высказываний Φ1 и Φ2
СообщениеДобавлено: 21 янв 2015, 23:02 
Не в сети
Beautiful Mind
Зарегистрирован:
06 июн 2013, 17:17
Сообщений: 1245
Cпасибо сказано: 67
Спасибо получено:
356 раз в 331 сообщениях
Очков репутации: 105

Добавить очки репутацииУменьшить очки репутации
В последней колонке должна быть не конъюнкция [math]\Phi_1\land\Phi_2[/math], а импликация [math]\Phi_1\rightarrow\Phi_2[/math]. Или просто найти значения [math]\Phi_1[/math] и [math]\Phi_2[/math] и убедиться, что если [math]\Phi_2=0[/math], то и [math]\Phi_1=0[/math], то есть что всегда [math]\Phi_1\le\Phi_2[/math] в смысле обычного сравнения 0 и 1.

Вернуться к началу
 Профиль  
Cпасибо сказано 
За это сообщение пользователю 3D Homer "Спасибо" сказали:
mad_math
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 4 ] 

 Похожие темы   Автор   Ответы   Просмотры   Последнее сообщение 
Чи загальнозначима формулы ф алгебры высказываний

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

Chiko

1

193

20 ноя 2014, 21:06

Построить ДНФ для заданной формулы алгебры высказываний

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

valdemar

19

1467

01 май 2013, 21:08

Упростить формулу алгебры высказываний

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

Alex77

5

109

12 окт 2017, 19:20

Дана формула алгебры высказываний Φ

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

magical3000

1

182

08 янв 2015, 14:42

Основные формулы алгебры

в форуме Алгебра

Alexdemath

17

5042

06 дек 2012, 17:40

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

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

EEEVVVA

5

1154

08 дек 2012, 22:54

Решить задачу с помощью формулы полной вероятности и формулы

в форуме Теория вероятностей

Elena_sh

12

694

23 ноя 2014, 02:46

Алгебра высказываний

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

kotesin

1

44

17 дек 2017, 20:51

Логика высказываний

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

Atmos

7

340

16 фев 2014, 19:16

Исчисление высказываний

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

Stasya7

5

220

30 май 2015, 21:13


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



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

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


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

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

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

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