Логикада корутундунун кандай эрежелери бар?
Логикада корутундунун кандай эрежелери бар?

Video: Логикада корутундунун кандай эрежелери бар?

Video: Логикада корутундунун кандай эрежелери бар?
Video: Сабак 1. Аналогия деген эмне? 2024, Май
Anonim

In логика , а жыйынтык чыгаруу эрежеси , тыянак эрежеси же трансформация эреже болуп саналат логикалык жайларды алып, алардын синтаксисин талдап, корутундуну (же корутундуларды) кайтаруучу функциядан турган форма.

Ошо сыяктуу эле, тыянак чыгаруунун канча эрежеси бар?

Беш жөнөкөй менен бирге тавтологияны колдонуу жыйынтык чыгаруу эрежелери пиццаны башынан жасаганга окшош.

Ошондой эле билиңиз, корутундунун тогуз эрежеси кандай? Корутунду эрежеси

  • Киргизүү / жоюу (modus ponens)
  • Бишарттуу киргизүү/жоюу.
  • Конъюнктура киришүү / жок кылуу.
  • Дизюнкцияны киргизүү / жок кылуу.
  • Дизьюнкциялык/гипотетикалык силлогизм.
  • Конструктивдүү / кыйратуучу дилемма.
  • Абсорбция / Modus Tollens / Modus Ponendo Tollens.

Ошондой эле билүү үчүн, дискреттик математикада тыянак чыгаруу эрежеси деген эмне?

Математикалык логика көбүнчө логикалык далилдер үчүн колдонулат. Далилдер чындык баалуулуктарын аныктоочу жарактуу аргументтер математикалык билдирүүлөр. Аргумент - бул билдирүүлөрдүн ырааттуулугу. Корутунду эрежелери бизде болгон билдирүүлөрдөн жарактуу аргументтерди түзүү үчүн шаблондорду же көрсөтмөлөрдү бериңиз.

Корутунду теориясы деген эмне?

Корутундулар ой жүгүртүүдөгү кадамдар, жайлардан логикалык натыйжаларга өтүү; этимологиялык жактан, сөз тыянак чыгаруу "алдыга алып баруу" дегенди билдирет. Дедукция болуп саналат корутунду жарактуулук мыйзамдары менен белгилүү же чындык деп болжолдонгон жайлардан логикалык тыянактарды чыгаруу корутунду логикада изилденип жатат.

Сунушталууда: