wtw

Polish

Pronunciation
  • IPA(key): /ˈvu.tɛ.vu/

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
      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
      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.
This article is issued from Wiktionary. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.