List questions from propositional-calculus

Published on 01 Apr 2026 - 3:03

185

Views

What is the problem with this proof of the PMI?

Published on 06 Apr 2026 - 6:31

85

Views

How is it possible that if $A \implies B $ is true then $ \lnot ( \lnot B \implies A )$ can be false?

Published on 27 Mar 2026 - 2:37

112

Views

Propositional logic - wrong proof

Published on 15 Jun 2020 - 9:30

105

Views

Math With Base 3 Truth Values

Published on 01 Apr 2026 - 9:28

112

Views

Give the negation of the statement $X→(Y \lor Z)$.

Published on 16 Jun 2020 - 19:06

212

Views

Is it possible to show $(\lnot p \implies p) \implies p \vdash (\lnot \lnot p \implies p)$ in constructive logic?

Published on 26 Mar 2026 - 7:34

393

Views

Using law of logic, simplify the statement form $A \lor [\neg(\neg A)\land B]$

Published on 17 Jun 2020 - 5:20

340

Views

Use the laws of logic to show that $[a\Rightarrow(b\lor c)]\Leftrightarrow[(a\land\lnot b)\Rightarrow c]$

Published on 17 Jun 2020 - 12:24

119

Views

How the upper bound is found in n-queens problem?

Published on 26 Mar 2026 - 0:59

272

Views

How do you express "Every pair of integer has a greatest common divisor" in mathematical terms?

Published on 25 Mar 2026 - 15:54

138

Views

logic question about substitution

Published on 18 Jun 2020 - 0:40

72

Views

Show that $p \to q$ is a tautology if and only if $P \subseteq Q$.

Published on 31 Mar 2026 - 23:12

80

Views

Convert sum of $N$ bits, $k$ shift right, to propositional formula.

Published on 20 Jun 2020 - 15:33

48

Views

Derive equality axioms for a given problem and proof

Published on 06 Apr 2026 - 8:01

List Question

Difference between ⊨ and ⊢

What is the problem with this proof of the PMI?

How is it possible that if $A \implies B $ is true then $ \lnot ( \lnot B \implies A )$ can be false?

Propositional logic - wrong proof

Math With Base 3 Truth Values

Give the negation of the statement $X→(Y \lor Z)$.

Is it possible to show $(\lnot p \implies p) \implies p \vdash (\lnot \lnot p \implies p)$ in constructive logic?

Using law of logic, simplify the statement form $A \lor [\neg(\neg A)\land B]$

Use the laws of logic to show that $[a\Rightarrow(b\lor c)]\Leftrightarrow[(a\land\lnot b)\Rightarrow c]$

How the upper bound is found in n-queens problem?

How do you express "Every pair of integer has a greatest common divisor" in mathematical terms?

logic question about substitution

Show that $p \to q$ is a tautology if and only if $P \subseteq Q$.

Convert sum of $N$ bits, $k$ shift right, to propositional formula.

Derive equality axioms for a given problem and proof

Trending Questions

Popular # Hahtags

Popular Questions