4,494
edits
Greater than or Equal to: Difference between revisions
Jump to navigation
Jump to search
→Boolean function
(Created page with "{{Main|Comparison function}} {{Built-in|Greater than or Equal to|<nowiki>≥</nowiki>}} is a comparison function which tests whether the left argument is Tolerant c...") |
|||
| (3 intermediate revisions by the same user not shown) | |||
| Line 2: | Line 2: | ||
{{Built-in|Greater than or Equal to|<nowiki>≥</nowiki>}} is a [[comparison function]] which tests whether the left [[argument]] is [[Tolerant comparison|tolerantly]] greater than or equal to the right argument, returning 1 if this is the case and 0 otherwise. It is the [[Not|negation]] of [[Less than]] (<source lang=apl inline><</source>), and in fact was called '''Not less''' in [[APL\360]]. | {{Built-in|Greater than or Equal to|<nowiki>≥</nowiki>}} is a [[comparison function]] which tests whether the left [[argument]] is [[Tolerant comparison|tolerantly]] greater than or equal to the right argument, returning 1 if this is the case and 0 otherwise. It is the [[Not|negation]] of [[Less than]] (<source lang=apl inline><</source>), and in fact was called '''Not less''' in [[APL\360]]. | ||
== Boolean function == | |||
{{Main|Boolean function}} | |||
When the arguments to Greater than or Equal to are [[Boolean]], it is the [[wikipedia:converse implication|converse implication]] function: | |||
{|class=wikitable | |||
!<source lang=apl inline>≥</source>!!<source lang=apl inline>0</source>!!<source lang=apl inline>1</source> | |||
|- | |||
!<source lang=apl inline>0</source> | |||
|<source lang=apl inline>1</source>||<source lang=apl inline>0</source> | |||
|- | |||
!<source lang=apl inline>1</source> | |||
|<source lang=apl inline>1</source>||<source lang=apl inline>1</source> | |||
|} | |||
In the context of logic, it can be read as ''is implied by''. | |||
== External links == | == External links == | ||