wtw

Definicje

abbreviation of wtedy i tylko wtedy; iff (if and only if)

abbreviation, alt-of

Odpowiedniki

Przykłady

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

For any given formala A, grz ⊢ a iff GL ⊢ tA.

“W obrębie nauki i ontologii twierdzenie jest prawdziwe wtw gdy jest tak, jak ono głosi, […]”

In the field of science and ontology the statement is true iff it is how it reads, […]

Poziom CEFR