Именно в идеале. Простые житейские ситуации не поддаются анализу на основе четко определенной системе аксиом. При так называемых строгих рассуждениях всегда неизбежно что-то домысливается. А это очень большой именно логический грех - добавлять явно не оговоренные, а тем более, не сознаваемые, предположения. Что всегда и неизбежно происходит, при таком вот квазипрограммистском подходе к общечеловеческим вопросам.

В качестве идеальной модели — да. Но на практике, по вашим критериям, простого "ч"удака от программиста и не отличишь :-))