# New post in Propositional-calculus

## Use the Fitch System to prove (p ⇒ (q ⇒ r)) ⇒ ((p ⇒ q) ⇒ (p ⇒ r)).

August 18th, 2022

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

December 8th, 2022

## State the value of x after the statement

September 9th, 2022

August 1st, 2022

August 1st, 2022

April 20th, 2020

## Express the propositional form ie. using only the NAND operator.

January 11th, 2020

August 1st, 2022

August 1st, 2022

August 1st, 2022

August 1st, 2022

## Show that a set of logical connectives is expresively complete

February 26th, 2020

## Showing that Modus Tollens is sound

September 29th, 2021

June 7th, 2020

August 1st, 2022

## simplify boolean expression using k' map, f(x,y,z) = xyz + xyz’ + xy’z + x’yz + x’yz’ + xy’z’ + x’y’z’

October 2nd, 2020

## Propositional logic: WFF of "neither A nor B"

February 2nd, 2020

August 1st, 2022

August 1st, 2022

August 1st, 2022

## Difference between DNF and CNF

November 10th, 2020

## CNF formula induction proof

October 2nd, 2020

April 2nd, 2020

## Checking Validity of Arguments using Rules of Inference

September 15th, 2020

## Generating truth tables for quantifiers online

November 25th, 2020

August 1st, 2022

## Rules of Inference problem of Kenneth Rosen 7e -Discrete Mathematics

September 11th, 2020

August 1st, 2022

## How do I make an implication from a venn diagram?

December 10th, 2020

## proving logical equivalence involving biconditional

September 2nd, 2021