arabiclib.com logo ArabicLib ru РУССКИЙ ▼

Логика / 論理 - Лексика

логика
論理
рассуждения
推論
аргумент
口論
предпосылка
前提
заключение
結論
вычет
控除
индукция
誘導
силлогизм
三段論法
предложение
命題
действительность
有効
надежность
健全性
заблуждение
誤謬
парадокс
パラドックス
вывод
推論
правда
真実
противоречие
矛盾
импликация
含意
эквивалентность
等価
отрицание
否定
соединение
接続詞
дизъюнкция
分離
предикат
述語
квантификатор
量指定子
тавтология
トートロジー
последовательность
一貫性
контрапозитивный
逆説
модус поненс
モーダス・ポネンス
модус толленс
モーダス・トレンス
логическая форма
論理形式
модель
モデル
синтаксис
構文
семантика
セマンティクス
эвристический
ヒューリスティック
абдуктивный
誘拐的な
аксиома
公理
теорема
定理
доказательство
証拠
алгоритм
アルゴリズム
двоичный
バイナリ
теория множеств
集合論
функция
関数
переменная
変数
оператор
オペレーター
таблица истинности
真理値表
ветвление
分岐
необходимость
必要性
возможность
可能性
консенсус
コンセンサス