Question

What is the collective name for propositional and predicate logic?

score 44 · Answer 1 · 2026-04-09 21:15:30

44

Views

What is the collective name for propositional and predicate logic?

Published on 09 Apr 2026 - 21:15

score 156 · Answer 2 · 2026-04-08 22:22:12

156

Views

How to use implication with universal quantifier?

Published on 08 Apr 2026 - 22:22

score 149 · Answer 3 · 2021-03-23 06:05:57

Is $\exists a \in A. \forall b \in B \Rightarrow P(a, b)$ equivalent to $\forall c \in B. \exists d \in A \Rightarrow P(c, d)$?

score 73 · Answer 4 · 2026-04-13 15:27:37

73

Views

How is $\exists$ formulated in a FOL proof system?

Published on 13 Apr 2026 - 15:27

score 276 · Answer 5 · 2026-04-09 06:08:41

276

Views

What is the meaning of a propositional variable in first-order logic?

Published on 09 Apr 2026 - 6:08

score 563 · Answer 6 · 2026-04-13 10:53:08

563

Views

Graphs and First Order Logic

Published on 13 Apr 2026 - 10:53

score 58 · Answer 7 · 2026-04-12 12:04:05

58

Views

Formalizing the sentence "politicians are likeable only if they are honest" in predicate logic

Published on 12 Apr 2026 - 12:04

score 50 · Answer 8 · 2021-03-31 02:39:58

50

Views

For isomorphism $F$, $\mathfrak{A} \models \phi[\beta]$ if and only if $\mathfrak{B} \models \phi[F \circ \beta]$

Published on 31 Mar 2021 - 2:39

score 51 · Answer 9 · 2026-04-13 17:02:21

Van Dalen "Logic and Structure" Exercise 2.7.4: Find posets $A$ and $B$ such that $A \vdash \sigma$ and $B \vdash \neg\sigma$ for the given $\sigma$.

score 117 · Answer 10 · 2026-04-12 23:10:43

117

Views

Site/resource recommendations for practising propositional/predicate logic in natural language

Published on 12 Apr 2026 - 23:10

score 59 · Answer 11 · 2026-04-14 22:45:05

59

Views

Finding a formula $\phi_{n}$ such that every model satisfying $\phi_{n}$ has $n$ elements

Published on 14 Apr 2026 - 22:45

score 55 · Answer 12 · 2026-04-08 17:48:39

55

Views

How do I make sense of different proof-methods in symbolic logic?

Published on 08 Apr 2026 - 17:48

score 43 · Answer 13 · 2026-04-14 05:35:52

43

Views

What is set S for which for any y, x, will cause no x to exist in set S

Published on 14 Apr 2026 - 5:35

score 122 · Answer 14 · 2026-04-10 10:06:18

122

Views

Question about First-Order Logic

Published on 10 Apr 2026 - 10:06

score 58 · Answer 15 · 2026-04-13 17:22:50

Prove that if $ \Gamma\vdash\alpha$, then $\Gamma\vDash\alpha$ is equivalent to "Every consistent set is satisfiable"

List Question

What is the collective name for propositional and predicate logic?

How to use implication with universal quantifier?

Is $\exists a \in A. \forall b \in B \Rightarrow P(a, b)$ equivalent to $\forall c \in B. \exists d \in A \Rightarrow P(c, d)$?

How is $\exists$ formulated in a FOL proof system?

What is the meaning of a propositional variable in first-order logic?

Graphs and First Order Logic

Formalizing the sentence "politicians are likeable only if they are honest" in predicate logic

For isomorphism $F$, $\mathfrak{A} \models \phi[\beta]$ if and only if $\mathfrak{B} \models \phi[F \circ \beta]$

Van Dalen "Logic and Structure" Exercise 2.7.4: Find posets $A$ and $B$ such that $A \vdash \sigma$ and $B \vdash \neg\sigma$ for the given $\sigma$.

Site/resource recommendations for practising propositional/predicate logic in natural language

Finding a formula $\phi_{n}$ such that every model satisfying $\phi_{n}$ has $n$ elements

How do I make sense of different proof-methods in symbolic logic?

What is set S for which for any y, x, will cause no x to exist in set S

Question about First-Order Logic

Prove that if $ \Gamma\vdash\alpha$, then $\Gamma\vDash\alpha$ is equivalent to "Every consistent set is satisfiable"

Trending Questions

Popular # Hahtags

Popular Questions