Цитата:
|
Сообщение от Stranger
Покажите мне слово "всегда" Я вижу только слово "некоторые"
|
Показываю, слово "всегда" спряталось в слове "значит".
Цитата:
|
Сообщение от Учебник математической логики
Говорят, что формула В логически следует из формулы А (обозначается А=>В), если формула В имеет значение И при всех интерпретациях, при которых формула А имеет значение И.
|
Так как здесь две предпосылки, то считается, что они обе истинны, иначе следованию не из чего быть; вывод же, в зависимости от предпосылок, может быть разным, потому под определение следования никак не подходит
PS Нравится мне это цитирование, автоматически "сообщение от" приписывает, хоть учебник тут и не писал...