КОНТРАПОЗИЦИОНЕН ЗАКОН какво е дефиниция НА КОНТРАПОЗИЦИОНЕН ЗАКОН

Намерени са 3 дефиниции за терминаЗАКОН ЗА КОНТРАПОЗИЦИЯТА

ЗАКОН ЗА КОНТРАПОЗИЦИЯТА

lat contrapositio - противопоставяне) - законът на логиката, според Кром, ако от определено твърдение А следва твърдението 5, тогава от отрицанието на твърдението Б следва отрицанието на твърдението А.

ЗАКОН ЗА КОНТРАПОЗИЦИЯТА

законът на логиката, който гласи, че ако преценка B следва от определена преценка A, тогава отрицанието на преценка A следва от отрицанието на преценка B. може да се формулира и като правило за условните съждения: от истинността на съждението „Ако А, то Б“ следва истинността на съждението „Ако не –В, то не и –А“. К. з. се наричат ​​още формули в логическото смятане, които са аналогични на съдържат. К. з. Това са например формулите: където A и B са променливи за твърдения, A( ) и B( ) са променливи за предикати, x е обективна променлива, a ? и (?) са съответно знаците за импликация, отрицание и общия квантор.Бук.: Тара. Въведение в логиката и методологията на дедуктивните науки, М., 1948, гл. 2.

ЗАКОН ЗА КОНТРАПОЗИЦИЯТА

- общото наименование на редица логически закони, които позволяват с помощта на отрицание да се променят местата на основата и следствието (предшестващо и последващо) на условно твърдение.

Един от тези закони, понякога наричан закон на простата контрапозиция, е следният: ако първото води до себе си второто, тогава отрицанието на второто води до отрицание на първото. Например: "Ако е вярно, че число, което се дели на шест, се дели на три, тогава е вярно, че число, което не се дели на три, също не се дели на шест."

С използването на логическа символика (p, q - някои твърдения; -> - импликация, "ако, тогава";

- отрицание "не е вярно, че") този закон е представен от формулата:

ако е така, че ако p, тогава q, тогава ако не-q, тогава не-p.Други K. z .:

ако е вярно, че ако не-p, тогава не-q, тогава ако q, тогава p. Например: „Ако е вярно, че ръкопис, който не е оценен положително от рецензента, не е публикуван, тогава е вярно, че публикуваният ръкопис е оценен положително от рецензента.“

ако случаят е, че ако p, тогава не-q, тогава ако q, тогава не-p. Например: „Ако квадратът не е триъгълник, то триъгълникът не е квадрат“;

q->p), ако е вярно, че ако не-p, тогава q, тогава ако не-q, тогава p. Например: „Ако не

това, което е очевидно, е съмнително, тогава това, което не е съмнително, е очевидно.

Законът за съставното противопоставяне е представен с формулата (& -

ако случаят е, че ако p и q, тогава r, тогава ако p и не-r, тогава не-q. Например: "Ако е вярно, че монотонна и ограничена последователност се събира, тогава монотонна и несходяща последователност е неограничена."

---