Sanakirja
Tekoälykääntäjä
| Käännös | |
|---|---|
| 1. | |
- Wtw on sanan wtedy i tylko wtedy lyhenne (matematiikka).
Esimerkit
- Twierdzenie. Dla dowolnej formuły A, Grz ⊢ A wtw GL ⊢ tA.
- 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.