За условно (ако-тогава) изявление, counterexample трябва да бъде екземпляр, който удовлетворява хипотезата, но не и заключението.
Какво е контрапример за условна предпоставка?
Противопример: пример, който противоречи на някакво твърдение или аргумент (напр. … Невалиден: аргумент, който не е валиден. Можем да тестваме за невалидност, като приемем, че всички предпоставки са вярно и да видим дали все още е възможно заключението да е невярно. Ако това е възможно, аргументът е невалиден.
Могат ли условните твърдения да бъдат неверни?
Условното условие се счита за невярно, когато антецедентът е вярно, а консеквентът е false. По-долу, стойностите на истинността на условното за всички възможности на антецедента и последователността да бъде вярно или невярно са представени в таблица на истинността.
Какъв е пример за контрапример?
Пример, който опровергава твърдение (показва, че е невярно). Пример: твърдението "всички кучета са космати" може да се окаже невярно, като се намери само едно безкосме куче (контрапримерът), както е по-долу.
Колко противоположни примера са необходими, за да се покаже, че условното твърдение е невярно?
Необходим е само един контрапример, за да покаже, че твърдението ви е невярно.
