Formuła logiczna: Różnice pomiędzy wersjami
| [wersja nieprzejrzana] | [wersja nieprzejrzana] |
Usunięta treść Dodana treść
m Interwiki +en,zh |
m poprawa linków |
||
Linia 1:
'''Formuła logiczna''' to określenie dozwolonego wyrażenia w wielu systemach [[logika matematyczna|logicznych]], m.in. w [[rachunek kwantyfikatorów|rachunku kwantyfikatorów]] oraz w [[rachunek zdań|rachunku zdań]].
==Definicje==
| |||