regras induzindo um conjunto

30 views

Skip to first unread message

Joao Marcos

unread,

Mar 1, 2024, 4:02:51 PM3/1/24

to Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA

Let R be a set of rules inducing a set S of individuals. What is your favorite way of defining S from R?

[A] Nothing is a member of S unless it is produced by the rules in R.
[B] S is the smallest set closed under R.
[C] S is generated by R through a fixed-point construction.
[D] None of the above.

https://twitter.com/antitheorem/status/1763573386054095173

Joao Marcos

unread,

Mar 3, 2024, 7:01:56 PM3/3/24

to Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA

Vox twitteri, vox dei: ;-)
https://twitter.com/antitheorem/status/1763573386054095173

JM