If/then билдирүүлөрүн кантип жокко чыгарасыз?
If/then билдирүүлөрүн кантип жокко чыгарасыз?

Video: If/then билдирүүлөрүн кантип жокко чыгарасыз?

Video: If/then билдирүүлөрүн кантип жокко чыгарасыз?
Video: Курс валют Рубль, Доллар,Тенге, Евро, МОССОВЕТ 17 март саат 17:30 ка карата 2024, Ноябрь
Anonim

Жок кылуу . Кээде математикада берилген математикага карама-каршы келген нерсени аныктоо маанилүү билдирүү болуп саналат. Бул, адатта, деп аталат " жокко чыгаруу " а билдирүү . Бир нерсени эстен чыгарбоо керек эгерде а билдирүү чын, анда анын четке кагуу жалган (жана эгерде а билдирүү жалган, анда анын четке кагуу чын).

Ушундай жол менен, IF THEN билдирүүсүн жокко чыгаруу деген эмне?

Жок кылуу a Шарттуу аныктамасы боюнча p → q жалган эгерде , жана бир гана эгерде , анын гипотезасы, p, чындык жана анын корутундусу, q, туура эмес. Мындан улам келип чыгат четке кагуу ичинен" Эгерде б анда q" логикалык жактан "p жана notq" менен барабар.

Ошондой эле билиңиз, сүйлөмдү кантип жокко чыгарасыз? The Жок кылуу Эреже: Англис тилинде, бир нерсе туура эмес деп ырастоо үчүн, сиз а түзөсүз терс сүйлөм оң маанидеги биринчи жардамчы этиштен кийин эмес деген сөздү кошуу менен өкүм.

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

Ачык сүйлөм – а билдирүү анда өзгөрмө бар жана өзгөрмөнүн ордуна келген мааниге жараша чын же жалган болуп калат. четке кагуу билдирүү p "p эмес", "~p" менен символдоштурулган. А билдирүү жана аны жокко чыгаруу карама-каршы чындык баалуулуктарына ээ.

Сүйлөмдү жокко чыгаруу деген эмне?

Колдонуу жокко чыгаруу ичинде өкүм . этиш. Жок кылуу четке кагуу, жалган далилдөө же бир нерсенин кереги жок кылуу катары аныкталат. Мисалы үчүн жокко чыгаруу теориянын жалган экенин далилдөө үчүн изилдөө жүргүзүү болуп саналат. Мисалы үчүн жокко чыгаруу кол чатырга болгон муктаждыкты жоюу үчүн.

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