List questions from propositional-calculus

Published on 25 Mar 2026 - 11:11

7.7k

Views

Is the negation of "p iff q", "(not p) iff q"?

Published on 25 Mar 2026 - 1:18

1.3k

Views

Implication arrows, turnstiles etc

Published on 25 Mar 2026 - 23:18

549

Views

Questions about proving $\lnot \lnot a = a$

Published on 22 Mar 2026 - 10:51

1.4k

Views

Rewrite each of the following sentences using logical connectives

Published on 25 Mar 2026 - 6:03

93

Views

If $A \vdash a$ and $B \vdash b$ then $A \cup B \vdash a$ and $A \cup B \vdash b$? Question about the empty set and axioms.

Published on 23 Feb 2026 - 1:23

2.1k

Views

Checking for validity using truth table (shortcut)

Published on 23 Sep 2018 - 23:27

201

Views

How can we prove soundness property if it's possible for our assumption set to contain false assumptions?

Published on 23 Feb 2026 - 1:23

163

Views

Adding Łukasiewicz-style quantifiers over truth value (Σ, Π) to classical sentential logic

Published on 24 Sep 2018 - 2:49

79

Views

meaning of (r .⊃. s ⊃ r) [the syntax meaning]

Published on 30 Mar 2026 - 23:42

451

Views

Proving soundness property of a Hilbert system

Published on 22 Mar 2026 - 18:46

234

Views

What does semantic entailment even mean, in the context of completeness?

Published on 23 Feb 2026 - 1:20

80

Views

Converse of substitution for propositional letters

Published on 25 Mar 2026 - 7:49

655

Views

Does natural deduction require a non-empty set of premises?

Published on 25 Mar 2026 - 3:07

75

Views

Prove the logical equivalence $(p \land (q \lor (r ∧ \lnot s) \to v)) ∨ p \equiv p$

Published on 26 Sep 2018 - 1:24

List Question

In the deduction theorem, what exactly is contained in $\Delta$?

Is the negation of "p iff q", "(not p) iff q"?

Implication arrows, turnstiles etc

Questions about proving $\lnot \lnot a = a$

Rewrite each of the following sentences using logical connectives

If $A \vdash a$ and $B \vdash b$ then $A \cup B \vdash a$ and $A \cup B \vdash b$? Question about the empty set and axioms.

Checking for validity using truth table (shortcut)

How can we prove soundness property if it's possible for our assumption set to contain false assumptions?

Adding Łukasiewicz-style quantifiers over truth value (Σ, Π) to classical sentential logic

meaning of (r .⊃. s ⊃ r) [the syntax meaning]

Proving soundness property of a Hilbert system

What does semantic entailment even mean, in the context of completeness?

Converse of substitution for propositional letters

Does natural deduction require a non-empty set of premises?

Prove the logical equivalence $(p \land (q \lor (r ∧ \lnot s) \to v)) ∨ p \equiv p$

Trending Questions

Popular # Hahtags

Popular Questions