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