Newbetuts
.
New posts in propositional-calculus
Prove XOR is commutative and associative?
propositional-calculus
boolean-algebra
binary-operations
What is the difference between necessary and sufficient conditions?
logic
discrete-mathematics
propositional-calculus
Associativity of $\iff$
logic
intuition
propositional-calculus
Is it possible for the DNF and CNF to be the same
logic
proof-writing
propositional-calculus
conjunctive-normal-form
disjunctive-normal-form
How to show a statement of the form $p\Leftrightarrow(q\wedge r)$?
elementary-set-theory
logic
propositional-calculus
Can $\neg p \implies p$ be true?
logic
propositional-calculus
Logic - What does ∴ mean in a truth table?
logic
propositional-calculus
proving logical equivalence $(P \leftrightarrow Q) \equiv (P \wedge Q) \vee (\neg P \wedge \neg Q)$
logic
propositional-calculus
boolean-algebra
Associativity of logical connectives
logic
propositional-calculus
How to tell statements $(p\Rightarrow(q\Leftrightarrow r))$ and $(q\Leftrightarrow(r\wedge p))$ apart?
elementary-set-theory
logic
propositional-calculus
Propositional Logic - Can you Derive $C \to A$ from $A$ alone, given the introduction rule?
logic
intuition
propositional-calculus
natural-deduction
Valid form and true premises makes an argument sound, but do 'premises' mean P, Q, R,... or 'what comprises the antecedent'?
discrete-mathematics
logic
propositional-calculus
boolean-algebra
metalogic
Do De Morgan's laws hold in propositional intuitionistic logic?
logic
propositional-calculus
constructive-mathematics
Why aren't vacuous truths just undefined? [duplicate]
logic
definition
propositional-calculus
Find the mistake of the reasoning
logic
solution-verification
propositional-calculus
first-order-logic
Is a formal language an algebraic structure?
logic
propositional-calculus
formal-languages
Why isn’t ‘because’ a logical connective in propositional logic?
logic
propositional-calculus
All prime numbers are either even or odd, Is it a true statement?
logic
propositional-calculus
Prove $( \lnot C \implies \lnot B) \implies (B \implies C)$ without the Deduction Theorem
logic
propositional-calculus
formal-proofs
How do I make proofs with long formulae more readable without sacrificing clarity?
logic
proof-writing
notation
propositional-calculus
Prev
Next