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