"ekvivalentsidele" - 1 õppematerjal

3-Hulgateooria valemid - põhjalik konspekt

Järeldus on järeldamise n-ö teine operand (eeldus aga – esimene operand). • Implikatsiooni WÉM klassikaliselt omistatud tõeväärtuseks on vale ainult ühel juhul neljast – nimelt siis, kui eeldusele klassikaliselt omistatud tõeväärtuseks on õige ning samas järeldusele klassikaliselt omistatud tõeväärtuseks on vale. Ülejäänud kolmel juhul on implikatsiooni ehk järeldamise klassikaliselt omistatud tõeväärtuseks õige.  Hulgateooria valemite ekvivalentsidele klassikalisel viisil omistatud tõeväärtused • Kui W ja M on hulgateooria valemite tähised, siis järgnevad kirjutis WÛM tähistab valemite W ning M loogilist ekvivalentsi (ehk lühidalt – ekvivalentsi) ehk loogilist samaväärsust • Ekvivalentsi WÛM klassikaliselt omistatud tõeväärtuseks on õige ainult kahel juhul neljast – nimelt siis, kui valemile W klassikaliselt omistatud tõeväärtus on sama, kui valemile M klassikaliselt omistatud tõeväärtus