Untuk pernyataan bersyarat (jika-maka), counterexample harus merupakan instance yang memenuhi hipotesis, tetapi bukan kesimpulan.
Apa yang dimaksud dengan contoh tandingan dari premis bersyarat?
Contoh Kontra: contoh yang bertentangan dengan beberapa pernyataan atau argumen (mis. … Invalid: argumen yang tidak valid. Kita dapat menguji ketidakabsahan dengan mengasumsikan bahwa semua premis adalah benar dan melihat apakah masih mungkin kesimpulannya salah. Jika ini mungkin, argumennya tidak valid.
Dapatkah pernyataan bersyarat salah?
Sebuah kondisi dianggap salah jika antesedennya benar dan konsekuennya salah. Di bawah ini, nilai kebenaran dari kondisi untuk semua kemungkinan anteseden dan konsekuen benar atau salah disajikan dalam tabel kebenaran.
Apa contoh counterexample?
Contoh yang menyangkal suatu pernyataan (menunjukkan bahwa pernyataan itu salah). Contoh: pernyataan "semua anjing berbulu" dapat dibuktikan salah dengan menemukan hanya satu anjing tidak berbulu (contoh tandingannya) seperti di bawah ini.
Berapa banyak contoh tandingan yang diperlukan untuk menunjukkan bahwa pernyataan bersyarat salah?
Hanya diperlukan satu contoh tandingan untuk menunjukkan bahwa pernyataan Anda salah.
