Lines Matching refs:implies

71 ; A == B implies A == B is true.
95 ; A == B implies A != B is false.
119 ; A == B implies A >u B is false.
143 ; A == B implies A >=u B is true.
167 ; A == B implies A <u B is false.
191 ; A == B implies A <=u B is true.
215 ; A == B implies A >s B is false.
239 ; A == B implies A >=s B is true.
263 ; A == B implies A <s B is false.
287 ; A == B implies A <=s B is true.
311 ; A != B implies A != B is true.
335 ; A != B implies A >u B is unknown to be true or false.
359 ; A != B implies A >=u B is unknown to be true or false.
383 ; A != B implies A <u B is unknown to be true or false.
407 ; A != B implies A <=u B is unknown to be true or false.
431 ; A != B implies A >s B is unknown to be true or false.
455 ; A != B implies A >=s B is unknown to be true or false.
479 ; A != B implies A <s B is unknown to be true or false.
503 ; A != B implies A <=s B is unknown to be true or false.
527 ; A >u B implies A >u B is true.
551 ; A >u B implies A >=u B is true.
575 ; A >u B implies A <u B is false.
599 ; A >u B implies A <=u B is false.
623 ; A >=u B implies A >=u B is true.
647 ; A >=u B implies A <u B is false.
671 ; A >=u B implies A <=u B is unknown to be true or false.
695 ; A <u B implies A <u B is true.
719 ; A <u B implies A <=u B is true.
743 ; A <=u B implies A <=u B is true.
767 ; A >s B implies A >s B is true.
791 ; A >s B implies A >=s B is true.
815 ; A >s B implies A <s B is false.
839 ; A >s B implies A <=s B is false.
863 ; A >=s B implies A >=s B is true.
887 ; A >=s B implies A <s B is false.
911 ; A >=s B implies A <=s B is unknown to be true or false.
935 ; A <s B implies A <s B is true.
959 ; A <s B implies A <=s B is true.
983 ; A <=s B implies A <=s B is true.
1007 ; A >=u 5 implies A <u 5 is false.