File:Logic portal.svg
Summary
<a href="https://en.wikipedia.org/wiki/Portal:Logic" class="extiw" title="w:Portal:Logic">Logic portal</a> icon
It shows the symbols https://wikimedia.org/api/rest_v1/media/math/render/svg/ab47f6b1f589aedcf14638df1d63049d233d851a" class="mwe-math-fallback-image-inline" aria-hidden="true" style="vertical-align: -0.338ex; width:1.561ex; height:2.009ex;" alt="{\displaystyle \lor }"> and <img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/53e574cc3aa5b4bf5f3f5906caf121a378eef08b" class="mwe-math-fallback-image-inline" aria-hidden="true" style="vertical-align: -0.338ex; width:2.334ex; height:1.843ex;" alt="{\displaystyle \rightarrow }"> combined to <img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/bfc1a1a9c4c0f8d5df989c98aa2773ed657c5937" class="mwe-math-fallback-image-inline" aria-hidden="true" style="vertical-align: -0.338ex; width:1.303ex; height:2.176ex;" alt="{\displaystyle \forall }">, with the Venn diagram <a href="//commons.wikimedia.org/wiki/File:Venn_0110_1001.svg" class="image"><img alt="Venn 0110 1001.svg" src=" <img src="https://upload.wikimedia.org/wikipedia/commons/thumb/a/ae/Venn_0110_1001.svg/25px-Venn_0110_1001.svg.png" width="25" height="25" srcset="https://upload.wikimedia.org/wikipedia/commons/thumb/a/ae/Venn_0110_1001.svg/38px-Venn_0110_1001.svg.png 1.5x, https://upload.wikimedia.org/wikipedia/commons/thumb/a/ae/Venn_0110_1001.svg/50px-Venn_0110_1001.svg.png 2x" data-file-width="200" data-file-height="200"></a> in the background.
Licensing
Lua error in package.lua at line 80: module 'strict' not found.
File history
Click on a date/time to view the file as it appeared at that time.
Date/Time | Thumbnail | Dimensions | User | Comment | |
---|---|---|---|---|---|
current | 08:25, 3 January 2017 | 287 × 218 (8 KB) | 127.0.0.1 (talk) | <p><a href="https://en.wikipedia.org/wiki/Portal:Logic" class="extiw" title="w:Portal:Logic">Logic portal</a> icon </p> <p>It shows the symbols <span><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML"><semantics><mrow class="MJX-TeXAtom-ORD"><mstyle displaystyle="true" scriptlevel="0"><mo>∨<!-- ∨ --></mo></mstyle></mrow><annotation encoding="application/x-tex">{\displaystyle \lor }</annotation></semantics></math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/ab47f6b1f589aedcf14638df1d63049d233d851a" class="mwe-math-fallback-image-inline" aria-hidden="true" style="vertical-align: -0.338ex; width:1.561ex; height:2.009ex;" alt="{\displaystyle \lor }"></span> and <span><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML"><semantics><mrow class="MJX-TeXAtom-ORD"><mstyle displaystyle="true" scriptlevel="0"><mo stretchy="false">→<!-- → --></mo></mstyle></mrow><annotation encoding="application/x-tex">{\displaystyle \rightarrow }</annotation></semantics></math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/53e574cc3aa5b4bf5f3f5906caf121a378eef08b" class="mwe-math-fallback-image-inline" aria-hidden="true" style="vertical-align: -0.338ex; width:2.334ex; height:1.843ex;" alt="{\displaystyle \rightarrow }"></span> combined to <span><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML"><semantics><mrow class="MJX-TeXAtom-ORD"><mstyle displaystyle="true" scriptlevel="0"><mi mathvariant="normal">∀<!-- ∀ --></mi></mstyle></mrow><annotation encoding="application/x-tex">{\displaystyle \forall }</annotation></semantics></math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/bfc1a1a9c4c0f8d5df989c98aa2773ed657c5937" class="mwe-math-fallback-image-inline" aria-hidden="true" style="vertical-align: -0.338ex; width:1.303ex; height:2.176ex;" alt="{\displaystyle \forall }"></span>, with the Venn diagram <a href="//commons.wikimedia.org/wiki/File:Venn_0110_1001.svg" class="image"><img alt="Venn 0110 1001.svg" src="https://upload.wikimedia.org/wikipedia/commons/thumb/a/ae/Venn_0110_1001.svg/25px-Venn_0110_1001.svg.png" width="25" height="25" srcset="https://upload.wikimedia.org/wikipedia/commons/thumb/a/ae/Venn_0110_1001.svg/38px-Venn_0110_1001.svg.png 1.5x, https://upload.wikimedia.org/wikipedia/commons/thumb/a/ae/Venn_0110_1001.svg/50px-Venn_0110_1001.svg.png 2x" data-file-width="200" data-file-height="200"></a> in the background. </p> |
- You cannot overwrite this file.
File usage
More than 100 pages link to this file. The following list shows the first 100 page links to this file only. A full list is available.
- Abductive reasoning
- Ad hominem
- Affirmative conclusion from a negative premise
- Affirming the consequent
- Alan Turing
- Alfred Tarski
- Alonzo Church
- Antinomy
- Appeal to novelty
- Appeal to ridicule
- Arity
- Axiom
- Barcan formula
- Cayenne (programming language)
- Classical logic
- Cointerpretability
- Computability theory
- Conditioned disjunction
- Consistency
- Converse (logic)
- Critical thinking
- David Hilbert
- Deductive reasoning
- Degree of truth
- Description logic
- Dialetheism
- Extensionality
- Fallacies of illicit transference
- Fallacy
- Fallacy of division
- First-order logic
- First-order predicate
- Fuzzy logic
- George Boole
- Gerhard Gentzen
- Giuseppe Peano
- Hilary Putnam
- History of logic
- Index of logic articles
- Inference
- Intelligence
- Interpretability
- Intuitionistic logic
- Inverse (logic)
- Kurt Gödel
- Linear logic
- List of cognitive biases
- List of logic symbols
- List of logicians
- List of mathematical logic topics
- List of rules of inference
- Logic Spectacles
- Logical connective
- Loss aversion
- Mathematical logic
- Modal logic
- Monotonicity of entailment
- Mozi
- Multimodal logic
- Natural deduction
- Non-monotonic logic
- Nonfirstorderizability
- Nyaya
- Occam's razor
- Outline of logic
- Paradox
- Philosophical logic
- Poisoning the well
- Polysyllogism
- Port-Royal Logic
- Predicate logic
- Probabilistic proposition
- Probability
- Proof theory
- Proposition
- Propositional calculus
- Prospect theory
- Prototype Verification System
- Provability logic
- Reason
- Relevance logic
- Second-order logic
- Second-order predicate
- Set (mathematics)
- Soundness
- Specialization (logic)
- Straw man
- Strict logic
- Syllogism
- Temporal logic
- Theorem
- Three-valued logic
- Truth condition
- Truth function
- Willard Van Orman Quine
- Infogalactic:WikiProject Philosophy/Templates
- Template:WikiProject Philosophy
- Category:Logic
- Category:Mathematical logic
- Category:Model theory