Question

How to prove an inference is valid given two premises?

score 51 · Answer 1 · 2026-04-01 06:29:13

51

Views

How to prove an inference is valid given two premises?

Published on 01 Apr 2026 - 6:29

score 65 · Answer 2 · 2026-03-29 10:17:28

65

Views

Simplify $p\lor q\lor(\neg p\land\neg q\land r)$ to $p\lor q\lor r$

Published on 29 Mar 2026 - 10:17

score 143 · Answer 3 · 2026-04-08 22:42:29

143

Views

Prove that this sentence is a tautology.

Published on 08 Apr 2026 - 22:42

score 57 · Answer 4 · 2026-03-29 10:36:15

57

Views

From $(p\lor q)\to r, s\to\neg p, s\land\neg q$, prove $\neg r$

Published on 29 Mar 2026 - 10:36

score 84 · Answer 5 · 2026-04-10 12:51:28

84

Views

Write two models of the language

Published on 10 Apr 2026 - 12:51

score 1k · Answer 6 · 2026-04-10 05:26:51

1k

Views

Is there any formal problem that cannot be proven using mathematical induction?

Published on 10 Apr 2026 - 5:26

score 41 · Answer 7 · 2018-01-30 15:38:14

41

Views

Did I write this logic expression correctly?

Published on 30 Jan 2018 - 15:38

score 46 · Answer 8 · 2018-01-30 16:17:24

46

Views

Maximum number of negation sign in a wff

Published on 30 Jan 2018 - 16:17

score 68 · Answer 9 · 2026-04-11 00:14:40

68

Views

Write mathematical formula for: not every square root of a positive number is positive number

Published on 11 Apr 2026 - 0:14

score 104 · Answer 10 · 2026-04-02 02:29:53

104

Views

Why is this axiom written twice?

Published on 02 Apr 2026 - 2:29

score 293 · Answer 11 · 2018-01-30 21:32:44

293

Views

Determine if it is a tautology, contradiction, or contingency

Published on 30 Jan 2018 - 21:32

score 68 · Answer 12 · 2026-03-25 19:05:24

68

Views

Prove that $cl_{f}(A)= \bigcap\{C:A\subseteq C \subseteq B \text{ and } C \text{ is closed under } f\}$

Published on 25 Mar 2026 - 19:05

score 6.5k · Answer 13 · 2026-03-25 11:54:08

6.5k

Views

Questions on how to prove that a set of connectives is NOT functionally complete

Published on 25 Mar 2026 - 11:54

score 40 · Answer 14 · 2026-04-07 02:34:37

40

Views

Write two interpretations (models) of this language

Published on 07 Apr 2026 - 2:34

score 581 · Answer 15 · 2026-04-11 08:27:32

581

Views

Defining first order logic quantifiers without sets

Published on 11 Apr 2026 - 8:27

List Question

How to prove an inference is valid given two premises?

Simplify $p\lor q\lor(\neg p\land\neg q\land r)$ to $p\lor q\lor r$

Prove that this sentence is a tautology.

From $(p\lor q)\to r, s\to\neg p, s\land\neg q$, prove $\neg r$

Write two models of the language

Is there any formal problem that cannot be proven using mathematical induction?

Did I write this logic expression correctly?

Maximum number of negation sign in a wff

Write mathematical formula for: not every square root of a positive number is positive number

Why is this axiom written twice?

Determine if it is a tautology, contradiction, or contingency

Prove that $cl_{f}(A)= \bigcap\{C:A\subseteq C \subseteq B \text{ and } C \text{ is closed under } f\}$

Questions on how to prove that a set of connectives is NOT functionally complete

Write two interpretations (models) of this language

Defining first order logic quantifiers without sets

Trending Questions

Popular # Hahtags

Popular Questions