Share This
table started by
avic for the Assertion Modeling Kit Base
This is meant to be used as a co-type with freebase topics that deal with the kinds of logical devices that freebase proposition builders are.
Add More Topics
Save this view to a base, or just for yourself.
4 Type of freebase proposition builder topics matching:
Filter this Collection| x name | x image | x freebase proposition builder | x article |
|---|---|---|---|
| x Logical connective | P and Q |
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...
|
|
| If P, then Q | |||
| P or Q (or both) | |||
| P if and only if Q | |||
| It is not the case that P | |||
| x Logical Quantifier | For all objects x |
Used as equivalents to "there exists at least one thing x" and "for all things x".
|
|
| There exists one or more objects x | |||
| x Modal operator | It is necessary that P |
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...
|
|
| It is possible that P | |||
| x Predicate (mathematics) | x had sexual relations with y |
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 obtains y | |||
