Search results
Results from the WOW.Com Content Network
The examples "is greater than", "is at least as great as", and "is equal to" are transitive relations on various sets. As are the set of real numbers or the set of natural numbers: whenever x > y and y > z, then also x > z whenever x ≥ y and y ≥ z, then also x ≥ z whenever x = y and y = z, then also x = z. More examples of transitive ...
For example, If P, then Q. P. ∴ Q. In this example, the first premise is a conditional statement in which "P" is the antecedent and "Q" is the consequent. The second premise "affirms" the antecedent. The conclusion, that the consequent must be true, is deductively valid.
An example in modern English is the verb to arrive. Verbs that can be used in an intransitive or transitive way are called ambitransitive verbs. In English, an example is the verb to eat; the sentences You eat (with an intransitive form) and You eat apples (a transitive form that has apples as the object) are both grammatical.
Transitivity (grammar), a property regarding whether a lexical item denotes a transitive object; Transitive verb, a verb which takes an object; Transitive case, a grammatical case to mark arguments of a transitive verb
Transitivity is a linguistics property that relates to whether a verb, participle, or gerund denotes a transitive object. It is closely related to valency , which considers other arguments in addition to transitive objects.
Logical consequence is necessary and formal, by way of examples that explain with formal proof and models of interpretation. [1] A sentence is said to be a logical consequence of a set of sentences, for a given language , if and only if , using only logic (i.e., without regard to any personal interpretations of the sentences) the sentence must ...
or "I see a dog", transitive. The latter example is clearly transitive rather than intransitive. With a definite object, the verb form changes: "Látom a kutyát." or "I see the dog." So I think it's misleading to write that transitivity is marked on the verb in Hungarian, as the same verb form can appear in intransitive and transitive contexts.
In any case, different answers to such questions yield different systems of modal logic. Adding axioms to K gives rise to other well-known modal systems. One cannot prove in K that if "p is necessary" then p is true. The axiom T remedies this defect: T, Reflexivity Axiom: p → p (If p is necessary, then p is the case.)