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