4,494
edits
Less than or Equal to: Difference between revisions
Jump to navigation
Jump to search
→Boolean function
(Created page with "{{Main|Comparison function}} {{Built-in|Less than or Equal to|<nowiki>≤</nowiki>}} is a comparison function which tests whether the left argument is Tolerant comp...") |
|||
| (5 intermediate revisions by the same user not shown) | |||
| Line 2: | Line 2: | ||
{{Built-in|Less than or Equal to|<nowiki>≤</nowiki>}} is a [[comparison function]] which tests whether the left [[argument]] is [[Tolerant comparison|tolerantly]] less 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 greater''' in [[APL\360]]. | {{Built-in|Less than or Equal to|<nowiki>≤</nowiki>}} is a [[comparison function]] which tests whether the left [[argument]] is [[Tolerant comparison|tolerantly]] less 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 greater''' in [[APL\360]]. | ||
== Boolean function == | |||
{{Main|Boolean function}} | |||
When the arguments to Less than or Equal to are [[Boolean]], it is the [[wikipedia:Material conditional|material implication]] function, also known as the [[wikipedia:IMPLY gate|IMPLY gate]]: | |||
{|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>1</source> | |||
|- | |||
!<source lang=apl inline>1</source> | |||
|<source lang=apl inline>0</source>||<source lang=apl inline>1</source> | |||
|} | |||
In the context of logic, it can be read as ''implies''. | |||
== External links == | == External links == | ||