(לטינית עבור מצב חיובית. ) כלל מסקנה כי אם ' ' נכון, מרמז ' ' ' ב' ', ולאחר מכן ' B ' נכון גם.
(Haifa, Israel)