Question

How I can disprove this $-x\neq x \implies x^2\neq x^2$ with $x$ is a positive real number?

score 60 · Answer 1 · 2026-03-30 09:35:58

60

Views

How I can disprove this $-x\neq x \implies x^2\neq x^2$ with $x$ is a positive real number?

Published on 30 Mar 2026 - 9:35

score 1.6k · Answer 2 · 2026-03-26 11:04:52

1.6k

Views

The derivation of negation of conditional statement is equivalent to and statement

Published on 26 Mar 2026 - 11:04

score 44 · Answer 3 · 2019-10-11 08:46:48

44

Views

Please help with indetifying logical consequence.

Published on 11 Oct 2019 - 8:46

score 137 · Answer 4 · 2019-10-11 12:46:06

137

Views

Do all 'or' cases need to be checked in a direct proof?

Published on 11 Oct 2019 - 12:46

score 296 · Answer 5 · 2026-03-25 21:49:46

296

Views

The principle of explosion as a rule of inference?

Published on 25 Mar 2026 - 21:49

score 23 · Answer 6 · 2019-10-12 13:15:08

23

Views

Please help with creating a proof of a statement in a propositional logic.

Published on 12 Oct 2019 - 13:15

score 151 · Answer 7 · 2026-03-25 23:15:58

151

Views

Natural Deduction [Propositional Logic]

Published on 25 Mar 2026 - 23:15

score 66 · Answer 8 · 2026-03-25 23:09:40

66

Views

modus tollens in this example

Published on 25 Mar 2026 - 23:09

score 190 · Answer 9 · 2019-10-14 09:44:53

190

Views

logical equivalence of ¬((q∨¬p)∧¬r)

Published on 14 Oct 2019 - 9:44

score 49 · Answer 10 · 2026-03-30 13:36:24

49

Views

Please help to transform a propositional formula to a particular equivalent formula

Published on 30 Mar 2026 - 13:36

score 61 · Answer 11 · 2026-04-03 05:48:05

61

Views

Prove that there exists $n$ such that $A_n$ is not a logical consequence of $B$.

Published on 03 Apr 2026 - 5:48

score 19 · Answer 12 · 2026-04-01 12:07:05

19

Views

Proving $(B\to{\lnot}C)\to D$, ${\therefore}B\to({\lnot}C{\to}D)$

Published on 01 Apr 2026 - 12:07

score 136 · Answer 13 · 2026-03-30 13:40:29

136

Views

Logic Laws: Simplfiy $[[[(p\land q)\land r)]\lor [(p\land q)\land\lnot r)]]\lor\lnot q]\to s$

Published on 30 Mar 2026 - 13:40

score 38 · Answer 14 · 2026-04-03 05:45:38

38

Views

Give a minimum sized structure such that this sentence is invalid.

Published on 03 Apr 2026 - 5:45

score 876 · Answer 15 · 2019-10-16 16:45:44

When checking whether a formula is a logical consequence of a set of premises, is it always necessary to check whether the set is satisfiable before?

List Question

How I can disprove this $-x\neq x \implies x^2\neq x^2$ with $x$ is a positive real number?

The derivation of negation of conditional statement is equivalent to and statement

Please help with indetifying logical consequence.

Do all 'or' cases need to be checked in a direct proof?

The principle of explosion as a rule of inference?

Please help with creating a proof of a statement in a propositional logic.

Natural Deduction [Propositional Logic]

modus tollens in this example

logical equivalence of ¬((q∨¬p)∧¬r)

Please help to transform a propositional formula to a particular equivalent formula

Prove that there exists $n$ such that $A_n$ is not a logical consequence of $B$.

Proving $(B\to{\lnot}C)\to D$, ${\therefore}B\to({\lnot}C{\to}D)$

Logic Laws: Simplfiy $[[[(p\land q)\land r)]\lor [(p\land q)\land\lnot r)]]\lor\lnot q]\to s$

Give a minimum sized structure such that this sentence is invalid.

When checking whether a formula is a logical consequence of a set of premises, is it always necessary to check whether the set is satisfiable before?

Trending Questions

Popular # Hahtags

Popular Questions