If A implies B and B implies A, then is A equivalent to B?
If A implies B, and B implies C, does A imply C?
אם A מרמז על B ו-B מרמז על A, אז האם A שווה ערך ל-B?
אם A מרמז על B, ו-B מרמז על C, האם A מרמז על C?