Додатковими прикладами if— тоді є твердження: «Якщо ви їсте своє м'ясо, то ви можете їсти пудинг» і «Якщо ця тварина - собака, то це ссавець». Але є й інші способи висловити умовні, такі як «Ви можете...Додатковими прикладами if— тоді є твердження: «Якщо ви їсте своє м'ясо, то ви можете їсти пудинг» і «Якщо ця тварина - собака, то це ссавець». Але є й інші способи висловити умовні, такі як «Ви можете їсти пудинг, тільки якщо ви їсте своє м'ясо» або «Всі собаки ссавці». Хоча ці речення різні, їх логічне значення таке ж, як і їхні кореляційні, якщо - то речення вище.