Greater than or Equal to: Difference between revisions

Jump to navigation Jump to search
m
Text replacement - "<source" to "<syntaxhighlight"
m (Text replacement - "<source" to "<syntaxhighlight")
Line 1: Line 1:
{{Main|Comparison function}}
{{Main|Comparison function}}


{{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]] (<syntaxhighlight lang=apl inline><</source>), and in fact was called '''Not less''' in [[APL\360]].


== Boolean function ==
== Boolean function ==
When the arguments to Greater than or Equal to are [[Boolean]], it is the [[wikipedia:converse implication|converse implication]] [[Boolean function]]:
When the arguments to Greater than or Equal to are [[Boolean]], it is the [[wikipedia:converse implication|converse implication]] [[Boolean function]]:
::{|class=wikitable
::{|class=wikitable
!<source lang=apl inline>≥</source>!!<source lang=apl inline>0</source>!!<source lang=apl inline>1</source>
!<syntaxhighlight lang=apl inline>≥</source>!!<syntaxhighlight lang=apl inline>0</source>!!<syntaxhighlight lang=apl inline>1</source>
|-
|-
!<source lang=apl inline>0</source>
!<syntaxhighlight lang=apl inline>0</source>
|<source lang=apl inline>1</source>||<source lang=apl inline>0</source>
|<syntaxhighlight lang=apl inline>1</source>||<syntaxhighlight lang=apl inline>0</source>
|-
|-
!<source lang=apl inline>1</source>
!<syntaxhighlight lang=apl inline>1</source>
|<source lang=apl inline>1</source>||<source lang=apl inline>1</source>
|<syntaxhighlight lang=apl inline>1</source>||<syntaxhighlight lang=apl inline>1</source>
|}
|}
In the context of logic, it can be read as ''is implied by''.
In the context of logic, it can be read as ''is implied by''.

Navigation menu