Question

Proving tautology involving bi conditional if

score 322 · Answer 1 · 2018-05-07 10:39:38

322

Views

Proving tautology involving bi conditional if

Published on 07 May 2018 - 10:39

score 555 · Answer 2 · 2018-05-07 17:20:35

555

Views

Using logical truth to find the guilty and lying persons

Published on 07 May 2018 - 17:20

score 82 · Answer 3 · 2018-05-08 11:53:04

82

Views

consistency of $\Sigma$ (tricky)

Published on 08 May 2018 - 11:53

score 216 · Answer 4 · 2018-05-08 16:22:36

216

Views

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

Published on 08 May 2018 - 16:22

score 1.9k · Answer 5 · 2018-05-08 18:52:19

1.9k

Views

Showing that a set of clauses is satisfiable using resolution

Published on 08 May 2018 - 18:52

score 518 · Answer 6 · 2026-03-27 00:00:03

518

Views

Defining a formula inductively using structural induction

Published on 27 Mar 2026 - 0:00

score 37 · Answer 7 · 2026-03-26 22:19:31

37

Views

Laws of Logic Expression

Published on 26 Mar 2026 - 22:19

score 1.8k · Answer 8 · 2018-05-12 13:11:51

1.8k

Views

Primitive propositions in Propositional Logic

Published on 12 May 2018 - 13:11

score 101 · Answer 9 · 2018-05-12 14:30:08

101

Views

How can this be a tautology?

Published on 12 May 2018 - 14:30

score 74 · Answer 10 · 2018-05-13 11:35:19

74

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 13 May 2018 - 11:35

score 55 · Answer 11 · 2026-03-30 03:21:26

55

Views

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

Published on 30 Mar 2026 - 3:21

score 76 · Answer 12 · 2026-03-30 05:02:16

76

Views

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

Published on 30 Mar 2026 - 5:02

score 56 · Answer 13 · 2018-05-15 12:14:47

56

Views

having difficulty proving logical equivalence of this.

Published on 15 May 2018 - 12:14

score 208 · Answer 14 · 2018-05-16 04:18:34

208

Views

Substituting conjunction and disjunction symbols in equivalent propositional formulas

Published on 16 May 2018 - 4:18

score 40 · Answer 15 · 2018-05-17 01:56:17

40

Views

Are these logical equivalences correct?

Published on 17 May 2018 - 1:56

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