Categories
Tags
Logic
New post in Logic
Prove that if $r^2$ is irrational then $r$ is irrational.
July 24th, 2022
logic
discrete-mathematics
proof-writing
The negation of a satisfiable sentence is unsatisfiable. True or False?
December 8th, 2022
logic
first-order-logic
if A then B & if not A then C
December 8th, 2022
logic
discrete-mathematics
propositional-calculus
education
proof-explanation
What's the point of the axiom of extensionality?
November 27th, 2022
set-theory
logic
Which of the following is a counterexample for the statement
August 16th, 2022
examples-counterexamples
logic
discrete-mathematics
Chain of implications shows equivalence of several conditions
August 15th, 2022
logic
What is the formal negation of the statement "There is much X in Y".
October 16th, 2022
fuzzy-logic
logic
9 hens lay 9 eggs in 9 days...
October 3rd, 2022
logic
recreational-mathematics
what does this symbol mean (like a perpendicular symbol, in set theory)
July 22nd, 2022
notation
elementary-set-theory
logic
State the value of x after the statement
September 9th, 2022
logic
predicate-logic
propositional-calculus
proving something is not a well formed formula
August 11th, 2022
logic
How to draw Logic gates like the following :
September 4th, 2020
logic
tikz-pgf
graphics
circuitikz
circuits
Logic gates - Circuitikz
October 6th, 2020
logic
circuitikz
Complicated Tikz logic drawing
December 1st, 2020
tikz-pgf
logic
technical-drawing
circuitikz
Scale Proof Tree with ebproof
August 1st, 2022
logic
fontsize
scaling
width
Draw flip flop with Circuitikz
December 24th, 2020
logic
circuitikz
overleaf
Negated Turnstile?
December 1st, 2020
logic
turnstile
How do you write the double turnstile & its negation in ShareLaTeX?
November 21st, 2021
errors
logic
symbols
How to leave spaces in a formula
December 10th, 2020
logic
math-mode
spacing
How to add circuitikz dots
August 1st, 2022
logic
circuitikz
How to reproduce this logic circuit ? with tikz
October 24th, 2020
logic
lemmon style proof for logic
August 4th, 2022
logic
3-input logic gate on circuitikz
August 1st, 2022
logic
tikz-pgf
circuitikz
Typesetting horizontal line used in logic
August 5th, 2022
logic
math-mode
How to invert Logic Gate input in Circuitikz
August 1st, 2022
circuitikz
logic
Derivation tree for type evaluations
August 1st, 2022
trees
logic
Analytic Tableaux Smullyan's Style
August 1st, 2022
logic
tables
trees
Write hypothesis for inference rules with proof package
May 14th, 2020
proof-package
logic
Complicated logic circuit drawing with Tikz - two input buffer gate?
November 30th, 2020
tikz-pgf
logic
tikz-circuit-lib
circuitikz
LaTeX \models symbol that goes both ways
January 25th, 2020
logic
symbols
math-mode
←
1
2
3
4
5
6
7
8
9
…
82
83
→