если первое влечет второе, то отрицание второго влечет отрицание первого. Напр.: «Если верно, что число, делящееся на шесть, делится на три, то верно, что число, не делящееся на три, не делится также на шесть».
(от фр. absurde – нелепица) – нелепость, бессмыслица. В логике под абсурдом обычно понимается противоречивое выражение. В таком выражении что-то утверждается и отрицается одновременно. «Сведение к абсурду» - один из способов опровержения, заключающийся в установлении ложности (или противоречивости) следствий, вытекающих из тезиса.
определение, в котором понятие вводится на основе некоторых исходных положений (аксиом).
(греч. aporia – затруднение, недоумение - < греч. а – отрицательная частица, poros - выход) – трудно разрешимая логическая проблема, связанная с противоречием между данными опыта и их мысленным образом.
