List questions from propositional-calculus

Published on 22 Jan 2017 - 1:58

47

Views

What do I need to substitute to go from $(P\to Q)\equiv ¬P\vee Q$ to $¬(P\to Q)\equiv ¬(¬P\vee Q)$?

Published on 23 Jan 2017 - 10:29

547

Views

Using wolfram to check biconditional involving predicates and quantifiers

Published on 26 Mar 2026 - 7:57

57

Views

Are these two arguments logically equivalent

Published on 24 Jan 2017 - 1:46

420

Views

Proving the Distributive Property with a Lemma

Published on 24 Jan 2017 - 5:18

11

Views

Translating the 2 following sentences in propositional calculus

Published on 26 Feb 2026 - 15:40

212

Views

Propositional Logic: "Ampersand In"?

Published on 24 Jan 2017 - 22:23

93

Views

Proving a conditional $\forall \,n\in \Bbb Z : \left[P(n) \Rightarrow \lnot Q(n)\right]$ directly

Published on 25 Jan 2017 - 0:06

30

Views

Basic Predicate Logic Translations

Published on 25 Mar 2026 - 18:58

460

Views

How to derive $\bot \vdash P$ (EFQ)?

Published on 25 Jan 2017 - 7:04

3.5k

Views

if A then B & if not A then C

Published on 31 Mar 2026 - 11:52

1.7k

Views

What is ambiguity in this example?

Published on 26 Jan 2017 - 9:25

38

Views

Conditionnal and implication

Published on 26 Jan 2017 - 16:39

121

Views

Rewrite propositions with equivalence.

Published on 27 Jan 2017 - 9:17

158

Views

Define $\wedge,\vee$ and $\exists$ in terms of $\lnot,\implies$ and $\forall$.

Published on 29 Mar 2026 - 17:25

List Question

Proving XOR, AND and constant True to be written as NAND

What do I need to substitute to go from $(P\to Q)\equiv ¬P\vee Q$ to $¬(P\to Q)\equiv ¬(¬P\vee Q)$?

Using wolfram to check biconditional involving predicates and quantifiers

Are these two arguments logically equivalent

Proving the Distributive Property with a Lemma

Translating the 2 following sentences in propositional calculus

Propositional Logic: "Ampersand In"?

Proving a conditional $\forall \,n\in \Bbb Z : \left[P(n) \Rightarrow \lnot Q(n)\right]$ directly

Basic Predicate Logic Translations

How to derive $\bot \vdash P$ (EFQ)?

if A then B & if not A then C

What is ambiguity in this example?

Conditionnal and implication

Rewrite propositions with equivalence.

Define $\wedge,\vee$ and $\exists$ in terms of $\lnot,\implies$ and $\forall$.

Trending Questions

Popular # Hahtags

Popular Questions