arabiclib.com logo ArabicLib pl POLSKI

Logika / 論理 - Leksykon

論理
推論
口論
前提
結論
控除
誘導
三段論法
命題
有効
健全性
誤謬
パラドックス
推論
真実
矛盾
含意
否定
接続詞
分離
述語
量指定子
トートロジー
一貫性
逆説
モーダス・ポネンス
モーダス・トレンス
論理形式
モデル
構文
セマンティクス
ヒューリスティック
誘拐的な
公理
定理
証拠
アルゴリズム
バイナリ
集合論
関数
変数
オペレーター
真理値表
必要性
可能性
コンセンサス