• Warunek bez którego dany fakt nie wynika. Niewystąpienie warunku koniecznego (P) uniemożliwia wystąpienie faktu (Q).
• co jest równoważne:
Q —> P [prawo kontra pozycji].
1 spójnik (funktor) „tylko":
- tylko profesor może być członkiem PAN, J|
- niebycie profesorem uniemożliwia bycie członkiem PAN,
- (każdy) członek PAN jest profesorem.