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

Boolean Algebra - Truth Table

August 1st, 2022

If A implies B and B implies C and C implies A are they all equivalent?

August 1st, 2022

Simplifying on logic Operations

April 20th, 2020

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

January 11th, 2020

(Homework) Prove the law of syllogism

August 1st, 2022

Justify each step in the following proof of Proposition 3.9 (a). I like to know if I'm in the right track and I'm also missing a few of them

August 1st, 2022

Prove tautology without truth using a truth table.

August 1st, 2022

How can I negate this conditional statement?

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

Prove tautology using truth trees

June 7th, 2020

Prove set equality using truth tables

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

Definition of logical equivalence

August 1st, 2022

What is a Sub Formula and What is a Maximal Sub Formula in Propositional Logic

August 1st, 2022

A Proof relating to the Disjunctive normal form

August 1st, 2022

Difference between DNF and CNF

November 10th, 2020

CNF formula induction proof

October 2nd, 2020

Show that equivalence can be derived

April 2nd, 2020

Checking Validity of Arguments using Rules of Inference

September 15th, 2020

Generating truth tables for quantifiers online

November 25th, 2020

finding a formula for a given truth table

August 1st, 2022

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

September 11th, 2020

"If P, then Q; If P, then R; Therefore: If Q, then R." Fallacy and Transitivity

August 1st, 2022

How do I make an implication from a venn diagram?

December 10th, 2020

proving logical equivalence involving biconditional

September 2nd, 2021