Question

prove that formula exists in first order logic expressing complete binary tree of depth $n$

score 254 · Answer 1 · 2017-02-10 19:00:58

254

Views

prove that formula exists in first order logic expressing complete binary tree of depth $n$

Published on 10 Feb 2017 - 19:00

score 144 · Answer 2 · 2026-03-25 20:34:01

144

Views

How to correctly interpret discrete structures logic

Published on 25 Mar 2026 - 20:34

score 41 · Answer 3 · 2017-02-11 00:56:11

41

Views

Relationship with special property.

Published on 11 Feb 2017 - 0:56

score 90 · Answer 4 · 2017-02-12 18:29:11

90

Views

Two simple graphs and Ehrenfeucht's game.

Published on 12 Feb 2017 - 18:29

score 168 · Answer 5 · 2026-02-23 10:22:50

168

Views

Substitution in Gentzen sequent calculus

Published on 23 Feb 2026 - 10:22

score 205 · Answer 6 · 2017-02-13 15:10:14

205

Views

Show that two structures are not distinguishable in first order logic

Published on 13 Feb 2017 - 15:10

score 184 · Answer 7 · 2017-02-14 14:56:04

184

Views

$(aba)^{*}$ is first-order definable?

Published on 14 Feb 2017 - 14:56

score 93 · Answer 8 · 2026-04-01 17:23:33

93

Views

Why would this be a $T_1$-space?

Published on 01 Apr 2026 - 17:23

score 991 · Answer 9 · 2017-02-16 21:31:07

991

Views

Bipartite graph is axiomatizable in FO.

Published on 16 Feb 2017 - 21:31

score 473 · Answer 10 · 2026-03-27 04:17:26

473

Views

Deduction of $\vdash \forall x \phi \rightarrow \exists x \phi$

Published on 27 Mar 2026 - 4:17

score 82 · Answer 11 · 2017-02-16 23:54:57

82

Views

Formality of Nested Quantifications over Same Free Variable

Published on 16 Feb 2017 - 23:54

score 28 · Answer 12 · 2017-02-18 09:45:03

28

Views

Prove that if two strucutres are not distinguishable then also modifed structures are distinguishable

Published on 18 Feb 2017 - 9:45

score 67 · Answer 13 · 2017-02-18 22:26:04

67

Views

Defining in first order logic cyclic funtion and complement of this class

Published on 18 Feb 2017 - 22:26

score 156 · Answer 14 · 2026-04-01 17:28:20

156

Views

Show that class of infinite sequences with relation $R$ is not axiomatizable

Published on 01 Apr 2026 - 17:28

score 1.2k · Answer 15 · 2026-03-25 16:03:29

1.2k

Views

Translation of english sentences to first order logic in conjunctive normal form walkthrough?

Published on 25 Mar 2026 - 16:03

List Question

prove that formula exists in first order logic expressing complete binary tree of depth $n$

How to correctly interpret discrete structures logic

Relationship with special property.

Two simple graphs and Ehrenfeucht's game.

Substitution in Gentzen sequent calculus

Show that two structures are not distinguishable in first order logic

$(aba)^{*}$ is first-order definable?

Why would this be a $T_1$-space?

Bipartite graph is axiomatizable in FO.

Deduction of $\vdash \forall x \phi \rightarrow \exists x \phi$

Formality of Nested Quantifications over Same Free Variable

Prove that if two strucutres are not distinguishable then also modifed structures are distinguishable

Defining in first order logic cyclic funtion and complement of this class

Show that class of infinite sequences with relation $R$ is not axiomatizable

Translation of english sentences to first order logic in conjunctive normal form walkthrough?

Trending Questions

Popular # Hahtags

Popular Questions