Search results
Jump to navigation
Jump to search
Page title matches
File:Lessons in Lojban I - The Bridi Proposition (high quality).mp4 (54.89 MB) - 06:56, 19 January 2014
Page text matches
- ...''x<sub>2</sub><sub>(entity)</sub>'' to express ''x<sub>3</sub><sub>(si'o, proposition)</sub>'' ...<sub>(property of x<sub>1</sub>)</sub>'' by agreement ''x<sub>3</sub><sub>(proposition)</sub>''710 KB (115,361 words) - 08:13, 2 May 2018
- "expresses a proposition" 869 hits "says a proposition" 29 hits210 KB (32,056 words) - 12:40, 26 January 2015
- consideration: {djuno2} pretty much has to be a proposition, even if that proposition involves no a given proposition is to be evaluated? These are two different things.632 KB (109,363 words) - 09:54, 26 January 2015
- Plural quantification was invented in order to facilitate expression of proposition that is meaningful only when the referent of an argument is plural. Logically, this sentence is a proposition that consists of a constant "people" and three predicates "gathered" "cooke55 KB (9,194 words) - 11:27, 9 December 2017
- 'semi direct': Alice expressed a proposition that is expressible as "She, however, is leaving". 'semi direct': Alice expressed a proposition that is expressible as "Would that she were leaving".26 KB (4,521 words) - 05:21, 15 February 2015
- ...''', mais ça rajoute une couche de sémantique, puisque ça transforme toute proposition contenant '''ko''' en un ordre. « Fais en sorte que cette phrase soit vrai ...e chose doit effectivement '''klama'''. Donc les gadri factuels énonce une proposition qui peut-être vrai ou fausse - que l(es)'objet(s) en question sont effecti283 KB (48,687 words) - 07:26, 16 June 2021
- a proposition in regards to its correspondence with reality. proposition in question does properly describe reality552 KB (90,146 words) - 09:40, 26 January 2015
- BAIs that have an event or proposition place are relatively stand in for {certu}, though with a proposition497 KB (76,982 words) - 11:17, 26 January 2015
- I am getting more worried about this identifiction of {ka}s and {du'u}s. A proposition is not a property, a function to properties (a more abstract property) is n > proposition is not a property,261 KB (39,865 words) - 09:17, 27 January 2015
- ...will write <math>x : X</math> to sigify proof <math>x</math>, which proves proposition <math>X</math>. In Lojban, this would be written {xy. noi ctaipe tau xy.}. ...<math>P \vee \neg P</math> (the law of the excluded middle) for arbitrary proposition <math>P</math>, since that would require an oracle to tell us which of <mat10 KB (1,624 words) - 00:36, 3 January 2016
- I opine that a proposition is claimed to be true of some > I opine that a proposition is claimed to be282 KB (44,320 words) - 14:50, 26 January 2015
- ...gue, to quarrel, not used of an 'argument' in a theory or an equation or a proposition [ra-non- + shon=peace] | proposition, argument192 KB (30,893 words) - 08:45, 6 February 2015
- *''clause'' (of which ''property'' and ''proposition'' are its special cases) ==== ''Proposition'' type ====22 KB (3,576 words) - 06:27, 26 September 2018
- ...Q and Some R: both P or Q or R; and something unspecified.<br>'' ''For any proposition, there is at least two propositions such that both what we were talking abo ...sition such that there exists at least one proposition such that the first proposition is true and one of the second two propositions or what we were talking abou12 KB (2,007 words) - 23:34, 3 April 2020
- As long as x1 (du'u proposition) is true, x2 (action/event) repeatedly happens x1 (action/event) happens, then repeats as long as x2 (du'u proposition) is true.4 KB (620 words) - 15:07, 1 August 2015
- It should be able to apply to any sort of proposition, whether real or theoretical, past, present or future. That is what tensel ...krtisfranks the thing is that du'u is not "the notion of", it is "the fact/proposition/claim that". Whether it's realis or irrealis isn't what this is about.521 KB (87,367 words) - 21:48, 22 November 2022
- be a proposition, whose truth is what is needed. > by filling the sumti place with a proposition72 KB (11,437 words) - 14:50, 26 January 2015
- ...gue, to quarrel, not used of an 'argument' in a theory or an equation or a proposition [ra-non- + shon=peace] | proposition169 KB (27,145 words) - 12:15, 18 December 2015
- Note that as a '''du'u''' abstraction is called a bridi or proposition, a '''ka''' abstraction is called a ''function'', where the '''ce'u''' is/a ...f djuno3 is left implicit, it is understood that it is some sumti from the proposition expressed in djuno2.21 KB (3,578 words) - 08:36, 30 June 2014
- as "Mr. Cat" can clarify the logical structure of a proposition ...dard Formal (Symbolic) Logic and then the go back to talking about A and E proposition, which are in syllogistic. That is, they mix unrestricted and restricted qu4.12 MB (665,740 words) - 16:32, 2 March 2020