Re: Deduction ↑
metanymous в посте Metapractice (оригинал в ЖЖ)
Либо нынешний папа женат, либо он разведен. Текущий папа - не разведен. Поэтому нынешний папа женат.
This inference is valid because, although the premises and the conclusion are not all true, it is impossible to conceive of a situation in which all of the premises would be true but the conclusion would be false. Examples such as these demonstrate that the validity of an inference depends upon its form or structure, not on its content.
Этот вывод действителен, потому что, хотя предпосылки и заключение не все верно, невозможно представить себе ситуацию, в которой все помещения были бы истинными, но заключение было бы ложным. Примеры, подобные этим, показывают, что справедливость вывода зависит от его формы или структуры, а не от ее содержания.