List questions from propositional-calculus

Published on 14 Apr 2026 - 8:00

558

Views

Using logical truth to find the guilty and lying persons

Published on 10 Apr 2026 - 19:37

85

Views

consistency of $\Sigma$ (tricky)

Published on 10 Apr 2026 - 17:22

219

Views

Which of these are propositions? Comment on their truth values if not, give a reason why it is not.

Published on 13 Apr 2026 - 20:27

1.9k

Views

Showing that a set of clauses is satisfiable using resolution

Published on 17 Apr 2026 - 7:56

520

Views

Defining a formula inductively using structural induction

Published on 10 Apr 2026 - 10:26

40

Views

Laws of Logic Expression

Published on 10 May 2026 - 11:50

1.8k

Views

Primitive propositions in Propositional Logic

Published on 11 Apr 2026 - 2:22

104

Views

How can this be a tautology?

Published on 11 Apr 2026 - 7:49

77

Views

Proving that the number of atoms in a formula is equal to the number of the symbols $\land,\lor,\rightarrow$ plus 1

Published on 16 Apr 2026 - 8:51

57

Views

How to prove that $p\models \varphi$ where $p$ is an atom and $\varphi$ is some well formed formula?

Published on 11 Apr 2026 - 21:18

78

Views

How to obtain $\quad P \Rightarrow Q \;\equiv\; (P \wedge Q \;\equiv\; P)$

Published on 14 Apr 2026 - 8:35

59

Views

having difficulty proving logical equivalence of this.

Published on 15 Apr 2026 - 1:52

211

Views

Substituting conjunction and disjunction symbols in equivalent propositional formulas

Published on 13 Apr 2026 - 15:42

43

Views

Are these logical equivalences correct?

Published on 14 Apr 2026 - 10:46

List Question

Proving tautology involving bi conditional if

Using logical truth to find the guilty and lying persons

consistency of $\Sigma$ (tricky)

Which of these are propositions? Comment on their truth values if not, give a reason why it is not.

Showing that a set of clauses is satisfiable using resolution

Defining a formula inductively using structural induction

Laws of Logic Expression

Primitive propositions in Propositional Logic

How can this be a tautology?

Proving that the number of atoms in a formula is equal to the number of the symbols $\land,\lor,\rightarrow$ plus 1

How to prove that $p\models \varphi$ where $p$ is an atom and $\varphi$ is some well formed formula?

How to obtain $\quad P \Rightarrow Q \;\equiv\; (P \wedge Q \;\equiv\; P)$

having difficulty proving logical equivalence of this.

Substituting conjunction and disjunction symbols in equivalent propositional formulas

Are these logical equivalences correct?

Trending Questions

Popular # Hahtags

Popular Questions