List questions from propositional-calculus

Published on 29 Mar 2026 - 15:44

1.2k

Views

Simplification of boolean expression with xor

Published on 30 Mar 2026 - 2:04

203

Views

Proving logical consequence of a set

Published on 30 Sep 2014 - 4:23

174

Views

Natural deduction: given premises, conclude $M \lor E$.

Published on 25 Mar 2026 - 20:15

97

Views

If no interpretations satisfy a set of formulae U, is it possible for $U\models A$?

Published on 29 Mar 2026 - 13:41

444

Views

How to show $\vdash (\neg\neg p \rightarrow p)$.

Published on 26 Mar 2026 - 4:30

820

Views

Show that $(\phi \rightarrow \psi), (\phi \rightarrow \neg \psi) \vdash \neg \phi$

Published on 01 Oct 2014 - 4:36

153

Views

Can ECpqANpq get proved in intuitionistic logic?

Published on 01 Oct 2014 - 5:43

54

Views

Propositional Calculus - Validity Question

Published on 01 Oct 2014 - 14:43

22.7k

Views

Determine whether {¬q∧(p→q)}→¬p is tautology

Published on 01 Oct 2014 - 15:29

34

Views

Propositional Calculus - Validity

Published on 01 Oct 2014 - 15:51

1.5k

Views

Show that are logically equivalent

Published on 01 Oct 2014 - 16:13

231

Views

Show that: $\sum \models p_1 \lor p_2 \lor .... \lor p_n$ for some $n\in \mathbb{N}$

Published on 01 Oct 2014 - 19:32

7.5k

Views

State the value of x after the statement

Published on 29 Mar 2026 - 15:43

813

Views

Negation, Converse, or contrapositive?

Published on 03 Oct 2014 - 23:48

List Question

Prove that $P \vDash X$ and $Q \vDash X$ implies $(P \vee Q) \vDash X$

Simplification of boolean expression with xor

Proving logical consequence of a set

Natural deduction: given premises, conclude $M \lor E$.

If no interpretations satisfy a set of formulae U, is it possible for $U\models A$?

How to show $\vdash (\neg\neg p \rightarrow p)$.

Show that $(\phi \rightarrow \psi), (\phi \rightarrow \neg \psi) \vdash \neg \phi$

Can ECpqANpq get proved in intuitionistic logic?

Propositional Calculus - Validity Question

Determine whether {¬q∧(p→q)}→¬p is tautology

Propositional Calculus - Validity

Show that are logically equivalent

Show that: $\sum \models p_1 \lor p_2 \lor .... \lor p_n$ for some $n\in \mathbb{N}$

State the value of x after the statement

Negation, Converse, or contrapositive?

Trending Questions

Popular # Hahtags

Popular Questions