Zdanie logiczne: Różnice pomiędzy wersjami
| [wersja przejrzana] | [wersja przejrzana] |
Usunięta treść Dodana treść
→Definicja: zamiana pierwszych s0s1 na q0q1 |
usunięto szablon |
||
Linia 73:
* [[teoria modeli]]
* [[Język (logika)|język logiczny]]
[[Kategoria:Logika matematyczna]]
| |||