Шартты (егер-онда) мәлімдемесі үшін қарсы мысал гипотезаны қанағаттандыратын данасы болуы керек, бірақ қорытынды емес.
Шартты алғышартқа қарсы мысал дегеніміз не?
Қарсы мысал: кейбір мәлімдемеге немесе аргументке қайшы келетін мысал (мысалы. … Жарамсыз: жарамсыз аргумент. Біз барлық үй-жайларды мыналар деп есептей отырып, жарамсыздығын тексере аламыз. ақиқат және қорытындының әлі де жалған болуы мүмкін екенін білу. Бұл мүмкін болса, аргумент жарамсыз.
Шартты мәлімдемелер жалған болуы мүмкін бе?
Антецедент ақиқат болса, ал нәтиже жалған болса, шарт жалған болып есептеледі. Төменде алдынғы және қорытындының ақиқат немесе жалған болуының барлық мүмкіндіктері үшін шарттылықтың ақиқат мәндері ақиқат кестесінде берілген.
Қарсы мысалдың мысалы қандай?
Өтінішті жоққа шығаратын мысал (оның жалған екенін көрсетеді). Мысал: "барлық иттер түкті" мәлімдемесін төмендегідей бір ғана жүнсіз ит (қарсы мысал) табу арқылы жалғандығын дәлелдеуге болады.
Шартты мәлімдеменің жалған екенін көрсету үшін қанша қарсы мысал қажет?
Өтінішіңіздің жалған екенін көрсету үшін бір қарсы мысал қажет.
