Таким образом, причина соглашения 'false подразумевает true is true' заключается в том, что оно делает утверждения типа x<10→x<100 истинными для всех значений x, как и следовало ожидать Вы хотите "настоящая жизнь", а? Если полицейский увидит, что вы превысили скорость, то вам придется заплатить штраф. Это правда.
Почему p подразумевает q true, когда p ложно?
Импликация p → q (читай: p подразумевает q, или если p, то q) - это утверждение, утверждающее, что если p истинно, то q также истинно. Мы согласны с тем, что p → q истинно, когда p ложно Утверждение p называется гипотезой импликации, а утверждение q называется заключением импликации.
Из двух ложных получается истина?
Нет. Формальная логика (верное рассуждение) гарантирует только то, что из истинных высказываний ложный вывод (утверждение) нельзя вывести. Правильное рассуждение сохраняет истинность посылок.
Истина 1 или ложь?
НО язык выводит истинное и ложное необычным образом. В основном нет логического значения. Число 0 считается ложным, а все остальные числа считаются истинными…. … 1 считается верным, поскольку оно не равно нулю.
Правда и ложь правда?
Правда пишется: true; Ложь пишется: ложь; Не пишется по-разному. В Matlab это тильда (~).
