Дизюнктура чын болушу үчүн эмне керек?
Дизюнктура чын болушу үчүн эмне керек?

Video: Дизюнктура чын болушу үчүн эмне керек?

Video: Дизюнктура чын болушу үчүн эмне керек?
Video: Всё про логические операции для ЕНТ по информатике 2024, Май
Anonim

Биригүү менен эки билдирүү тең болушу керек чын бириктирүү үчүн чын ; бирок а менен дизъюнкция , эки билдирүү тең жалган болушу керек дизъюнкция жалган болуу. А ажыратуу болуп саналат эгер эки билдирүү тең болсо гана жалган болуп саналат жалган; болбосо чын.

Тиешелүү түрдө дизъюнкция жана конъюнкция деген эмне?

Билдирүүлөр - бул чын же жалган деп белгиленүүчү ар кандай фразалар. Эки билдирүү 'жана' менен бириктирилгенде, сизде а болот бириктирүү . үчүн байланыштар , татаал билдирүү чындык болушу үчүн эки билдирүү тең чындык болушу керек. Сиздин эки билдирүүңүз "же" менен айкалышканда, сизде бир болот дизъюнкция.

Ошо сыяктуу эле, Pvq эмнени билдирет? v: Бул билдирет "же." Сүйлөм ( pvq ) туура, эгерде p чын болсо, же q чын болсо, же (p^q) чын болсо гана. ->: Бул билдирет "туулат." (p->q) сүйлөм, эгерде p жалган болсо же q чын болсо гана туура болот (((~p)vq) сүйлөм чын).

Ошондой эле билүү керек, дисзюнкциянын эрежеси кандай же?

The эрежелер нын ажыратуучу силлогизм менен толуктоо түз эки сүйлөмдүн а аркылуу байланышып турганынан келип чыгат ДИЗЪЮНКЦИЯ , ырасталып жаткан нерсе, жок эле дегенде, дисъюнкттардын бири чындык. Натыйжада, эгерде биз дизюнкттардын бири жалган экенин билсек, экинчиси дагы билебиз ажыратылган чын болушу керек.

Чындык функционалдык аргумент деген эмне?

Обзор. Логикалык туташтыргыч болуп саналат чындык - функционалдык Эгерде чындык -татаал сүйлөмдүн мааниси а функция ныкы чындык - анын көмөкчү сүйлөмдөрүнүн мааниси. туташтыргычтар классы болуп саналат чындык - функционалдык анын ар бир мучесу болсо. Алардын баалуулуктары ар кандай чындык - сыяктуу баалуулуктар аргумент адатта тарабынан берилет чындык столдор.

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