List questions from propositional-calculus

Published on 26 Mar 2026 - 10:58

121

Views

How would I show that X is equivalent to ((¬X ↔ X ) ∨ X )?

Published on 29 Mar 2026 - 5:48

1.3k

Views

Writing out some propositions using disjunctions and conjunctions

Published on 25 Mar 2026 - 11:12

246

Views

Equivalence proof by using identities and ‘n series of substitutions: (P ⋁ Q) → (P ⋀ Q) ≡ (P → Q) ⋀ (Q → P).

Published on 25 Mar 2026 - 16:02

81

Views

Logical simplification clarification

Published on 27 Mar 2026 - 18:26

641

Views

Translating English to Propositional Logic for NOR

Published on 21 Mar 2026 - 0:54

1.6k

Views

Logic Knights and Knaves problem involving implication question

Published on 26 Mar 2026 - 14:17

380

Views

Logical consequence equivalence proof

Published on 22 Mar 2026 - 13:05

43

Views

Do $p \lor q$ and only $p$ contradict each other?

Published on 21 Mar 2026 - 17:54

66

Views

Puzzling statement about implication in Gries and Schneider

Published on 22 Mar 2026 - 8:34

115

Views

Compound proposition from Alice in Wonderland

Published on 27 Mar 2026 - 15:09

458

Views

Contrapositive when the consequent is a disjunction

Published on 25 Mar 2026 - 6:26

123

Views

Propositional logic: Exclusive disjunction?

Published on 21 Mar 2026 - 20:34

43

Views

Is this a valid inference in propositional logic?

Published on 22 Mar 2026 - 14:18

78

Views

How to deduce R from a set of sentences that I have?

Published on 24 Mar 2026 - 22:08

List Question

How to do XOR 5 times?

How would I show that X is equivalent to ((¬X ↔ X ) ∨ X )?

Writing out some propositions using disjunctions and conjunctions

Equivalence proof by using identities and ‘n series of substitutions: (P ⋁ Q) → (P ⋀ Q) ≡ (P → Q) ⋀ (Q → P).

Logical simplification clarification

Translating English to Propositional Logic for NOR

Logic Knights and Knaves problem involving implication question

Logical consequence equivalence proof

Do $p \lor q$ and only $p$ contradict each other?

Puzzling statement about implication in Gries and Schneider

Compound proposition from Alice in Wonderland

Contrapositive when the consequent is a disjunction

Propositional logic: Exclusive disjunction?

Is this a valid inference in propositional logic?

How to deduce R from a set of sentences that I have?

Trending Questions

Popular # Hahtags

Popular Questions