Умовність, обов'язковість чи наслідковість, що означає, що одне твердження логічно випливає з іншого.
If it rains, the ground will be wet. [ ] [ ]
Якщо буде дощ, земля буде волога.
If you are a dog, you bark. [ ] [ ]
Якщо ти собака, ти гавкаєш.
All humans are mortal; Socrates is a human; therefore, Socrates is mortal. [ ] [ ]
Всі люди смертні; Сократ — людина; отже, Сократ смертний.