Откуда берутся бестолочи

Валерьян

17 сентября CE 2004 17:30

В ответ на Откуда берутся бестолочи (maks, 17 сентября CE 2004 17:10)

> А разве посылка должна содержать термин вывода ?

Никто никому ничего не должен, Макс. Просто, правильными, т.е. сделанными согласно правилам, обеспечивающим истинность вывода при истинности посылок, выводы являются помимо прочих условий тогда, когда одна посылка этого вывода содержит один термин этого вывода, а другая посылка этого вывода содержит другой термин этого вывода.

Т.е. посылка вовсе не должна содержать термин вывода. Но тогда истинность этой посылки отнюдь не является основанием истинности этого вывода, который, таким образом, остается без основания, т.е. становится безосновательным.

Валерьян