Регистрация    Вход    Форум    Поиск    FAQ   alexlarin.net

Список форумов » Общие вопросы




 Страница 1 из 1 [ Сообщений: 5 ] 



Автор Сообщение
 Заголовок сообщения: Логическое следствие.
 Сообщение Добавлено: 19 дек 2021, 00:32 
Не в сети

Зарегистрирован: 18 дек 2021, 21:14
Сообщений: 3
Что то я совсем не могу понять определение. Если не затруднит, можете с примерами объяснить следующее определение?

Определение.

Пусть A1, ..., Am, B - Формулы логики высказываний.

Формула B называется логическим следствием формул A1, ..., Am, если при любом выборе истинностных значений атомов, входящих в формулы A1, ..., Am, B, формула B получает значение "истина" всякий раз, когда каждая из формул A1, ..., Am получает значение "истина".


Вернуться наверх 
 Заголовок сообщения: Re: Логическое следствие.
 Сообщение Добавлено: 19 дек 2021, 02:56 
Не в сети

Зарегистрирован: 18 дек 2021, 21:14
Сообщений: 3
Кажется, разобрался.

Есть A1...An формул, и формула B.

То при составлении таблицы истинности, если есть хоть одна строка в таблице, где все формулы принимают истинное значение, то B является логическим следствием A1...An.

Правильно ли это?


Вернуться наверх 
 Заголовок сообщения: Re: Логическое следствие.
 Сообщение Добавлено: 19 дек 2021, 08:48 
Не в сети
Аватар пользователя

Зарегистрирован: 29 окт 2014, 22:13
Сообщений: 3631
circletka666 писал(а):
Кажется, разобрался.

Есть A1...An формул, и формула B.

То при составлении таблицы истинности, если есть хоть одна строка в таблице, где все формулы принимают истинное значение, то B является логическим следствием A1...An.

Правильно ли это?

А Вы в какой логике ищете ответ на свой вопрос?
В логике Аристотеля (формальная логика)? Или же в математической логике? Ведь эти две логики, как известно мне, тождественно не совпадают, хотя математическая логика берет свои начала от формальной логики. Но впоследствии они "идут не по одному пути".


Последний раз редактировалось rgg 19 дек 2021, 08:51, всего редактировалось 1 раз.

Вернуться наверх 
 Заголовок сообщения: Re: Логическое следствие.
 Сообщение Добавлено: 19 дек 2021, 08:49 
Не в сети
Аватар пользователя

Зарегистрирован: 18 ноя 2015, 07:49
Сообщений: 1456
Откуда: Ставрополь
circletka666 писал(а):
Кажется, разобрался.

Есть A1...An формул, и формула B.

То при составлении таблицы истинности, если есть хоть одна строка в таблице, где все формулы принимают истинное значение, то B является логическим следствием A1...An.

Правильно ли это?


Да, другими словами. Если все `A_i` и `B` одновременно принимают значение `1`, то `A_i \models B`.


Вернуться наверх 
 Заголовок сообщения: Re: Логическое следствие.
 Сообщение Добавлено: 19 дек 2021, 08:56 
Не в сети
Аватар пользователя

Зарегистрирован: 29 окт 2014, 22:13
Сообщений: 3631
hpbhpb писал(а):
circletka666 писал(а):
Кажется, разобрался.

Есть A1...An формул, и формула B.

То при составлении таблицы истинности, если есть хоть одна строка в таблице, где все формулы принимают истинное значение, то B является логическим следствием A1...An.

Правильно ли это?


Да, другими словами. Если все `A_i` и `B` одновременно принимают значение `1`, то `A_i \models B`.

Очевидно, вы находитесь в области формальной логики. То есть здесь речи об импликации двух высказываний (высказывательных форм) нет.


Вернуться наверх 
Показать сообщения за:  Сортировать по:  
 
 Страница 1 из 1 [ Сообщений: 5 ] 





Кто сейчас на форуме

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

 
 

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

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