Логическая символика

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

а) А → (В → С);

б) (В Λ ~ С) → ~ А;

в) (~ В Λ ~С) → ~А?

Ответом на этот вопрос являются, соответственно, три высказывания:

а) Если теория Дарвина научна, то если она может быть подтверждена опытными данными, она может быть также опровергнута ими;

б) Если теория Дарвина может быть подтверждена опытными данными, но не может быть опровергнута ими, она не научна;

в) Если теория Дарвина не может быть подтверждена опытными данными и не может быть опровергнута ими, она не научна.