Формула В называется логическим следствием формул А1, А2, ..., Am. Это означает, что если все формулы А1, А2, ..., Am истинны, то формула В также должна быть истинной.

Чтобы лучше понять это определение, рассмотрим следующие шаги:

1. Определение истинности: Формула считается истинной, если она принимает значение "истина" при заданных значениях переменных.
2. Логическое следствие: Формула В является логическим следствием, если в любой ситуации, когда все формулы А1, А2, ..., Am истинны, формула В также будет истинной.
3. Пример: Пусть у нас есть формулы:
   • A1: p
   • A2: q
   • B: p AND q
   В этом случае, если p и q истинны, то B также будет истинной, что подтверждает, что B является логическим следствием A1 и A2.

Таким образом, если формула В имеет значение истина на тех же наборах переменных, на которых формулы А1, А2, …, Am одновременно имеют значение истина, то В можно считать логическим следствием данных формул.