Ekvivalentsidele

Kasutatud lausetes (Biograafia)

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.

Kirjapilt.