Posts and uploaded files are owned by the poster. jbotcan.org is not liable for the content submitted by the poster. Downloading any poster-submitted files is doing so at your own risk.
What does the relative clause in Lojban correpond to in predicate logic? I found this articlehttp://en.wikipedia.org/wiki/Clause_(logic)Not sure if it relates to Lojban.
Relative clauses and logical clauses aren't related, really.Relative clauses in natural languages, and in Lojban, act like extended adjectives: they narrow down the possible choices for modified nouns/sumti (except for noi/ne/no'u, which provide incidental information about nouns). In predicate logic, this is done by putting the nouns/sumti and relative clause into the first part of an implication.da bajra :: runs(X)da poi gerku cu bajra :: dog(X) -> runs(X)
Relative clauses and logical clauses aren't related, really.
Relative clauses in natural languages, and in Lojban, act like extended adjectives: they narrow down the possible choices for modified nouns/sumti (except for noi/ne/no'u, which provide incidental information about nouns). In predicate logic, this is done by putting the nouns/sumti and relative clause into the first part of an implication.
da bajra :: runs(X)da poi gerku cu bajra :: dog(X) -> runs(X)