Корутундунун тууралыгы корутундунун формасына жараша болот. Башкача айтканда, «жарактуу» деген сөз жайлар же корутундунун чындыгын билдирбейт, тескерисинче, тыянак формасын билдирет. Корутунду бөлүктөрү жалган болсо да жарактуу жана кээ бир бөлүктөрү чын болсо да жараксыз болушу мүмкүн.
Чынымдын туура экенин кантип билесиз?
Эгер тыянак туура деп эсептелет эгер ал туура далилдерге негизделсе жана тыянак жайдан логикалык жактан келсе.
Тыянак туура эмес болушу мүмкүнбү?
Анда биз көбүнчө тыянакыбызга жараша иш кылабыз. Ошентип, "чыгарма" термини үчүн, биз билебиз деп ойлогон башка нерседен биз эмнени билебиз деп ойлогонубуз жөнүндө жыйынтыкка келүүнү билдирет. … (Эсиңде болсун, бирок корутундулар жакшы же жаман, туура же туура эмес, кемчиликсиз же туура эмес болушу мүмкүн.)
Жараксыз корутунду деген эмнени билдирет?
1. Эгер сен башкача болсоң, демек сен алмаштырылгыссың. башка → алмаштырылгыс. Бул жараксыз корутунду, анткени бул баштапкы билдирүүнүн тескериси. Билдирме менен анын карама-каршылыгы логикалык жактан эквиваленттүү эмес.
Жарактуу математика деген эмне?
Чыгуу эрежелери эмне үчүн? Математикалык логика көбүнчө логикалык далилдер үчүн колдонулат. Далилдер - математикалык билдирүүлөрдүн чындык маанилерин аныктоочу жарактуу аргументтер. Аргумент - бул билдирүүлөрдүн ырааттуулугу. Акыркы билдирүү - бул корутунду жана анын бардык мурункуларыбилдирүүлөр жай (же гипотеза) деп аталат.
