Приведем еще один простой пример перехода от искусственного языка логики к обычному языку. Пусть переменная А представляет высказывание «Теория Дарвина является научной», В — «Теория Дарвина может быть подтверждена опытными данными», С — «Теория Дарвина может быть опровергнута опытными данными». Какие содержательные высказывания выражаются формулами:
а) А → (В → С);
б) (В Λ ~ С) → ~ А;
в) (~ В Λ ~С) → ~А?
Ответом на этот вопрос являются, соответственно, три высказывания:
а) Если теория Дарвина научна, то если она может быть подтверждена опытными данными, она может быть также опровергнута ими;
б) Если теория Дарвина может быть подтверждена опытными данными, но не может быть опровергнута ими, она не научна;
в) Если теория Дарвина не может быть подтверждена опытными данными и не может быть опровергнута ими, она не научна.