Formule (logika): Porovnání verzí
Smazaný obsah Přidaný obsah
další definice (vydělením z článku Hilbertovský kalkulus, potažmo Axiom) |
m robot přidal: ja:論理式 |
||
Řádek 44:
[[en:Formula (mathematical logic)]]
[[fr:
[[ja:論理式]]
[[pl:Formuła logiczna]]
[[zh:公式 (数理逻辑)]]
|