List questions from propositional-calculus

Published on 25 Mar 2026 - 12:13

227

Views

Prove Logic Using Proof of Contradiction

Published on 25 Mar 2026 - 10:52

1.8k

Views

How is "interpretation" used differently in propositional vs. first-order logic?

Published on 26 Mar 2026 - 4:16

723

Views

Showing a Set is Inconsistent In Logic

Published on 25 Mar 2026 - 9:22

549

Views

Describing "at least" using logical connectives.

Published on 19 Oct 2018 - 16:36

688

Views

Derive $P \to \neg \neg P$ in a structure with not and implies

Published on 23 Feb 2026 - 1:20

1k

Views

How to transform this CNF formula (A∨B∨C)∧(¬A∨¬C)∧(¬A∨¬B) into DNF?

Published on 31 Mar 2026 - 4:24

280

Views

How do we consider the 'content' of a statement in propositional logic?

Published on 20 Oct 2018 - 17:50

120

Views

How to solve propositional logic problems by induction

Published on 29 Mar 2026 - 10:55

96

Views

Laws of equivalence to show $ \forall x \in U. (P(x) \rightarrow \neg Q(x)) \equiv \neg \exists x \in U. (P(x) \land Q(x)) $

Published on 26 Mar 2026 - 8:02

66

Views

Find a logical formula which is a tautology if and only if this relation is a function

Published on 21 Oct 2018 - 23:11

43

Views

Proving number of letters = number of connectives $+1$

Published on 22 Oct 2018 - 6:03

1.1k

Views

How to check whether a set of statements is consistent

Published on 22 Oct 2018 - 12:12

1k

Views

How to prove P^Q -||- ¬(¬Pv¬Q)?

Published on 23 Oct 2018 - 9:10

51

Views

Solving Propositional Calculus

Published on 23 Oct 2018 - 13:14

List Question

Prove Logic Using Hypothetical Reasoning

Prove Logic Using Proof of Contradiction

How is "interpretation" used differently in propositional vs. first-order logic?

Showing a Set is Inconsistent In Logic

Describing "at least" using logical connectives.

Derive $P \to \neg \neg P$ in a structure with not and implies

How to transform this CNF formula (A∨B∨C)∧(¬A∨¬C)∧(¬A∨¬B) into DNF?

How do we consider the 'content' of a statement in propositional logic?

How to solve propositional logic problems by induction

Laws of equivalence to show $ \forall x \in U. (P(x) \rightarrow \neg Q(x)) \equiv \neg \exists x \in U. (P(x) \land Q(x)) $

Find a logical formula which is a tautology if and only if this relation is a function

Proving number of letters = number of connectives $+1$

How to check whether a set of statements is consistent

How to prove P^Q -||- ¬(¬Pv¬Q)?

Solving Propositional Calculus

Trending Questions

Popular # Hahtags

Popular Questions