This tool looks for unlabeled Wikidata items in your language. It starts with a Wikidata item, looks at all the associated Wikipedia pages, the links on all those pages, and lists the Wikidata items corresponding to the link targets.

Wikidata item	Q (Example \| In the news)
Language code

Q7881229 - logical implication

Searching link targets on 41 Wikipedias...

Toggle existing labels

Item	Label [en]	Wikilabels	Link #
Q1651704 [CC \| ]	logical disjunction	Logical disjunction \| Disyunción lógica \| Disjonction logique \| Disjunção lógica \| Disjunktion \| 論理和 \| Disjunkce \| Логичка дисјункција \| Disgiunzione logica \| Inklusiv disjunksjon \| או (לוגיקה) \| Disjunkcia (logika) \| 逻辑或 \| Disgionsion \| Դիզյունկցիա \| Дизъюнкция \| Диз'юнкція (логіка) \| Disjunktsioon \| Disjuncție logică \| Дизюнкция \| فصل منطقی	21
Q8078 [CC \| ]	logic	Logika \| Логіка \| Logic \| Logik \| Logique \| Lógica \| 論理学 \| Logica \| Лёгіка \| Логика \| منطق \| Logiikka \| Мантыйк \| Lohika	17
Q191081 [CC \| ]	logical conjunction	Logical conjunction \| Conjunción lógica \| Conjonction logique \| Conjunção lógica \| Konjunktion (logik) \| 論理積 \| Логичка конјункција \| Congiunzione logica \| Konjunksjon (logikk) \| Konjunkcia (logika) \| 逻辑与 \| Կոնյունկցիա \| Конъюнкция \| Кон'юнкція \| Konjunktsioon \| Конюнкция \| عطف منطقی	17
Q190558 [CC \| ]	logical negation	Negation \| Negación lógica \| Négation logique \| Negação \| 否定 \| Негација \| Negazione (matematica) \| Negasjon \| 逻辑非 \| نفي (رياضيات) \| Negassion \| Ժխտում (տրամաբանություն) \| Отрицание \| Заперечення \| Eitus \| نقیض	17
Q219079 [CC \| ]	truth table	Truth table \| Wahrheitstabelle \| Tabla de verdad \| Table de vérité \| Tablica prawdy \| Sanningsvärdetabell \| Taula de veritat \| 真理値表 \| Waarheidstabel \| Vertabelo \| Таблица на вистинитост \| Sannhetstabell \| טבלת אמת \| ตารางค่าความจริง \| 真值表 \| Таблица истинности \| جدول ارزش	17
Q211790 [CC \| ]	logical connective	Logical connective \| Conectiva lógica \| Connecteur logique \| Funktor zdaniotwórczy \| Logisk operator \| 論理演算 \| Логичка операција \| Connettivo logico \| קשר לוגי \| 逻辑运算符 \| Տրամաբանական գործողություն \| Логическая операция \| Логічний сполучник \| Konnektor (keeleteadus) \| Conector logic \| رابط منطقی	16
Q498186 [CC \| ]	exclusive or	Exclusive or \| Disyunción exclusiva \| Fonction OU exclusif \| 排他的論理和 \| Исклучителна дисјункција \| Disgiunzione esclusiva \| Eksklusiv disjunksjon \| 逻辑异或 \| Исключающее «или» \| Виключна диз'юнкція \| Välistav disjunktsioon \| Disjuncție exclusivă \| یای انحصاری	13
Q209555 [CC \| ]	tautology	Tautology (logic) \| Tautología \| Tautologie \| Tautologia (logika) \| Tautologi (logik) \| 恒真式 \| Тавтологија (логика) \| Tautologia \| Tautologi (logikk) \| 恆真式 \| طوطولوجيا \| Тавтологія (логіка) \| همان‌گویی (منطق)	13
Q574946 [CC \| ]	logical NOR	Logical NOR \| Disyunción opuesta \| Fonction NON-OU \| NOR \| 否定論理和 \| Заедничка негација \| Non-disgiunzione inclusiva \| Injunksjon \| 逻辑或非 \| Стрелка Пирса \| Стрілка Пірса \| نقیض یا	12
Q190763 [CC \| ]	Venn diagram	Diagrama de Venn \| Venndiagram \| Venn diagram \| ベン図 \| Diagramma di Venn \| 文氏图 \| Venn-diagram \| Диаграмма Венна \| Діаграма Венна \| Диаграма на Вен	12
Q173183 [CC \| ]	boolean algebra	Boolean algebra \| Algèbre de Boole (logique) \| Boolesk algebra \| Booleova algebra \| Bulea algebro \| Algebra di Boole \| جبر بول \| Алгебра логики \| Алгебра логіки \| Boole'i algebra \| جبر بولی	11
Q200694 [CC \| ]	propositional calculus	Lógica proposicional \| Propositional calculus \| Calcul des propositions \| Rachunek zdań \| Satslogik \| Lògica proposicional \| Setningslogikk \| แคลคูลัสเชิงประพจน์ \| 命题逻辑 \| حساب گزاره‌ای	11
Q363948 [CC \| ]	contradiction	Contradiction \| 矛盾 \| Contradicción \| Contradição \| Contraddizione \| Selvmotsigelse \| Суперечність \| تناقض	10
Q185521 [CC \| ]	truth value	Truth value \| Wahrheitswert \| Valor de verdad \| Valeur de vérité \| Wartość logiczna \| 真理値 \| Waarheidswaarde \| Valore di verità \| ערך אמת \| Valoare de adevăr	10
Q949972 [CC \| ]	if and only if	If and only if \| Bicondicional \| Se e somente se \| 同値 \| 当且仅当 \| إذا وفقط إذا \| Bikondicionális \| Dacă și numai dacă	9
Q108163 [CC \| ]	proposition	Proposition \| Proposition (philosophie) \| Proposição \| Proposició (lògica) \| 命題 \| Proposizione (logica) \| טענה \| قضية (فلسفة) \| گزاره (منطق)	9
Q397 [CC \| ]	Latin	Лацінская мова \| Latein \| ラテン語 \| Latina \| Latin \| Latinčina \| Լատիներեն \| Латинский язык	9
Q220433 [CC \| ]	logical equivalence	Logical equivalence \| Equivalencia lógica \| Équivalence logique \| Ekvivalens (logik) \| Logische equivalentie \| Equivalenza logica \| Ekvivalencia (logika) \| 逻辑等价	8
Q427343 [CC \| ]	material nonimplication	Material nonimplication \| Adjunción lógica \| Non-implication \| Материјална неимпликација \| Non-implicazione \| Abjunksjon \| 实质非蕴涵 \| Неімплікація	8
Q3874243 [CC \| ]	Sheffer stroke	Sheffer stroke \| Conjunción opuesta \| Barre de Sheffer \| 否定論理積 \| 谢费尔竖线 \| Штрих Шеффера \| Штрих Шефера \| خط شفر	8
Q913874 [CC \| ]	truth function	Truth function \| Wahrheitswertefunktion \| Función de verdad \| Fonction de vérité \| Função de verdade \| Sanningsfunktion \| Funció de veritat \| Sannhetsfunksjon	8
Q33760 [CC \| ]	Bertrand Russell	Bertrand Russell \| バートランド・ラッセル \| Բերտրան Ռասել \| برتراند راسل	7
Q236975 [CC \| ]	classical logic	Classical logic \| Klassische Logik \| Lógica clásica \| Logique classique \| Lògica clàssica \| 古典論理 \| منطق کلاسیک	7
Q374182 [CC \| ]	logical consequence	Logical consequence \| Consecuencia lógica \| Déduction logique \| Implikacja logiczna \| 論理的帰結 \| Logisch gevolg \| استتباع منطقي	7
Q1166618 [CC \| ]	mathematical logic	Mathematical logic \| Lógica matemática \| Logique mathématique \| לוגיקה מתמטית \| Матэматычная логіка \| Матэматычная лёгіка \| منطق ریاضی	7
Q408386 [CC \| ]	inference	Inference \| Inférence (logique) \| Gevolgtrekking \| Inferenza \| היסק \| Järeldus (traditsiooniline loogika)	6
Q176786 [CC \| ]	intuitionistic logic	Intuitionistic logic \| Intuitionismus \| Lógica intuicionista \| Logique intuitionniste \| 直観主義論理 \| Интуиционистская логика	6
Q575178 [CC \| ]	NAND gate	NAND \| NAND gate \| Porta NAND \| NING-EI \| دروازه نقیض و	6
Q12482 [CC \| ]	set theory	Set theory \| Teoría de conjuntos \| Théorie des ensembles \| Teoria de conjunts \| Hulgateooria \| نظریه مجموعه‌ها	6
Q64861 [CC \| ]	transitive relation	Transitive relation \| Relación transitiva \| Relation transitive \| Relació transitiva \| 传递关系 \| Transitiivsus	6
Q173300 [CC \| ]	De Morgan's laws	Leyes de De Morgan \| Lois de De Morgan \| De Morgans lagar \| ド・モルガンの法則 \| De Morgan-azonosságok \| De Morgani seadused	6
Q395 [CC \| ]	mathematics	Matematik \| Математика \| Matematica \| คณิตศาสตร์ \| 数学 \| Matematică	6
Q1139519 [CC \| ]	arrow	Arrow (symbol) \| Flèche (symbole) \| Pil (figur) \| 矢印 \| سهم (رمز)	5
Q164307 [CC \| ]	binary operation	Binary operation \| Binární operace \| Бинарная операция \| Operație binară \| عمل دوتایی	5
Q1077442 [CC \| ]	contraposition	Contraposition \| Contraposição \| Prawo kontrapozycji \| 対偶 (論理学) \| קונטרה פוזיטיב	5
Q1783264 [CC \| ]	counterfactual conditional	Counterfactual conditional \| Contrafactual \| Kontrafaktisk villkorssats \| 反事实条件 \| شرطی خلاف واقع	5
Q41585 [CC \| ]	David Hilbert	David Hilbert \| Давид Хилберт \| داویت هیلبرت	5
Q191029 [CC \| ]	Giuseppe Peano	Giuseppe Peano \| ジュゼッペ・ペアノ \| جوزپه پئانو	5
Q204355 [CC \| ]	logical biconditional	Logical biconditional \| Логички двоуслов \| Bisubjunksjon \| Ekvivalents \| دوشرطی منطقی	5
Q210841 [CC \| ]	modal logic	Modal logic \| Logique modale \| Logika modalna \| Logica modale \| منطق موجهات	5
Q655742 [CC \| ]	modus ponens	Modus ponens \| Modus ponendo ponens \| מודוס פוננס	5
Q107342 [CC \| ]	syllogism	Syllogism \| Syllogisme \| 三段論法 \| قیاس	5
Q60028 [CC \| ]	Gottlob Frege	Gottlob Frege \| Готлоб Фреге \| گوتلوب فرگه	5
Q179289 [CC \| ]	causality	Causalidad (filosofía) \| Kausalitet \| סיבתיות \| Պատճառականություն \| علیت	5
Q565 [CC \| ]	Wikimedia Commons	Wikimedia Commons \| ויקישיתוף \| Վիքիպահեստ \| Вікісховище	5
Q187959 [CC \| ]	distributive property	Distributivité \| Propietat distributiva \| Distributività \| 分配律 \| Distributiivsus	5
Q165474 [CC \| ]	commutative property	Loi commutative \| Propietat commutativa \| Kommutativ lov \| 交換律 \| Kommutatiivsus	5
Q260460 [CC \| ]	antecedent	Antecedent (logic) \| Antecedente (lógica) \| Antecedent \| 前件	4
Q1375963 [CC \| ]	converse	Converse (logic) \| Implication réciproque \| Implicazione inversa \| Обратная теорема	4
Q5166459 [CC \| ]	converse nonimplication	Converse nonimplication \| Adjunción opuesta \| Non-implication réciproque \| Non-implicazione inversa	4
Q3235413 [CC \| ]	list of logic symbols	List of logic symbols \| Lista de símbolos lógicos \| 論理記号の一覧 \| قائمة الرموز المنطقية	4
Q170451 [CC \| ]	logic gate	Logic gate \| Logisk grind \| Логический вентиль \| دروازه منطقی	4
Q193983 [CC \| ]	metalanguage	Metalanguage \| Metasprache \| Metajęzyk \| Metalinguaggio	4
Q1848046 [CC \| ]	paradoxes of material implication	Paradoxes of material implication \| Paradoxien der materialen Implikation \| Paradojas de la implicación material \| Implikationsparadoxer	4
Q35148 [CC \| ]	predicate logic	Predicate logic \| Prädikatenlogik \| Lógica de predicados \| Lògica de predicats	4
Q375520 [CC \| ]	Strict conditional	Strict conditional \| Condicional estricto \| Implication stricte \| 厳密含意	4
Q65943 [CC \| ]	theorem	Theorem \| Théorème \| Teorema \| قضیه	4
Q1196881 [CC \| ]	therefore sign	Therefore sign \| Par conséquent \| Sinal de conclusão \| ∴	4
Q5166460 [CC \| ]	converse implication	Implicación opuesta \| 逆含意 \| Обернена імплікація \| شرطی معکوس	4
Q1182249 [CC \| ]	deduction theorem	Teorema de la deducción \| 演繹定理 \| 演绎定理 \| Теорема про дедукцію	4
Q560370 [CC \| ]	AND gate	AND gate \| NING \| دروازه و	3
Q11213 [CC \| ]	&	Ampersand \| & \| رمز العطف اللاتيني	3
Q17736 [CC \| ]	axiom	Axiom \| Axiome \| Аксиома	3
Q942353 [CC \| ]	Boolean function	Boolean function \| Fonction booléenne \| تابع بولی	3
Q846564 [CC \| ]	conjunctive normal form	Conjunctive normal form \| Конъюнктивная нормальная форма \| فرم نرمال اشتراکی	3
Q261155 [CC \| ]	consequent	Consequent \| Konsekvent \| 后件	3
Q903789 [CC \| ]	disjunctive normal form	Disjunctive normal form \| Дисјунктивен нормален облик \| Дизъюнктивная нормальная форма	3
Q773483 [CC \| ]	existential quantification	Existential quantification \| Quantificação existencial \| 存在記号	3
Q5432619 [CC \| ]	false	False (logic) \| Falso (lógica) \| کذب	3
Q4055684 [CC \| ]	first-order logic	First-order logic \| Calcul des prédicats \| Första ordningens logik	3
Q649732 [CC \| ]	formal system	Formal system \| Système formel \| دستگاه صوری	3
Q60502 [CC \| ]	Gerhard Gentzen	Gerhard Gentzen \| ゲルハルト・ゲンツェン	3
Q18562927 [CC \| ]	IMPLY gate	IMPLY gate \| 蘊含閘 \| دروازه شرطی	3
Q6024399 [CC \| ]	indicative conditional	Indicative conditional \| Condicional indicativo \| 直陈条件	3
Q3308477 [CC \| ]	logic equality	Logical equality \| Эквиваленция \| Логічна еквівалентність	3
Q3311695 [CC \| ]	logical truth	Logical truth \| Vérité logique \| Prawda (logika)	3
Q467606 [CC \| ]	model theory	Model theory \| Théorie des modèles \| نظریه مدل	3
Q844118 [CC \| ]	modus tollens	Modus tollens \| מודוס טולנס	3
Q194404 [CC \| ]	monotonic function	Monotonic function \| 单调函数 \| تابع یکنوا	3
Q8065380 [CC \| ]	NOR gate	NOR gate \| VÕI-EI \| دروازه نقیض یا	3
Q560398 [CC \| ]	OR gate	OR gate \| VÕI \| دروازه یا	3
Q2476757 [CC \| ]	philosophy of logic	Philosophy of logic \| Philosophie de la logique \| فلسفه منطق	3
Q214510 [CC \| ]	prefix notation	Polish notation \| Polnische Notation \| Notación polaca	3
Q163335 [CC \| ]	Principia Mathematica	Principia Mathematica \| プリンキピア・マテマティカ \| مبادی ریاضیات	3
Q852732 [CC \| ]	proof theory	Proof theory \| Théorie de la démonstration \| نظریه برهان	3
Q14402006 [CC \| ]	reductio ad absurdum	Reductio ad absurdum \| Raisonnement par l'absurde	3
Q176630 [CC \| ]	relevance logic	Relevance logic \| Lógica relevante \| منطق ربط	3
Q177646 [CC \| ]	subset	Subset \| 部分集合 \| مجموعة جزئية	3
Q2395230 [CC \| ]	syntax	Syntax (logic) \| Syntaxe (logique) \| نحو (منطق)	3
Q11167 [CC \| ]	tilde	Tilde \| チルダ \| مدة (علامة ترقيم)	3
Q126695 [CC \| ]	universal quantification	Universal quantification \| Quantificação universal \| 全称記号	3
Q1096079 [CC \| ]	vacuous truth	Vacuous truth \| Verdad vacua \| באופן ריק	3
Q1047000 [CC \| ]	validity	Validity (logic) \| Validité (logique) \| תקפות (לוגיקה)	3
Q1336142 [CC \| ]	XNOR gate	XNOR gate \| XNOR \| دروازه نقیض یای انحصاری	3
Q36484 [CC \| ]	conjunction	Злучнік \| Konjunktion (Wortart)	3
Q177251 [CC \| ]	associativity	Asociatividad (álgebra) \| Associativité \| Assotsiatiivsus	3
Q455 [CC \| ]	Encyclopædia Britannica	Enciclopedia Británica \| Encyklopedia Britannica \| Enciclopedia Britannica	3
Q868 [CC \| ]	Aristotle	Aristote \| Aristotle \| ارسطو	3
Q187520 [CC \| ]	Charles Sanders Peirce	Charles Sanders Peirce	3
Q483372 [CC \| ]	paradox	Paradoxe \| Paradox \| پارادوکس	3
Q321703 [CC \| ]	premise	Prémisse \| Premiss \| Eeldus	3
Q214969 [CC \| ]	Willard Van Orman Quine	Willard Van Orman Quine \| Willard van Orman Quine \| ویلارد کواین	3
Q382497 [CC \| ]	affine transformation	Affine transformation \| تبدیل آفین	2
Q641771 [CC \| ]	Arend Heyting	Arend Heyting \| アレン・ハイティング	2
Q186619 [CC \| ]	argument	Argument \| برهان (منطق)	2
Q792542 [CC \| ]	axiomatic system	Axiomatic system \| Sistem axiomatic	2
Q474881 [CC \| ]	Cantor's theorem	Cantor's theorem \| Théorème de Cantor	2
Q309157 [CC \| ]	Church-Turing thesis	Church–Turing thesis \| Thèse de Church	2
Q242767 [CC \| ]	complement	Complement (set theory) \| Complemento de un conjunto	2
Q1319773 [CC \| ]	consistency	Consistency \| 無矛盾	2
Q430001 [CC \| ]	decidability	Decidability (logic) \| Décidabilité	2
Q5300115 [CC \| ]	double turnstile	Double turnstile \| Dupla catraca	2
Q130998 [CC \| ]	equivalence relation	Equivalence relation \| Relazione di equivalenza	2
Q192161 [CC \| ]	formal language	Formal language \| Formale Sprache	2
Q833585 [CC \| ]	foundations of mathematics	Foundations of mathematics \| Fondements des mathématiques	2
Q11348 [CC \| ]	function	Function (mathematics) \| Fonction (mathématiques)	2
Q2348801 [CC \| ]	functional completeness	Functional completeness \| Функціональна повнота	2
Q902052 [CC \| ]	Gödel's completeness theorem	Gödel's completeness theorem \| Théorème de complétude de Gödel	2
Q200787 [CC \| ]	Gödel's incompleteness theorems	Gödel's incompleteness theorems \| Théorèmes d'incomplétude de Gödel	2
Q1587900 [CC \| ]	Harvard University Press	Harvard University Press	2
Q468620 [CC \| ]	history of logic	History of logic \| Histoire de la logique	2
Q664575 [CC \| ]	inverter	Inverter (logic gate) \| دروازه وارونگر	2
Q189112 [CC \| ]	isomorphism	Isomorphism \| Isomorfi	2
Q1782658 [CC \| ]	logical constant	Logical constant \| Constant lògica	2
Q845691 [CC \| ]	logicism	Logicism \| Logicisme	2
Q1068283 [CC \| ]	Löwenheim–Skolem theorem	Löwenheim–Skolem theorem \| Théorème de Löwenheim-Skolem	2
Q370502 [CC \| ]	mapping	Map (mathematics) \| Application (mathématiques)	2
Q6786560 [CC \| ]	material implication	Material implication (rule of inference) \| Implicación material	2
Q1572108 [CC \| ]	natural deduction	Natural deduction \| Déduction naturelle	2
Q2387196 [CC \| ]	Peirce's law	Peirce's law \| Loi de Peirce	2
Q181839 [CC \| ]	pragmatics	Pragmatics \| Pragmatiks	2
Q1144319 [CC \| ]	predicate	Predicate (mathematical logic) \| Prédicat (logique mathématique)	2
Q1372900 [CC \| ]	propositional formula	Propositional formula \| Funkcja zdaniowa	2
Q592911 [CC \| ]	quantifier	Quantifier (logic) \| Kvantifikator	2
Q621850 [CC \| ]	reflexive relation	Reflexive relation \| Refleksiivsus	2
Q1068763 [CC \| ]	rule of inference	Rule of inference \| Règle d'inférence	2
Q963731 [CC \| ]	semantics of logic	Semantics of logic \| Sémantique formelle (logique)	2
Q2509500 [CC \| ]	sentence	Sentence (mathematical logic) \| Zdanie logiczne	2
Q36161 [CC \| ]	set	Set (mathematics) \| Множина	2
Q693083 [CC \| ]	soundness	Soundness \| درستی (منطق)	2
Q824553 [CC \| ]	Stanford Encyclopedia of Philosophy	Stanford Encyclopedia of Philosophy	2
Q2684591 [CC \| ]	statement	Statement (logic) \| Твердження (логіка)	2
Q237125 [CC \| ]	term logic	Term logic \| Logique traditionnelle	2
Q7856108 [CC \| ]	turnstile	Turnstile (symbol) \| Catraca (símbolo)	2
Q1056428 [CC \| ]	type theory	Type theory \| نظریه نوع‌ها	2
Q185359 [CC \| ]	union	Union (set theory) \| Unión de conjuntos	2
Q239479 [CC \| ]	Wason selection task	Wason selection task \| ウェイソン選択課題	2
Q155516 [CC \| ]	XOR gate	XOR gate \| دروازه یای انحصاری	2
Q4370006 [CC \| ]	Zhegalkin polynomial	Zhegalkin polynomial \| Полином Жегалкина	2
Q843632 [CC \| ]	sequent	Consecuente \| Sequente	2
Q118455746 [CC \| ]	authority control	Control de autoridades \| Չափորոշչային վերահսկողություն	2
Q33057 [CC \| ]	International Standard Book Number	ISBN	2
Q9391 [CC \| ]	Ludwig Wittgenstein	Ludwig Wittgenstein	2
Q2488768 [CC \| ]	non-monotonic logic	Lógica no monotónica \| Logique non monotone	2
Q7251 [CC \| ]	Alan Turing	Alan Turing \| آلن تورینگ	2
Q183372 [CC \| ]	Alfred North Whitehead	Alfred North Whitehead \| アルフレッド・ノース・ホワイトヘッド	2
Q207534 [CC \| ]	Alfred Tarski	Alfred Tarski \| آلفرد تارسکی	2
Q92741 [CC \| ]	Alonzo Church	Alonzo Church \| آلونزو چرچ	2
Q39837 [CC \| ]	Averroes	Averroès \| ابن رشد	2
Q8011 [CC \| ]	Avicenna	Avicenne \| ابن سینا	2
Q11538 [CC \| ]	mathematical proof	Démonstration (logique et mathématiques) \| Matematický důkaz	2
Q77297 [CC \| ]	Ernst Schröder	Ernst Schröder	2
Q76420 [CC \| ]	Georg Cantor	Georg Cantor \| گئورگ کانتور	2
Q134661 [CC \| ]	George Boole	George Boole \| جرج بول	2
Q221697 [CC \| ]	Hilary Putnam	Hilary Putnam \| هیلاری پاتنم	2
Q41390 [CC \| ]	Kurt Gödel	Kurt Gödel \| کورت گودل	2
Q224821 [CC \| ]	fuzzy logic	Logique floue \| منطق فازی	2
Q491412 [CC \| ]	philosophical logic	Logique philosophique \| منطق فلسفی	2
Q1366730 [CC \| ]	metalogic	Métalogique \| فرامنطق	2
Q76519 [CC \| ]	Rudolf Carnap	Rudolf Carnap \| رودلف کارناپ	2
Q841606 [CC \| ]	tautology	Tautologia \| トートロジー	2
Q41719 [CC \| ]	hypothesis	Hypotes \| สมมติฐาน	2
Q1860 [CC \| ]	English	英語 \| زبان انگلیسی	2
Q12033796 [CC \| ]	No label in en!	Logická operace \| Logická operácia	2
Q3240280 [CC \| ]	direct proof	Přímý důkaz \| Priamy dôkaz	2
Q875267 [CC \| ]	necessity and sufficiency	Condizione necessaria e sufficiente \| Välttämätön ja riittävä ehto	2
Q719112 [CC \| ]	MathWorld	MathWorld	2
Q42106 [CC \| ]	synonym	Synonym \| Kasingkahulugan	2
Q5 [CC \| ]	human	אדם \| Human	2
Q2296529 [CC \| ]	denying the antecedent	הכחשת הפותח \| Negarea antecedentului	2
Q186150 [CC \| ]	fallacy	כשל לוגי \| مغالطه	2
Q9492 [CC \| ]	probability	Імавернасць \| Імавернасьць	2
Q2748142 [CC \| ]	abstract logic	Abstract logic	1
Q341810 [CC \| ]	Ackermann set theory	Ackermann set theory	1
Q908627 [CC \| ]	aleph number	Aleph number	1
Q1005222 [CC \| ]	algebraic logic	Algebraic logic	1
Q837518 [CC \| ]	alphabet	Alphabet (formal languages)	1
Q28458050 [CC \| ]	Arithmetices principia, nova methodo exposita	Arithmetices principia, nova methodo exposita	1
Q1315869 [CC \| ]	arity	Arity	1
Q2328174 [CC \| ]	atomic formula	Atomic formula	1
Q4345785 [CC \| ]	atomic sentence	Atomic sentence	1
Q214526 [CC \| ]	automata theory	Automata theory	1
Q431667 [CC \| ]	automated theorem proving	Automated theorem proving	1
Q179692 [CC \| ]	axiom of choice	Axiom of choice	1
Q792536 [CC \| ]	axiom schema	Axiom schema	1
Q737851 [CC \| ]	Banach–Tarski paradox	Banach–Tarski paradox	1
Q180907 [CC \| ]	bijection	Bijection	1
Q4943350 [CC \| ]	Boolean algebras canonically defined	Boolean algebras canonically defined	1
Q3269980 [CC \| ]	Boolean domain	Boolean domain	1
Q28500947 [CC \| ]	binary logic	Boolean logic	1
Q49111 [CC \| ]	Cambridge	Cambridge, Massachusetts	1
Q729471 [CC \| ]	Cantor's diagonal argument	Cantor's diagonal argument	1
Q379078 [CC \| ]	Cantor's paradox	Cantor's paradox	1
Q4049983 [CC \| ]	cardinality	Cardinality	1
Q173740 [CC \| ]	Cartesian product	Cartesian product	1
Q15830473 [CC \| ]	Morley's categoricity theorem	Categorical theory	1
Q719395 [CC \| ]	category	Category (mathematics)	1
Q2518298 [CC \| ]	category of sets	Category of sets	1
Q217413 [CC \| ]	category theory	Category theory	1
Q25048149 [CC \| ]	causal graph	Causal graph	1
Q1089708 [CC \| ]	Church encoding	Church encoding	1
Q217594 [CC \| ]	class	Class (set theory)	1
Q199006 [CC \| ]	codomain	Codomain	1
Q1149458 [CC \| ]	compactness theorem	Compactness theorem	1
Q3508260 [CC \| ]	complete theory	Complete theory	1
Q818930 [CC \| ]	computability theory	Computability theory	1
Q1148456 [CC \| ]	computable function	Computable function	1
Q877945 [CC \| ]	recursive set	Computable set	1
Q676835 [CC \| ]	recursively enumerable set	Computably enumerable set	1
Q1575634 [CC \| ]	concrete category	Concrete category	1
Q5159270 [CC \| ]	Conditional proof	Conditional proof	1
Q5159271 [CC \| ]	Conditional quantifier	Conditional quantifier	1
Q456748 [CC \| ]	conditional sentence	Conditional sentence	1
Q864213 [CC \| ]	Conservative extension	Conservative extension	1
Q2777107 [CC \| ]	constructible universe	Constructible universe	1
Q2584477 [CC \| ]	Construction of the real numbers	Construction of the real numbers	1
Q5164501 [CC \| ]	constructive set theory	Constructive set theory	1
Q208416 [CC \| ]	continuum hypothesis	Continuum hypothesis	1
Q979096 [CC \| ]	cooperative principle	Cooperative principle	1
Q5172913 [CC \| ]	Corresponding conditional	Corresponding conditional	1
Q66707394 [CC \| ]	countable set	Countable set	1
Q3262192 [CC \| ]	decision problem	Decision problem	1
Q3322159 [CC \| ]	deductive system	Deductive system	1
Q1189753 [CC \| ]	denotation	Denotation	1
Q15805655 [CC \| ]	diagram	Diagram (mathematical logic)	1
Q18207990 [CC \| ]	Digital buffer	Digital buffer	1
Q192439 [CC \| ]	domain of a function	Domain of a function	1
Q5298401 [CC \| ]	Dorothy Edgington	Dorothy Edgington	1
Q2137023 [CC \| ]	Dover Publications	Dover Publications	1
Q4355172 [CC \| ]	Edward N. Zalta	Edward N. Zalta	1
Q379825 [CC \| ]	element	Element (mathematics)	1
Q5358902 [CC \| ]	Elementary diagram	Elementary diagram	1
Q877149 [CC \| ]	elementary equivalence	Elementary equivalence	1
Q5358906 [CC \| ]	elementary function arithmetic	Elementary function arithmetic	1
Q5365699 [CC \| ]	Elliott Mendelson	Elliott Mendelson	1
Q226183 [CC \| ]	empty set	Empty set	1
Q2704791 [CC \| ]	enumeration	Enumeration	1
Q5384443 [CC \| ]	Equiconsistency	Equiconsistency	1
Q172891 [CC \| ]	Elements	Euclid's Elements	1
Q162886 [CC \| ]	Euclidean geometry	Euclidean geometry	1
Q6498784 [CC \| ]	mathematical expression	Expression (mathematics)	1
Q5421941 [CC \| ]	Extension by definitions	Extension by definitions	1
Q5163116 [CC \| ]	Conservativity theorem	Extension by new constant and function names	1
Q965432 [CC \| ]	extensionality	Extensionality	1
Q203066 [CC \| ]	relation	Finitary relation	1
Q5450405 [CC \| ]	finite model theory	Finite model theory	1
Q272404 [CC \| ]	finite set	Finite set	1
Q55611653 [CC \| ]	Finite-valued logic	Finite-valued logic	1
Q111181235 [CC \| ]	Fixed-point logic	Fixed-point logic	1
Q1003136 [CC \| ]	forcing	Forcing (mathematics)	1
Q373045 [CC \| ]	formal grammar	Formal grammar	1
Q2762418 [CC \| ]	formal proof	Formal proof	1
Q5469969 [CC \| ]	formal semantics	Formal semantics (natural language)	1
Q3005945 [CC \| ]	formation rule	Formation rule	1
Q5474574 [CC \| ]	foundations of geometry	Foundations of geometry	1
Q1365057 [CC \| ]	Frank Cameron Jackson	Frank Cameron Jackson	1
Q3502887 [CC \| ]	free logic	Free logic	1
Q935944 [CC \| ]	free and bound variables	Free variables and bound variables	1
Q5508846 [CC \| ]	functional predicate	Functional predicate	1
Q1055058 [CC \| ]	fuzzy set	Fuzzy set	1
Q307 [CC \| ]	Galileo Galilei	Galileo Galilei	1
Q5532389 [CC \| ]	general set theory	General set theory	1
Q1465090 [CC \| ]	Grothendieck universe	Grothendieck universe	1
Q431411 [CC \| ]	ground expression	Ground expression	1
Q110765095 [CC \| ]	ground formula	Ground formula	1
Q1451046 [CC \| ]	Gödel numbering	Gödel numbering	1
Q622849 [CC \| ]	halting problem	Halting problem	1
Q5737878 [CC \| ]	Hereditary set	Hereditary set	1
Q1644136 [CC \| ]	higher-order logic	Higher-order logic	1
Q910361 [CC \| ]	Hilbert system	Hilbert system	1
Q840243 [CC \| ]	Hilbert's axioms	Hilbert's axioms	1
Q5905943 [CC \| ]	horseshoe	Horseshoe (symbol)	1
Q860623 [CC \| ]	image	Image (mathematics)	1
Q6007243 [CC \| ]	Implicational propositional calculus	Implicational propositional calculus	1
Q1331373 [CC \| ]	inaccessible cardinal	Inaccessible cardinal	1
Q2705017 [CC \| ]	independence	Independence (mathematical logic)	1
Q205140 [CC \| ]	infinite set	Infinite set	1
Q55614449 [CC \| ]	Infinite-valued logic	Infinite-valued logic	1
Q131222 [CC \| ]	information theory	Information theory	1
Q6033616 [CC \| ]	inhabited set	Inhabited set	1
Q182003 [CC \| ]	injection	Injective function	1
Q523607 [CC \| ]	interpretation	Interpretation (logic)	1
Q17101792 [CC \| ]	interpretation	Interpretation (model theory)	1
Q185837 [CC \| ]	intersection	Intersection (set theory)	1
Q1456811 [CC \| ]	Kolmogorov complexity	Kolmogorov complexity	1
Q3526833 [CC \| ]	Kripke–Platek set theory	Kripke–Platek set theory	1
Q242028 [CC \| ]	lambda calculus	Lambda calculus	1
Q1548262 [CC \| ]	large cardinal	Large cardinal	1
Q468422 [CC \| ]	principle of excluded middle	Law of excluded middle	1
Q906302 [CC \| ]	Laws of Form	Laws of Form	1
Q207505 [CC \| ]	lemma	Lemma (mathematics)	1
Q2379128 [CC \| ]	Lindström's theorem	Lindström's theorem	1
Q6626686 [CC \| ]	list of logic systems	List of Hilbert systems	1
Q3632199 [CC \| ]	list of axioms	List of axioms	1
Q2908665 [CC \| ]	list of first-order theories	List of first-order theories	1
Q6621081 [CC \| ]	list of formal systems	List of formal systems	1
Q6627335 [CC \| ]	list of mathematical theories	List of mathematical theories	1
Q104867734 [CC \| ]	list of set identities and relations	List of set identities and relations	1
Q6641390 [CC \| ]	list of statements undecidable in ZFC	List of statements independent of ZFC	1
Q6667503 [CC \| ]	logical graph	Logical graph	1
Q185502 [CC \| ]	many-valued logic	Many-valued logic	1
Q7186 [CC \| ]	Marie Curie	Marie Curie	1
Q17103604 [CC \| ]	Material inference	Material inference	1
Q246672 [CC \| ]	mathematical object	Mathematical object	1
Q2349502 [CC \| ]	Mineola	Mineola, New York	1
Q4059939 [CC \| ]	Wolfram axiom	Minimal axioms for Boolean algebra	1
Q6888319 [CC \| ]	model complete theory	Model complete theory	1
Q6897882 [CC \| ]	Monadic predicate calculus	Monadic predicate calculus	1
Q26899137 [CC \| ]	monadic second-order logic	Monadic second-order logic	1
Q3490369 [CC \| ]	Morse–Kelley set theory	Morse–Kelley set theory	1
Q65067697 [CC \| ]	NIMPLY gate	NIMPLY gate	1
Q628036 [CC \| ]	NP	NP (complexity)	1
Q903783 [CC \| ]	naive set theory	Naive set theory	1
Q33742 [CC \| ]	natural language	Natural language	1
Q649337 [CC \| ]	New Foundations	New Foundations	1
Q190529 [CC \| ]	Nicolas Bourbaki	Nicolas Bourbaki	1
Q233858 [CC \| ]	non-Euclidean geometry	Non-Euclidean geometry	1
Q7048956 [CC \| ]	Non-logical symbol	Non-logical symbol	1
Q3318128 [CC \| ]	non-standard model	Non-standard model	1
Q3318130 [CC \| ]	non-standard model of arithmetic	Non-standard model of arithmetic	1
Q2419598 [CC \| ]	Norwell	Norwell, Massachusetts	1
Q830486 [CC \| ]	open formula	Open formula	1
Q3884033 [CC \| ]	operation	Operation (mathematics)	1
Q7100782 [CC \| ]	ordinal analysis	Ordinal analysis	1
Q191780 [CC \| ]	ordinal number	Ordinal number	1
Q846354 [CC \| ]	P	P (complexity)	1
Q746242 [CC \| ]	P versus NP problem	P versus NP problem	1
Q4344872 [CC \| ]	paradoxes of set theory	Paradoxes of set theory	1
Q381060 [CC \| ]	partition of a set	Partition of a set	1
Q842755 [CC \| ]	Peano axioms	Peano axioms	1
Q6667765 [CC \| ]	Philosophia	Philosophia (journal)	1
Q484761 [CC \| ]	philosophy of language	Philosophy of language	1
Q180536 [CC \| ]	philosophy of mathematics	Philosophy of mathematics	1
Q13424705 [CC \| ]	Post's lattice	Post's lattice	1
Q205170 [CC \| ]	power set	Power set	1
Q10531432 [CC \| ]	predicate variable	Predicate variable	1
Q7243580 [CC \| ]	primitive recursive arithmetic	Primitive recursive arithmetic	1
Q1570472 [CC \| ]	primitive recursive function	Primitive recursive function	1
Q5862903 [CC \| ]	probability theory	Probability theory	1
Q9143 [CC \| ]	programming language	Programming language	1
Q17163436 [CC \| ]	proof of impossibility	Proof of impossibility	1
Q3492863 [CC \| ]	propositional variable	Propositional variable	1
Q7256370 [CC \| ]	Psychological Review	Psychological Review	1
Q7268912 [CC \| ]	quantifier rank	Quantifier rank	1
Q179976 [CC \| ]	recursion	Recursion	1
Q123739394 [CC \| ]	Relation	Relation (mathematics)	1
Q2005236 [CC \| ]	reverse mathematics	Reverse mathematics	1
Q1364893 [CC \| ]	Robert Stalnaker	Robert Stalnaker	1
Q928884 [CC \| ]	Robinson arithmetic	Robinson arithmetic	1
Q33401 [CC \| ]	Russell's paradox	Russell's paradox	1
Q1350299 [CC \| ]	satisfiability	Satisfiability	1
Q1473532 [CC \| ]	Saturated model	Saturated model	1
Q1033910 [CC \| ]	Cantor–Bernstein–Schroeder theorem	Schröder–Bernstein theorem	1
Q7442973 [CC \| ]	second-order arithmetic	Second-order arithmetic	1
Q1548746 [CC \| ]	second-order logic	Second-order logic	1
Q7448234 [CC \| ]	Self-verifying theories	Self-verifying theories	1
Q7449101 [CC \| ]	semantic theory of truth	Semantic theory of truth	1
Q1771121 [CC \| ]	sequent calculus	Sequent calculus	1
Q741810 [CC \| ]	signature	Signature (logic)	1
Q105626333 [CC \| ]	Simplification of disjunctive antecedents	Simplification of disjunctive antecedents	1
Q1165112 [CC \| ]	singleton	Singleton (mathematics)	1
Q7536198 [CC \| ]	Skolem arithmetic	Skolem arithmetic	1
Q18392333 [CC \| ]	Spectrum of a sentence	Spectrum of a sentence	1
Q7575321 [CC \| ]	Spectrum of a theory	Spectrum of a theory	1
Q2749902 [CC \| ]	square of opposition	Square of opposition	1
Q1989404 [CC \| ]	strength	Strength (mathematical logic)	1
Q2594083 [CC \| ]	word	String (formal languages)	1
Q1851710 [CC \| ]	structure	Structure (mathematical logic)	1
Q1522579 [CC \| ]	substitution	Substitution (logic)	1
Q859254 [CC \| ]	Substructure	Substructure (mathematics)	1
Q7644269 [CC \| ]	supertask	Supertask	1
Q229102 [CC \| ]	surjective function	Surjective function	1
Q2372244 [CC \| ]	symbol	Symbol (formal)	1
Q442383 [CC \| ]	T-schema	T-schema	1
Q7686756 [CC \| ]	Tarski's axiomatization of the reals	Tarski's axiomatization of the reals	1
Q7686757 [CC \| ]	Tarski's axioms	Tarski's axioms	1
Q574902 [CC \| ]	Tarski's undefinability theorem	Tarski's undefinability theorem	1
Q3984085 [CC \| ]	Tarski–Grothendieck set theory	Tarski–Grothendieck set theory	1
Q7694166 [CC \| ]	tee symbol	Tee (symbol)	1
Q1318370 [CC \| ]	term	Term (logic)	1
Q10859910 [CC \| ]	theory	Theory (mathematical logic)	1
Q185443 [CC \| ]	three-valued logic	Three-valued logic	1
Q7806105 [CC \| ]	timeline of mathematical logic	Timeline of mathematical logic	1
Q17157202 [CC \| ]	transfer principle	Transfer principle	1
Q671944 [CC \| ]	transitive set	Transitive set	1
Q7843500 [CC \| ]	triple bar	Triple bar	1
Q16751793 [CC \| ]	true	True (logic)	1
Q7847560 [CC \| ]	True arithmetic	True arithmetic	1
Q7848347 [CC \| ]	Truth predicate	Truth predicate	1
Q163310 [CC \| ]	Turing machine	Turing machine	1
Q129555 [CC \| ]	Ɐ	Turned A	1
Q834884 [CC \| ]	type	Type (model theory)	1
Q1535225 [CC \| ]	ultraproduct	Ultraproduct	1
Q1128796 [CC \| ]	uncountable set	Uncountable set	1
Q3502995 [CC \| ]	undecidable problem	Undecidable problem	1
Q7885264 [CC \| ]	Uninterpreted function	Uninterpreted function	1
Q2502253 [CC \| ]	uniqueness quantification	Uniqueness quantification	1
Q1378301 [CC \| ]	universal set	Universal set	1
Q597663 [CC \| ]	universe	Universe (mathematics)	1
Q3594846 [CC \| ]	up tack	Up tack	1
Q1896657 [CC \| ]	urelement	Urelement	1
Q50701 [CC \| ]	variable	Variable (mathematics)	1
Q77887 [CC \| ]	von Neumann universe	Von Neumann universe	1
Q278770 [CC \| ]	Von Neumann–Bernays–Gödel set theory	Von Neumann–Bernays–Gödel set theory	1
Q19361600 [CC \| ]	Wedge (symbol)	Wedge (symbol)	1
Q655328 [CC \| ]	well-formed formula	Well-formed formula	1
Q767319 [CC \| ]	Wiley-Blackwell	Wiley-Blackwell	1
Q191849 [CC \| ]	Zermelo–Fraenkel set theory	Zermelo–Fraenkel set theory	1
Q814390 [CC \| ]	Begriffsschrift	Begriffsschrift	1
Q1208485 [CC \| ]	dialogical logic	Dialogische Logik	1
Q60190 [CC \| ]	principle of explosion	Ex falso quodlibet	1
Q116159570 [CC \| ]	No label in en!	Implikation	1
Q93439763 [CC \| ]	No label in en!	Junktor	1
Q88045 [CC \| ]	Kuno Lorenz	Kuno Lorenz	1
Q2027160 [CC \| ]	opponent	Opponent	1
Q72998 [CC \| ]	Paul Lorenzen	Paul Lorenzen	1
Q7157915 [CC \| ]	Peano-Russell notation	Peano-Russell-Notation	1
Q1366567 [CC \| ]	Philo the Dialectician	Philon von Megara	1
Q2113048 [CC \| ]	proponent	Proponent	1
Q1546924 [CC \| ]	Cayley table	Verknüpfungstafel	1
Q123903 [CC \| ]	Wilhelm Kamlah	Wilhelm Kamlah	1
Q30905191 [CC \| ]	logical statement	Afirmación lógica	1
Q845126 [CC \| ]	set difference	Diferencia de conjuntos	1
Q5840038 [CC \| ]	colloquial Spanish	Español coloquial	1
Q368988 [CC \| ]	idempotence	Idempotencia	1
Q21573131 [CC \| ]	No label in en!	Implicación	1
Q1665121 [CC \| ]	Grenoble Institute of Technology	Instituto Politécnico de Grenoble	1
Q682111 [CC \| ]	indicative	Modo indicativo (gramática)	1
Q473746 [CC \| ]	subjunctive	Modo subjuntivo	1
Q817862 [CC \| ]	conditional	Sentencia condicional	1
Q655717 [CC \| ]	Tractatus Logico-Philosophicus	Tractatus logico-philosophicus	1
Q2013 [CC \| ]	Wikidata	Wikidata	1
Q308495 [CC \| ]	abductive reasoning	Abduction (logique)	1
Q23199274 [CC \| ]	affirmation	Affirmation	1
Q384882 [CC \| ]	Alexander Bain	Alexander Bain (philosophe)	1
Q1140419 [CC \| ]	ambiguity	Ambiguïté	1
Q488152 [CC \| ]	philosophical analysis	Analyse (philosophie)	1
Q1094228 [CC \| ]	logical atomism	Atomisme logique	1
Q208448 [CC \| ]	Augustus De Morgan	Auguste De Morgan	1
Q48314 [CC \| ]	Battle of Waterloo	Bataille de Waterloo	1
Q211411 [CC \| ]	Chrysippus of Soli	Chrysippe de Soles	1
Q178518 [CC \| ]	completeness	Complétude	1
Q20665666 [CC \| ]	conclusion	Conclusion (logique)	1
Q1137814 [CC \| ]	constructivism	Constructivisme (mathématiques)	1
Q975734 [CC \| ]	Curry–Howard correspondence	Correspondance de Curry-Howard	1
Q1530061 [CC \| ]	credibility	Crédibilité	1
Q1200750 [CC \| ]	description	Description	1
Q3844169 [CC \| ]	Dialetheism	Dialethéisme	1
Q5164489 [CC \| ]	constructive dilemma	Dilemme constructif	1
Q5265416 [CC \| ]	destructive dilemma	Dilemme destructif	1
Q59138 [CC \| ]	Diogenes Laërtius	Diogène Laërce	1
Q101072 [CC \| ]	definition	Définition	1
Q1340194 [CC \| ]	Encyclopædia Universalis	Encyclopædia Universalis	1
Q57248 [CC \| ]	Ernst Zermelo	Ernst Zermelo	1
Q843894 [CC \| ]	critical thinking	Esprit critique	1
Q7958 [CC \| ]	explanation	Explication	1
Q9047 [CC \| ]	Gottfried Wilhelm Leibniz	Gottfried Wilhelm Leibniz	1
Q11772 [CC \| ]	Ancient Greece	Grèce antique	1
Q43936 [CC \| ]	William of Ockham	Guillaume d'Ockham	1
Q92611 [CC \| ]	Haskell Curry	Haskell Curry	1
Q1215266 [CC \| ]	Implication	Implication	1
Q484511 [CC \| ]	inductive reasoning	Induction (logique)	1
Q784645 [CC \| ]	Universal instantiation	Instanciation universelle	1
Q3153567 [CC \| ]	Brouwer–Heyting–Kolmogorov interpretation	Interprétation de Brouwer-Heyting-Kolmogorov	1
Q5282267 [CC \| ]	disjunction introduction	Introduction de la disjonction	1
Q10879018 [CC \| ]	intuitionism	Intuitionnisme	1
Q190089 [CC \| ]	Duns Scotus	Jean Duns Scot	1
Q723578 [CC \| ]	Jon Barwise	Jon Barwise	1
Q77504 [CC \| ]	Leopold Löwenheim	Leopold Löwenheim	1
Q14235582 [CC \| ]	literal	Littéral (logique)	1
Q387196 [CC \| ]	description logic	Logique de description	1
Q8080919 [CC \| ]	Łukasiewicz logic	Logique de Łukasiewicz	1
Q1506807 [CC \| ]	informal logic	Logique informelle	1
Q841728 [CC \| ]	linear logic	Logique linéaire	1
Q3257974 [CC \| ]	minimal logic	Logique minimale	1
Q239179 [CC \| ]	non-classical logic	Logique non classique	1
Q426592 [CC \| ]	paraconsistent logic	Logique paracohérente	1
Q839490 [CC \| ]	substructural logic	Logiques sous-structurelles	1
Q3354893 [CC \| ]	internal binary operation	Loi de composition interne	1
Q339606 [CC \| ]	modus ponendo tollens	Modus ponendo tollens	1
Q1088088 [CC \| ]	possible world	Mondes possibles	1
Q3363342 [CC \| ]	barbershop paradox	Paradoxe du coiffeur	1
Q3364869 [CC \| ]	parsimony	Parcimonie	1
Q122318 [CC \| ]	Paul Bernays	Paul Bernays	1
Q163468 [CC \| ]	Prolog	Prolog	1
Q7281 [CC \| ]	propaganda	Propagande	1
Q1076131 [CC \| ]	presupposition	Présupposition	1
Q441178 [CC \| ]	Raymond Smullyan	Raymond Smullyan	1
Q3426030 [CC \| ]	René Cori	René Cori	1
Q81009 [CC \| ]	rhetoric	Rhétorique	1
Q5161172 [CC \| ]	Conjunction introduction	Règle d'introduction (logique)	1
Q1361787 [CC \| ]	rule of replacement	Règle de remplacement	1
Q3454417 [CC \| ]	realizability	Réalisabilité	1
Q30419785 [CC \| ]	reference	Référence (philosophie)	1
Q298521 [CC \| ]	Saul Kripke	Saul Kripke	1
Q183046 [CC \| ]	meaning	Sens (linguistique)	1
Q1483917 [CC \| ]	sophism	Sophisme	1
Q335148 [CC \| ]	Stephen Cole Kleene	Stephen Cole Kleene	1
Q48235 [CC \| ]	stoicism	Stoïcisme	1
Q1142450 [CC \| ]	Fitch notation	Style de Fitch pour la déduction naturelle	1
Q430954 [CC \| ]	disjunctive syllogism	Syllogisme disjonctif	1
Q1641477 [CC \| ]	hypothetical syllogism	Syllogisme hypothétique	1
Q2462350 [CC \| ]	Kripke semantics	Sémantique de Kripke	1
Q548080 [CC \| ]	Thoralf Skolem	Thoralf Skolem	1
Q7835331 [CC \| ]	transposition	Transposition (logique)	1
Q1282359 [CC \| ]	Lives and Opinions of Eminent Philosophers	Vies, doctrines et sentences des philosophes illustres	1
Q9289849 [CC \| ]	conjunction elimination	Élimination de la conjonction	1
Q5282265 [CC \| ]	disjunction elimination	Élimination de la disjonction	1
Q30747919 [CC \| ]	No label in en!	Évidence	1
Q879126 [CC \| ]	bitwise operation	Lógica binária	1
Q4759606 [CC \| ]	Andrzej Grzegorczyk	Andrzej Grzegorczyk	1
Q11693829 [CC \| ]	Delta	Delta (miesięcznik)	1
Q184899 [CC \| ]	proof by contradiction	Dowód nie wprost	1
Q731361 [CC \| ]	Enciclopedia Treccani	Enciclopedia Treccani	1
Q615699 [CC \| ]	online encyclopedia	Encyklopedia internetowa	1
Q9258278 [CC \| ]	No label in en!	Fałsz	1
Q142 [CC \| ]	France	Francja	1
Q25407026 [CC \| ]	No label in en!	Funktor ekstensjonalny	1
Q455501 [CC \| ]	Helena Rasiowa	Helena Rasiowa	1
Q131276 [CC \| ]	International Standard Serial Number	International Standard Serial Number	1
Q313454 [CC \| ]	Jan Łukasiewicz	Jan Łukasiewicz	1
Q11725540 [CC \| ]	Jerzy Słupecki	Jerzy Słupecki	1
Q190593 [CC \| ]	OCLC, Inc.	Online Computer Library Center	1
Q714839 [CC \| ]	Tadeusz Kotarbiński	Tadeusz Kotarbiński	1
Q1768199 [CC \| ]	Great Russian Encyclopedia	Wielka Encyklopedia Rosyjska	1
Q85870326 [CC \| ]	Witold Marciszewski	Witold Marciszewski	1
Q725642 [CC \| ]	Clarence Irving Lewis	Clarence Irving Lewis	1
Q177239 [CC \| ]	limit	Gränsvärde	1
Q4567231 [CC \| ]	No label in en!	Klausul	1
Q19978121 [CC \| ]	No label in en!	Materiell implikation	1
Q19978133 [CC \| ]	No label in en!	Medför (logik)	1
Q1165538 [CC \| ]	Nationalencyklopedin	Nationalencyklopedin	1
Q7688961 [CC \| ]	Tautological consequence	Tautolog implikation	1
Q8084060 [CC \| ]	→	→	1
Q1076906 [CC \| ]	sunflower seed	Llavor de gira-sol	1
Q913 [CC \| ]	Socrates	Sòcrates	1
Q866 [CC \| ]	YouTube	YouTube	1
Q3364846 [CC \| ]	since punctuation	∵	1
Q4973304 [CC \| ]	Boolean algebra	ブール代数	1
Q22118295 [CC \| ]	Daisuke Kachi	加地大介	1
Q477675 [CC \| ]	National Diet Library	国立国会図書館	1
Q11496493 [CC \| ]	Kazuhisa Todayama	戸田山和久	1
Q11582786 [CC \| ]	No label in en!	真	1
Q11638851 [CC \| ]	Yōitsu Kondō	近藤洋逸	1
Q11652010 [CC \| ]	Ryōsuke Nagaoka	長岡亮介 (数学者)	1
Q12040722 [CC \| ]	proof by contrapositive	Nepřímý důkaz	1
Q248557 [CC \| ]	Nor	NOR	1
Q8216 [CC \| ]	Greek alphabet	Alfabeto greco	1
Q3687200 [CC \| ]	Conseguenza logica	Conseguenza logica (album)	1
Q2521786 [CC \| ]	De Agostini Editore	De Agostini	1
Q715478 [CC \| ]	Diodorus Cronus	Diodoro Crono	1
Q1340196 [CC \| ]	Encyclopedia of Mathematics	Encyclopaedia of Mathematics	1
Q960379 [CC \| ]	Free On-line Dictionary of Computing	Free On-line Dictionary of Computing	1
Q22169 [CC \| ]	GNU Free Documentation License	GNU Free Documentation License	1
Q3803714 [CC \| ]	Institute of the Italian Encyclopaedia	Istituto dell'Enciclopedia Italiana	1
Q1231930 [CC \| ]	Matia Bazar	Matia Bazar	1
Q2301186 [CC \| ]	necessity	Necessità	1
Q80071 [CC \| ]	symbol	Simbolo	1
Q8043 [CC \| ]	quotation mark	Virgolette	1
Q4015908 [CC \| ]	Treccani Vocabulary	Vocabolario Treccani	1
Q4116068 [CC \| ]	NAND logic	Eksklusjon (logikk)	1
Q11968636 [CC \| ]	No label in en!	Feilslutning	1
Q776754 [CC \| ]	summary	Konklusjon	1
Q11981816 [CC \| ]	No label in en!	Konvers subjunksjon	1
Q7949 [CC \| ]	truth	Sannhet	1
Q336462 [CC \| ]	Legal syllogism	Subsumpsjon	1
Q17507129 [CC \| ]	Citrullus lanatus	אבטיח	1
Q2000864 [CC \| ]	affirming the consequent	אישור הסוגר	1
Q49008 [CC \| ]	prime number	מספר ראשוני	1
Q12772447 [CC \| ]	No label in en!	Nepriamy dôkaz	1
Q130901 [CC \| ]	binary relation	二元关系	1
Q461 [CC \| ]	Internet Archive	互联网档案馆	1
Q1144925 [CC \| ]	currying	柯里化	1
Q214796 [CC \| ]	equals sign	等号	1
Q16769770 [CC \| ]	Contradiction	تناقض (توضيح)	1
Q12208509 [CC \| ]	No label in en!	حكم (منطق)	1
Q19493553 [CC \| ]	Dustūr al-ʻulamāʼ	دستور العلماء	1
Q16119569 [CC \| ]	No label in en!	قضية (توضيح)	1
Q16119648 [CC \| ]	No label in en!	قضية عنادية	1
Q16120833 [CC \| ]	Conditional analogy	قياس شرطي	1
Q5714153 [CC \| ]	kashshāf iṣṭilāḥāt al-funūn wa-al-ʻulūm	كشاف اصطلاحات الفنون	1
Q12240809 [CC \| ]	Muhammad Ali al-Tahawni	محمد علي التهانوي	1
Q12243113 [CC \| ]	No label in en!	مشروطة عامة	1
Q20380975 [CC \| ]	No label in en!	نفي (توضيح)	1
Q15085 [CC \| ]	Piedmontese	Lenga piemontèisa	1
Q2657718 [CC \| ]	Armenian Soviet Encyclopedia	Հայկական սովետական հանրագիտարան	1
Q7518846 [CC \| ]	Simon Gindikin	Гиндикин, Семён Григорьевич	1
Q18192682 [CC \| ]	sufficient condition	Достаточное условие	1
Q2372261 [CC \| ]	law of identity	Закон тождества	1
Q25379298 [CC \| ]	No label in en!	Категорический силлогизм	1
Q90278072 [CC \| ]	necessary condition	Необходимое условие	1
Q13424672 [CC \| ]	No label in en!	Предполные классы	1
Q4406646 [CC \| ]	self-dual boolean	Самодвойственная функция	1
Q12621536 [CC \| ]	judgment	Суждение	1
Q4477759 [CC \| ]	conditioned disjunction	Условная дизъюнкция	1
Q4201806 [CC \| ]	Hryhoriy Skovoroda Institute of Philosophy of the National Academy of Sciences of Ukraine	Інститут філософії імені Григорія Сковороди НАН України	1
Q12089249 [CC \| ]	No label in en!	Академія (видавничий центр)	1
Q856579 [CC \| ]	Bibliothecal-Bibliographical classification	Бібліотечно-бібліографічна класифікація	1
Q12111025 [CC \| ]	Yuriy Kovaliv	Ковалів Юрій Іванович	1
Q12119991 [CC \| ]	Literaturoznavcha encyclopædia	Літературознавча енциклопедія	1
Q228588 [CC \| ]	Operator	Оператор	1
Q180159 [CC \| ]	list of mathematical symbols	Таблиця математичних символів	1
Q12171848 [CC \| ]	Vladimir Shinkaruk	Шинкарук Володимир Іларіонович	1
Q327069 [CC \| ]	conditional probability	Умоўная імавернасць	1
Q350 [CC \| ]	Cambridge	Cambridge	1
Q6097133 [CC \| ]	Ivan Orlov	Ivan Orlov	1
Q3043042 [CC \| ]	Deduction	Deducție	1
Q178377 [CC \| ]	mathematical induction	Inducție matematică	1
Q3923999 [CC \| ]	conditional clause	Propoziție circumstanțială condițională	1
Q20431424 [CC \| ]	No label in en!	Raționament logic	1
Q12742114 [CC \| ]	No label in en!	Teoremă reciprocă	1
Q41796 [CC \| ]	sentence	Rečenica	1
Q491558 [CC \| ]	Ibn Taymiyyah	ابن تیمیه	1
Q317787 [CC \| ]	Ibn Hazm	ابن حزم	1
Q179759 [CC \| ]	Al-Kindi	ابویوسف کندی	1
Q1710397 [CC \| ]	reason	استدلال	1
Q484284 [CC \| ]	deductive reasoning	استدلال استنتاجی	1
Q282883 [CC \| ]	Shihab al-Din Suhrawardi	شهاب‌الدین یحیی سهروردی	1
Q719375 [CC \| ]	operand	عملوند	1
Q9546 [CC \| ]	Al-Ghazali	غزالی	1
Q160460 [CC \| ]	Al-Farabi	فارابی	1
Q333703 [CC \| ]	Fakhr al-Din al-Razi	فخر رازی	1
Q15439057 [CC \| ]	list of rules of inference	فهرست قواعد استنتاج	1
Q863221 [CC \| ]	list of fallacies	فهرست مغالطه‌ها	1
Q2222142 [CC \| ]	list of logicians	فهرست منطقدانان	1
Q2509345 [CC \| ]	list of paradoxes	فهرست پارادوکس‌ها	1
Q92767 [CC \| ]	Lotfi A. Zadeh	لطفی زاده	1
Q171195 [CC \| ]	Nāgārjuna	ناگارجونه	1
Q189725 [CC \| ]	Panini	پانینی	1
Q4893253 [CC \| ]	Paul the Persian	پولس ایرانی	1
Q8162 [CC \| ]	linguistics	Lingguwistika	1
Q12969319 [CC \| ]	No label in en!	Pasubali	1
Q151 [CC \| ]	Wiktionary	Wiktionary	1