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

Математический форум 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
Сообщений: 1275
Cпасибо сказано: 70
Спасибо получено:
364 раз в 338 сообщениях
Очков репутации: 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
Сообщений: 1275
Cпасибо сказано: 70
Спасибо получено:
364 раз в 338 сообщениях
Очков репутации: 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

200

20 ноя 2014, 21:06

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

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

valdemar

19

1517

01 май 2013, 21:08

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

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

Alex77

5

120

12 окт 2017, 19:20

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

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

magical3000

1

184

08 янв 2015, 14:42

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

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

Alexdemath

17

5285

06 дек 2012, 17:40

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

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

EEEVVVA

5

1178

08 дек 2012, 22:54

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

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

Elena_sh

12

732

23 ноя 2014, 02:46

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

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

fg43gq4

7

191

26 ноя 2016, 13:38

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

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

Atmos

7

344

16 фев 2014, 19:16

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

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

famesyasd

8

191

14 окт 2016, 18:34


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



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

Сейчас этот форум просматривают: Google Adsense [Bot] и гости: 4


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

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

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

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