Кандай сунуштар логикалык жактан эквиваленттүү?
Кандай сунуштар логикалык жактан эквиваленттүү?

Video: Кандай сунуштар логикалык жактан эквиваленттүү?

Video: Кандай сунуштар логикалык жактан эквиваленттүү?
Video: #5 Эң татаал логикалык суроолор. Өз акылыңдын тереңдигин текшерип көр 2024, Март
Anonim

The сунуштар барабар же логикалык жактан эквиваленттүү эгерде алар ар дайым бирдей чындыкка ээ болсо. Башкача айтканда, p жана q болуп саналат логикалык жактан эквиваленттүү эгер q чын болгондо р чын болсо жана тескерисинче, ал эми q туура болгон учурда p жалган болсо жана тескерисинче. Эгерде p жана q болсо логикалык жактан эквиваленттүү , биз p = q деп жазабыз.

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

Логикалык эквиваленттүүлүк эки билдирүү бирдей чындыкка ээ болгондо пайда болот. Бул билдирет бир билдирүү өз контекстинде чын болушу мүмкүн, ал эми экинчи билдирүү да өз контекстинде чындык болушу мүмкүн, экөө тең бирдей мааниге ээ болушу керек.

Ошондой эле, Контрапозитивдүү логикалык жактан эквиваленттүүбү? Тагыраак айтканда, контрпозитивдүү "эгерде А, анда В" деген сөздүн "эгерде В болбосо, анда А эмес". Билдирүү жана анын контрпозитивдүү болуп саналат логикалык жактан эквиваленттүү , маанисинде, эгерде билдирүү чын болсо, анда анын контрпозитивдүү чындык жана тескерисинче.

Адамдар дагы сурашат, P жана Q логикалык жактан эмнеге барабар?

Аныктама боюнча, б q анын гипотезасы, эгерде жана эгерде гана жалган болсо, б , чындык жана анын корутундусу, q , жалган. Шарттуу сүйлөмдүн карама-каршы жана тескериси логикалык жактан эквиваленттүү бири-бирине, бирок экөө тең эмес логикалык жактан эквиваленттүү шарттуу билдирүүгө.

Математикадагы логикалык эквиваленттүүлүк деген эмне?

Логикалык эквиваленттүүлүк сунуштагы эки сүйлөмдүн же сүйлөмдүн ортосундагы мамиленин бир түрү логика же буль алгебра. Байланыш оозеки түрдө "эгер жана гана болсо" деп которулат жана солго жана оңго караган кош сызык, кош жебе менен символдоштурулган ().

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