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

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

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

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

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




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

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

Изображение

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

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

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

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

Изображение

Вернуться к началу
 Профиль  
Cпасибо сказано 
 Заголовок сообщения: Re: Даны формулы алгебры высказываний Φ1 и Φ2
СообщениеДобавлено: 21 янв 2015, 22:02 
Не в сети
Beautiful Mind
Зарегистрирован:
06 июн 2013, 16:17
Сообщений: 1337
Cпасибо сказано: 72
Спасибо получено:
383 раз в 354 сообщениях
Очков репутации: 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

202

20 ноя 2014, 20:06

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

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

valdemar

19

1546

01 май 2013, 20:08

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

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

magical3000

1

187

08 янв 2015, 13:42

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

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

Alex77

5

137

12 окт 2017, 18:20

Показать доказуемость формулы - Исчисление высказываний

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

Nofrit

0

489

04 янв 2011, 09:12

Установить доказуемость формулы исчисления высказываний

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

Lexflax

2

610

29 ноя 2011, 02:21

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

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

Alexdemath

17

5447

06 дек 2012, 16:40

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

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

EEEVVVA

5

1196

08 дек 2012, 21:54

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

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

Elena_sh

12

771

23 ноя 2014, 01:46

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

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

fg43gq4

7

194

26 ноя 2016, 12:38


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



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

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


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

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

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

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