закон тождества, непротиворечия, исключенного третьего, достаточного основания. Они действуют в любом рассуждении, в какой бы логической форме оно ни протекало и какую бы логическую операцию ни выполняло. Наряду с основными логика изучает законы двойного отрицания, контрапозиции, де Моргана и т.д., которые также действуют в мышлении, обусловливая правильную связь мыслей в процессе рассуждения.
1) Закон тождества. Любая мысль в процессе рассуждения должна иметь определенное, устойчивое содержание. Это коренное свойство мышления – его определенность – выражает закон тождества: всякая мысль в процессе рассуждения должна быть тождественна самой себе (А есть А, или А = А, где А – любая мысль). Нельзя отождествлять различные мысли, нельзя тождественные мысли принимать за нетождественные. Нарушение этого требования в процессе рассуждения часто бывает связано с различным выражением одной и той же мысли в языке. С другой стороны, употребление многозначных слов может привести к ошибочному отождествлению различных мыслей. Отождествление различных мыслей часто связано с различиями в профессии, образовании и др. Отождествление различных понятий представляет собой логическую ошибку – подмену понятий, которая может быть как неосознанной, так и преднамеренной.
2) Закон непротиворечия. Логическое мышление характеризуется непротиворечивостью. Противоречия разрушают мысль, затрудняют процесс познания. Требование непротиворечивости мышления выражает формально-логический закон непротиворечия: два несовместимых друг с другом суждения не могут быть одновременно истинными; по крайней мере одно из них необходимо ложно. Данный закон формулируется следующим образом: неверно, что А и не-А (не могут быть истинными две мысли, одна из которых отрицает другую). Закон непротиворечия действует в отношении всех несовместимых суждений
using namespace std;
int main() {
int n,k,m;
cout<<"N = "; cin>>n;
cout<<endl;
if (n%2!=0) {
cout<<"недопустимое значение N: "<<n<<endl;
return(1);
}
m=n/4; k=(n-m*4)/2;
while (m>=0) {
if (m>0) cout<<"машин: "<<m<<" ";
if (k>0) cout<<"велосипедов: "<<k;
cout<<endl;
m - -; k+=2;
}
system("pause");
return(0);
}