Question

Does the language of the propositional calculus belong to some type of languages in Chomsky hierarchy (regular, CFL, CSL, recursive, r.e.)?

score 289 · Answer 1 · 2026-03-28 22:38:05

289

Views

Does the language of the propositional calculus belong to some type of languages in Chomsky hierarchy (regular, CFL, CSL, recursive, r.e.)?

Published on 28 Mar 2026 - 22:38

score 647 · Answer 2 · 2020-06-22 18:40:58

647

Views

Are Maximal Consistent set of formulas unique?

Published on 22 Jun 2020 - 18:40

score 83 · Answer 3 · 2020-06-23 13:34:53

83

Views

Can Soundness and Completeness be shown for finite sets?

Published on 23 Jun 2020 - 13:34

score 91 · Answer 4 · 2026-03-26 15:17:17

91

Views

Recursive function $Hyp: DER \to 2^{PROP}$ such that given a derviation in PROP the function returns the set of all its hypotheses?

Published on 26 Mar 2026 - 15:17

score 78 · Answer 5 · 2020-06-24 02:18:42

78

Views

How to understand conditional statements

Published on 24 Jun 2020 - 2:18

score 1k · Answer 6 · 2026-04-01 00:40:16

1k

Views

Check the validity of the following argument

Published on 01 Apr 2026 - 0:40

score 59 · Answer 7 · 2026-04-01 03:05:23

59

Views

An inference in predicate logic that has to be established using resolution method

Published on 01 Apr 2026 - 3:05

score 644 · Answer 8 · 2020-06-28 10:14:24

644

Views

If $P$ is false, and $Q$ is true, then why does $P \implies Q$?

Published on 28 Jun 2020 - 10:14

score 115 · Answer 9 · 2020-06-28 20:13:33

115

Views

How do I prove that $\lnot(q \rightarrow (p \rightarrow q)) \not\equiv p$ using logical equivalences?

Published on 28 Jun 2020 - 20:13

score 285 · Answer 10 · 2026-03-26 15:17:00

285

Views

Natural deduction proof that $(P\leftrightarrow \neg P)$ is a contradiction, without first deriving $(P\vee \neg P)$

Published on 26 Mar 2026 - 15:17

score 155 · Answer 11 · 2026-04-01 04:41:28

155

Views

logic - natural language to symbolic form

Published on 01 Apr 2026 - 4:41

score 41 · Answer 12 · 2020-07-04 12:30:52

41

Views

Logic question - Statement logic

Published on 04 Jul 2020 - 12:30

score 65 · Answer 13 · 2020-07-05 08:26:58

65

Views

Can I prove that $A \Rightarrow \neg B$ is false given $A\iff(B∨C)$?

Published on 05 Jul 2020 - 8:26

score 624 · Answer 14 · 2026-02-23 06:34:05

624

Views

Proving ⊢ A∨(A→B) using Hilbert system

Published on 23 Feb 2026 - 6:34

score 112 · Answer 15 · 2026-04-01 00:42:44

112

Views

Show that $(p ⊕ q) \wedge r = (p \wedge r) ⊕ (q \wedge r)$ using laws of boolean algebra

Published on 01 Apr 2026 - 0:42

List Question

Does the language of the propositional calculus belong to some type of languages in Chomsky hierarchy (regular, CFL, CSL, recursive, r.e.)?

Are Maximal Consistent set of formulas unique?

Can Soundness and Completeness be shown for finite sets?

Recursive function $Hyp: DER \to 2^{PROP}$ such that given a derviation in PROP the function returns the set of all its hypotheses?

How to understand conditional statements

Check the validity of the following argument

An inference in predicate logic that has to be established using resolution method

If $P$ is false, and $Q$ is true, then why does $P \implies Q$?

How do I prove that $\lnot(q \rightarrow (p \rightarrow q)) \not\equiv p$ using logical equivalences?

Natural deduction proof that $(P\leftrightarrow \neg P)$ is a contradiction, without first deriving $(P\vee \neg P)$

logic - natural language to symbolic form

Logic question - Statement logic

Can I prove that $A \Rightarrow \neg B$ is false given $A\iff(B∨C)$?

Proving ⊢ A∨(A→B) using Hilbert system

Show that $(p ⊕ q) \wedge r = (p \wedge r) ⊕ (q \wedge r)$ using laws of boolean algebra

Trending Questions

Popular # Hahtags

Popular Questions