 Home
 Get A Printable Dictionary
 Search Best Words
 Recent Changes
 How You Can Help
 valsi  All
 valsi  Preferred Only
 natlang  All
 natlang  Preferred Only
 Languages
 XML Export
 user Listing
 Report Bugs
 Utilities
 Status
 Help
 Admin Request
 Create Account

valsi 
jorlge 
type 
fu'ivla 
creator 
krtisfranks 
time entered 
Thu Dec 10 19:02:07 2015 
Examples


English


Definition #68147
 Preferred
[edit]


definition 
x_{1} is the result of applying logical connective/conjunction x_{2} to the terms of the ordered list x_{3} in the order given, in system x_{4} 
notes 
x_{1} is not the truth value of the result, but the result itself. x_{2} is filled by a function or a la'eprefixed quote of a connective (CON; JA*, JOI*). In Lojban, the terms of the ordered list in x_{3} need not syntactically match the connective used; for example, bridi tails can be used even when ja (as opposed to gi'e/gije) fills x_{2}. The connective filling x_{2}, if nary, will operate on the first n terms of the ordered list filling x_{3}, then it will successively operate on the result and the next n1 terms (after the previously used ones) of the ordered list in x_{3} where the the result and terms fill its argument slots in the order presented. Thus, the ordered list which fills x_{3} must be of an appropriate length; the recommendation is that exactly n terms are included; only explicitly mentioned terms are included. The terms of the ordered list in x_{3} and their results must be comparable; they can be sumti, bridi (la'eprefixed quoted predicates; not its truth value), Booleans, sets, etc. This word can be used to express the notion of "logical conjunction", "logical disjunction", "settheoretic union", "settheoretic complement", etc. (the result, not the process, in each case); the terms of the list in x_{3} would be the conjunct(and)s (or their logical parents), etc. See: fancufacki, terjoma. 
gloss words 

place keywords 
1.
conjunction

created by 
krtisfranks 
vote information 
1

time 
Thu Dec 10 19:02:08 2015 



Examples




