Polish

Conjunction

wtw

1. (mathematics, logic) Abbreviation of wtedy i tylko wtedy; iff (if and only if)
   • 1994, Jacek Hawranek, Aspekty algebraiczne systemu modalnego Gödla-Löba (ISBN 9788322911426)

     Twierdzenie. Dla dowolnej formuły A, Grz ⊢ A wtw GL ⊢ tA.

   • 2004, Alina Motycka, Seweryn Blandzi, Spotkania platońskie: w dobie rozumu rozproszonego wracamy do korzeni (ISBN 9788373880450)

     W obrębie nauki i ontologii twierdzenie jest prawdziwe wtw gdy jest tak, jak ono głosi, tj. gdy zachodzi relacja spetniania, bo pojęcie spełniania jest zdefiniowane w oparciu o konwencję T. Tarskiego.