Sentence examples for propositions identified from inspiring English sources

Exact(1)

For example, in some explications of Kripke models for intuitionistic logic propositions (identified with sets of "worlds" in a model structure) can be understood as truth values of a certain kind.

Similar(58)

One study had associate nursing degree students draw their own concept maps after a 20-minute introductory tutorial, presentation of a sample diagram, discussion and question period, and instructions listing all elements to be included (e.g. arrangement of items, hierarchal order, linking concepts with arrow, labeling propositions, identifying cross-links/relationships)[ 9].

The outcomes likewise show that the proposition identifies the Android malware superior to other neuro-fuzzy frameworks as far as precision (90%).

The following proposition identifies the smallest problem instances where a difference between the two problems in terms of LD power may occur, and which we will further study in Section 'Empirical optimization study'.

On the other hand, the proposition identifies only one of these properties, that signified by the predicate-term (in our example the property of being a man), which is formally different from the form (in our example that of humanity) connoted by the predicate-term itself (ibidem, fols. 92vb 93ra).

And since there are necessarily false propositions, that is, propositions that are true in no possible world, it is plausible, on this conception of propositions, to identify these propositions with the empty set.

In possible worlds semantics, propositions are identified with the set of possible worlds where they are true (see the entry propositions).

Protocol sentences, originally conceived along the lines of an interpretation developed in the Vienna Circle of Wittgenstein's elementary propositions, were identified as those sentences that make statements about the data of direct experience.

Other more complex propositions are identified with events types of agents performing sequences of primitive mental acts.[20] Soames doesn't say what he takes events (types or tokens) to be.

Overall, the algorithm slightly improved some results, but many of its propositions were identified as invalid when evaluated by domain experts.

FOR THE RECORD: Proposition 47: In the Nov. 6 Section A, an article about passage of Proposition 47 identified Molly Rysman as the operator of a housing program for homeless people on Skid Row.

Show more...

Ludwig, your English writing platform

Write better and faster with AI suggestions while staying true to your unique style.

Student

Used by millions of students, scientific researchers, professional translators and editors from all over the world!

MitStanfordHarvardAustralian Nationa UniversityNanyangOxford

Since I tried Ludwig back in 2017, I have been constantly using it in both editing and translation. Ever since, I suggest it to my translators at ProSciEditing.

Justyna Jupowicz-Kozak quote

Justyna Jupowicz-Kozak

CEO of Professional Science Editing for Scientists @ prosciediting.com

Get started for free

Unlock your writing potential with Ludwig

Letters

Most frequent sentences: