Categories
Tags
Logic
New post in Logic
Drawing circuit diagrams (with logic gates) in LaTeX
June 20th, 2020
graphics
logic
circuitikz
diagrams
What is the LaTeX symbol for "forking independent" (model theory)?
February 24th, 2020
logic
symbols
Double-nested logical-and and logical-or symbols?
December 26th, 2020
symbols
logic
How do I put a circle around an operator?
June 10th, 2020
logic
math-operators
How to get monospace logic formulas?
August 11th, 2022
math-mode
symbols
logic
fonts
latex symbol for "if and only if"
January 28th, 2020
symbols
math-operators
logic
What is the best package out there to typeset proof trees?
August 10th, 2022
packages
logic
How to draw Venn diagrams (especially: complements) in LaTeX
May 10th, 2020
logic
circles
gnuplot
tikz-pgf
venn-diagrams
Boolean Algebra - Truth Table
August 1st, 2022
boolean-algebra
logic
propositional-calculus
Best strategy for multiple choice negative marking and blank penalty
December 15th, 2020
probability
logic
LOGICALLY EQUIVALENT: NAND and NOR
August 1st, 2022
logic
If A implies B and B implies C and C implies A are they all equivalent?
August 1st, 2022
propositional-calculus
logic
Definition of the bound and unbound variable
September 29th, 2020
logic
formal-systems
first-order-logic
predicate-logic
Prove $A \subseteq B \cap C$ if and only if $A \subseteq B$ and $A \subseteq C$
February 3rd, 2020
boolean-algebra
logic
Simplifying on logic Operations
April 20th, 2020
discrete-mathematics
propositional-calculus
logic
"2 is the only even prime number" using quantifiers
April 21st, 2020
prime-numbers
quantifiers
logic
What is the denial of a statement in logic math?
August 1st, 2022
logic
proof-verification
predicate-logic
foundations
Decide whether the argument is valid or a fallacy, and the form that applies.
August 1st, 2020
logic
If P then Q; When P is False but we want to assume it is True
July 5th, 2020
first-order-logic
logic
How can I derive boolean expressions from this truth table?
August 17th, 2020
logic
Why is equivalence in logic said to work similar as a XOR gate?
September 5th, 2020
logic
what is the difference between ≈ and ≃?
August 24th, 2020
soft-question
notation
logic
What branch of mathematics improves logical thinking?
August 1st, 2022
learning
logic
soft-question
problem-solving
Express the propositional form ie. using only the NAND operator.
January 11th, 2020
propositional-calculus
logic
Example of function which is not computable
August 1st, 2022
logic
computability
Relationship between XOR and "AND"
August 1st, 2022
computer-science
logic
Can contrapositive proved using truth table
August 26th, 2020
logic
What is the negation of the following statements?
August 1st, 2022
geometry
logic
Exactly one in Predicate Logic
December 9th, 2020
predicate-logic
logic
Demonstrate that (p → q) → ((q → r) → (p → r)) is a tautology.
September 22nd, 2020
boolean-algebra
logic
←
1
2
3
4
5
6
7
8
9
…
82
83
→