что толку горевать?
читать дальше
безбожно долго размышлял над над таблицей истинности импликации
предположим A:= X>0 В:=X-1>0
эта эмпликация верна для х>1 на области действительных чисел, а для всей области верной не является и
выходит любое утвеждение может считаться верным пока не доказано обратное(презумпция невиновности)
также можно выделить утверждения которые являются обсюлютно верными на данной области (алгебраической структуре) A:= X>0 В:=X+1>0 (для действительных чисел)
и абсолютно ложными в том случае если нельзя выделить элемента где они выполняются
A:= X=0 В:=X-1>0
получается что ложные +верные в совокупности содержат в себе законы(аксиомы) алгебры(или даже в более широком смысле)
а безразличные (не абсолютные высказывания) формируют тело все возможных ситуаций ограниченых данными аксиомами
безбожно долго размышлял над над таблицей истинности импликации
предположим A:= X>0 В:=X-1>0
эта эмпликация верна для х>1 на области действительных чисел, а для всей области верной не является и
выходит любое утвеждение может считаться верным пока не доказано обратное(презумпция невиновности)
также можно выделить утверждения которые являются обсюлютно верными на данной области (алгебраической структуре) A:= X>0 В:=X+1>0 (для действительных чисел)
и абсолютно ложными в том случае если нельзя выделить элемента где они выполняются
A:= X=0 В:=X-1>0
получается что ложные +верные в совокупности содержат в себе законы(аксиомы) алгебры(или даже в более широком смысле)
а безразличные (не абсолютные высказывания) формируют тело все возможных ситуаций ограниченых данными аксиомами