# New post in Logic

July 24th, 2022

## The negation of a satisfiable sentence is unsatisfiable. True or False?

December 8th, 2022

## if A then B & if not A then C

December 8th, 2022

## What's the point of the axiom of extensionality?

November 27th, 2022

## Which of the following is a counterexample for the statement

August 16th, 2022

## Chain of implications shows equivalence of several conditions

August 15th, 2022

## What is the formal negation of the statement "There is much X in Y".

October 16th, 2022

## 9 hens lay 9 eggs in 9 days...

October 3rd, 2022

July 22nd, 2022

## State the value of x after the statement

September 9th, 2022

## proving something is not a well formed formula

August 11th, 2022

## How to draw Logic gates like the following :

September 4th, 2020

## Logic gates - Circuitikz

October 6th, 2020

## Complicated Tikz logic drawing

December 1st, 2020

August 1st, 2022

## Draw flip flop with Circuitikz

December 24th, 2020

## Negated Turnstile?

December 1st, 2020

## How do you write the double turnstile & its negation in ShareLaTeX?

November 21st, 2021

## How to leave spaces in a formula

December 10th, 2020

August 1st, 2022

## How to reproduce this logic circuit ? with tikz

October 24th, 2020

August 4th, 2022

August 1st, 2022

August 5th, 2022

August 1st, 2022

August 1st, 2022

August 1st, 2022

May 14th, 2020

## Complicated logic circuit drawing with Tikz - two input buffer gate?

November 30th, 2020

## LaTeX \models symbol that goes both ways

January 25th, 2020