Newbetuts
.
New posts in propositional-calculus
Express logic puzzles with proposition calculus notation
logic
puzzle
propositional-calculus
What is a false premise?
logic
propositional-calculus
How to formally assign truth values to a proposition?
logic
propositional-calculus
OR in real life vs OR in Mathematical Logic
logic
propositional-calculus
Minimum number of different clues in a Sudoku
computational-complexity
propositional-calculus
What is the difference between implication symbols: $\rightarrow$ and $\Rightarrow$? [duplicate]
logic
notation
propositional-calculus
What's the difference between biconditional iff and logical equivalence?
logic
propositional-calculus
Using the distributivity law for propositional logic
propositional-calculus
Logically Necessary but NOT Tautologically necessary? Help
logic
propositional-calculus
first-order-logic
predicate-logic
In axiomatization of propositional logic, why can uniform substitution be applied only to axioms?
logic
propositional-calculus
axioms
How to convert formula to disjunctive normal form?
discrete-mathematics
propositional-calculus
disjunctive-normal-form
Classes, sets and Russell's paradox
logic
propositional-calculus
predicate-logic
Need help with Fitch proof.
logic
propositional-calculus
predicate-logic
Understanding the proof of Definition by Recursion
logic
proof-explanation
propositional-calculus
recursion
conjunction of disjunctions and disjunction of conjunctions
discrete-mathematics
logic
propositional-calculus
Assistance in completing the proof: (P → Q)∧(Q → R) is equivalent to (P → R)∧ [(P ↔ Q) ∨ (R ↔ Q)] using logical equivalencies
logic
propositional-calculus
boolean-algebra
Show that (p ∧ q) → (p ∨ q) is a tautology?
discrete-mathematics
logic
propositional-calculus
Understanding of Material Implication
logic
propositional-calculus
A question about Implicational Propositional Calculus
logic
propositional-calculus
Can AND, OR and NOT be used to represent any truth table?
logic
propositional-calculus
boolean-algebra
Prev
Next