yourdomain.com

Импликация

Наглядно о том, что из лжи следует как ложь, так и истина.

bulygin69 писал(а):Qr Bbpost Чтобы делать истинные выводы относительно False, свойства ложных формул
были разнесены по разным операциям (эквиваленция, логическое И)  

И в этом нет ничего удивительного! Поскольку из ложной формулы следует как ложь, так и истина.

Что есть ложь? Ложная формула: (A = не-А) = False или (A ≠ А) = False Иначе говоря, False - то же самое, что  равенство неравных термов, равенство неравных формул или неравенство равных термов, неравенство равных формул False равна False? Равна, т.е (False = False) = True. C другой стороны, если под...

В таблице истинности сами А - это либо ложные, либо истинные формулы 1) А & A = True Если А есть истина: истинная формула & истинная формула - то же самое, что Истина. 2) А & не-А = False Если А есть истина: истинная формула & не-истинная формула - то же самое, что Ложь. Разумеется, ...

Поскольку  (А & А) = True (А = А) = True то (А & А) = (А = А) Поскольку  (А & не-А) = False (А = не-А) = False то (А & не-А) = (А = не-А) Это верно для всех А, кроме самого False (False & не-False) = False (False = не-False) = False поскольку 1) False = False 2) но (False = не-Fa...

Б. Рассел : Сегодня я предполагаю начать с анализа фактов и пропозиций,  ибо в известном смысле главный тезис, который мне нужно защитить,  - это законность анализа, поскольку занятие тем, что я называю "Логическим атомизмом", подразумевает убеждение в том, что мир можно разложить на неко...

  Б. Рассел : Важным следствием теории дескрипций является то, что бессмысленно говорить, что “A существует”, если “A” не является (или не обозначает) фразой формы “то-то и то-то”. Если то-то и то-то существует, а x есть то-то и то-то, тогда говорить “x существует” бессмысленно (Х существует) означ...

Пусть имеется множество. Сколько в этом множестве элементов А?  Поскольку элементы множества попарно различаются, то элементов А может быть либо ноль, либо один. Другое дело, если считается то, что присуще каждому элементу множества. В таком смысле выделяется не только свойство элемента (различаться...

Алгоритм работы программы run_nr_i прост. Ноль - это не равняться себе. Единица - это равняться себе. Первый - это единица, которая различается: с нулем. Второй - это единица, которая различается: с нулем, с первым. Третий - это единица, которая различается: с нулем, c первым, с вторым. Четвертый -...