Newbetuts
.
New posts in propositional-calculus
Why Peirce's law implies law of excluded middle?
logic
propositional-calculus
How to demystify the axioms of propositional logic?
logic
propositional-calculus
axioms
Difference between biconditional and logical equivalence
logic
terminology
propositional-calculus
predicate-logic
$\to$ vs. $\vdash$ in logic
logic
definition
propositional-calculus
metalogic
How to convert to conjunctive normal form?
logic
propositional-calculus
Cancellation of Hypothesis in Gentzen Deduction
logic
propositional-calculus
What is a constructive proof of $\lnot\lnot(P\vee\lnot P)$?
logic
propositional-calculus
constructive-mathematics
If both $P$ and $Q$ are true , how can I tell that $P$ implies $Q$?
logic
propositional-calculus
Logical Equivalence Derivation (Propositonal Logic)
discrete-mathematics
logic
propositional-calculus
boolean-algebra
De-Morgan's theorem for 3 variables?
logic
boolean-algebra
propositional-calculus
Explain why the following statement is true if and only if at most one value in the statement is true?
logic
notation
propositional-calculus
Validity of conditional statement when the premise is false.
logic
propositional-calculus
Help to understand material implication [closed]
logic
propositional-calculus
Arguments pro material implication
logic
propositional-calculus
Why is “or” (in logic) sometimes equivalent to “and” (in natural language)?
logic
soft-question
propositional-calculus
I can't understand logical implication
logic
intuition
propositional-calculus
Why is a statement "vacuously true" if the hypothesis is false, or not satisfied?
logic
propositional-calculus
Does the unique existential quantifier commute with the existential quantifier?
logic
propositional-calculus
predicate-logic
quantifiers
How to prove or statements
logic
proof-writing
propositional-calculus
What is the name of the logical puzzle, where one always lies and another always tells the truth?
logic
puzzle
propositional-calculus
Prev
Next