Логикада эки шарттуу билдирүү деген эмне?
Логикада эки шарттуу билдирүү деген эмне?

Video: Логикада эки шарттуу билдирүү деген эмне?

Video: Логикада эки шарттуу билдирүү деген эмне?
Video: ЭРКЕКТИН АЯЛЫН СҮЙБӨЙ КАЛГАНЫН КАНТИП БИЛСЕ БОЛОТ? 5 БЕЛГИ 2024, Апрель
Anonim

Биз эки шарттуу бириктиргенде билдирүүлөр бул жол менен бизде бар эки шарттуу . Аныктама: А эки шарттуу билдирүү эки бөлүк тең бирдей чындыкка ээ болгондо, чындык деп аныкталат. The эки шарттуу p q "p эгерде жана q болсо гана" билдирет, мында p гипотеза жана q - корутунду.

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

' Эки шарттуу билдирүүлөр чын билдирүүлөр гипотезаны жана корутундуну негизги сөздөр менен айкалыштырган эгер жана эгерде. ' Мисалы, билдирүү болот бул форманы алгыла: (гипотеза) эгерде жана гана (тыянак). Биздин колубуздан келет ошондой эле жаз аны мындайча: (жыйынтык) эгерде жана гана (гипотеза).

Жогорудагылардан тышкары, IFF Biconditional билдирүүдө колдонулганда эмнени билдирет? Логикада жана математика жана философия сыяктуу ага байланыштуу тармактарда, эгерде жана гана (кыскартылган) iff ) болуп саналат а эки шарттуу ортосундагы логикалык байланыш билдирүүлөр , кайда экөө тең билдирүүлөр болуп саналат чын же экөө тең болуп саналат жалган.

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

The четке кагуу мунун бири чын, экинчиси жалган болгондо, дал сиз жазган нерсе. Бул чындыгында маанилүү эмес, анткени сизде p∧∼q жана ∼p∧q тең болушу мүмкүн эмес, анткени бул сизде эч качан боло албаган p∧∼p (жана q∧∼q) бар дегенди билдирет.

Biconditional билдирүүнүн мисалы кандай?

Эки шарттуу билдирүүнүн мисалдары The эки шарттуу билдирүүлөр анткени бул эки топтом болот: Көп бурчтук төрт бурчтуу болгондо гана төрт тарабы болот. Көп бурчтук төрт бурчтук болуп саналат, эгерде көп бурчтуктун төрт гана тарабы болсо.

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