таблица, с помощью которой устанавливается значение истинности сложного суждения в зависимости от значения истинности простых суждений, входящих в его состав. Каждое из сложных суждений имеет свою таблицу значений истинности.
В статье рассматривается специфика цифровых интегральных схем, вопросы их классификации, особенности комбинационных схем И, ИЛИ, НЕ, Исключающее ИЛИ, особенности параметров микросхем, где для комбинационных основным является таблица истинности. Описано оригинальное устройство, приставка к компьютеру для проверки работоспособности комбинационных логических микросхем по их таблицам истинности. Дана рекомендация использования устройства в качестве эмулятора логических схем, что позволит использовать его в качестве учебного стенда
Составление таблицыистинности
Определение 1
Логика таблицыистинности – это способ (порядок)... Таблицаистинности служит для описания логической функции (это один из способов задать логическую функцию... Таблицаистинности функции формируется в следующем порядке:
Определяется число строк.... Таблица функции трех логических переменных будет содержать девять строк, четырех – 17 и т.д.... Трактовка таблицыистинности следующая: из ложного высказывания может быть как истинное, так и ложное
Столбцам таблиц истинности, составленным из 4 ячеек, содержащих значения «истина» или «ложь», придана форма ромба, состоящего из 4 квадратов. В итоге таблицы истинности из одного или двух простых высказываний построенные по формулам логики высказываний сведены к изображению 16 выразительных фигур значений истинности, которые легко «схватываются» и запоминаются. Эти фигуры благодаря наглядности существенно упрощают выполнение многих операций логического исчисления и способствуют лучшему усвоению принципов и законов логики высказываний. Благодаря фигурам истинности обозначен образ возможного пути сближения постулатов учения о слоях мышления с правилами и принципами логики высказываний.
один из наиболее известных логических парадоксов. В простейшем его варианте человек произносит одну фразу: «Я лгу». Или говорит: «Высказывание, которое я сейчас произношу, является ложным». Или: «Это высказывание ложно». Если высказывание ложно, то говорящий сказал правду и, значит, сказанное им не является ложью. Если же высказывание не является ложным, а говорящий утверждает, что оно ложно, то его высказывание ложно. Оказывается, таким образом, что, если говорящий лжет, он говорит правду, и наоборот.
[лат. argumentum – логический довод, основание доказательства] – суждение (или совокупность взаимосвязанных суждений), посредством которого обосновывается истинность какого-либо другого суждения (или теории).
аналогия, которая применятеся тогда, когда точно и определенно установленна связь между общими признаками, имеющими у обоих составляемых предметов , и тем признаком, который присваеется исследуемому предмету по аналогии с известным уже предметом.
