Share This
table started by
superalecf for the Assertion Modeling Kit Base
There is no user-contributed description yet.
Add More Topics
Save this view to a base, or just for yourself.
21 Topic topics matching:
Filter this Collection| x name | x image | x article |
|---|---|---|
| x Logical connective |
In logic, a logical connective (also called a logical operator) is a symbol or word used to connect two or more sentences (of either a formal or a natural language) in a grammatically valid way, such that the compound sentence produced has a truth...
|
|
| x X |
X is the twenty-fourth letter in the basic modern Latin alphabet. Its name in English (pronounced /ˈɛks/) is spelled ex, plural exes (/ˈɛksɨz/).
The consonant cluster /ks/ was, in Ancient Greek, written as either Chi Χ (Western Greek) or Xi Ξ ...
|
|
| x Y |
The letter Y is the twenty-fifth and penultimate letter in the basic modern Latin alphabet. Its name in English (pronounced /ˈwaɪ/) is spelled wye or occasionally wy, plural wyes.
The original ancestor of Y was the Semitic letter Waw, which was also...
|
|
| x Z |
Z is the twenty-sixth and final letter of the basic modern Latin alphabet. It is pronounced "zed" except in America where it is pronounced "zee".
In many dialects of English, the letter's name is zed, pronounced /ˈzɛd/, reflecting its derivation...
|
|
| x Modal operator |
In modal logic, a modal operator is an operator which forms propositions from propositions. In general, a modal operator has the "formal" property of being non-truth-functional, and is "intuitively" characterised by expressing a modal attitude (such...
|
|
| x I did not have sexual relations with that woman |
|
"I did not have sexual relations with that woman" (or, more simply, "I did not have sex with that woman") is a political catch phrase that has become symbolic of Bill Clinton and the Monica Lewinsky scandal.
Clinton uttered the quote during a...
|
| x Predicate (mathematics) |
In mathematics, a predicate is either a relation or the boolean-valued function that amounts to the characteristic function or the indicator function of such a relation.
A function P: X→ {true, false} is called a predicate on X. When P is a...
|
|
| x Logical Quantifier |
Used as equivalents to "there exists at least one thing x" and "for all things x".
|
|
| x P and Q | ||
| x If P, then Q | ||
| x P or Q (or both) | ||
| x P if and only if Q | ||
| x x had sexual relations with y | ||
| x It is not the case that ((Bill Clinton) had sexual relaitons with (Monica Lewinsky)) |
This interpretation neglects the logical import of the "I" and the "that woman" constructions, going just for extensional equivalence.
|
|
| x It is not the case that P | ||
| x (For each individual x (it is possible that (x obtains personal development) |
This is a sub proposition for an Einstein quote I'm trying to model. It's not finished yet, evidently.
|
|
| x x obtains y |
To obtain something is to gain possession of it.
|
|
| x There exists one or more objects x | ||
| x For all objects x | ||
| x It is possible that P | ||
| x It is necessary that P | ||
