formule

Logika, reprezentace spojení, vztahů, struktur existujících mezi předměty, jevy, procesy za pomoci konečné posloupnosti symbolů, které je možno spojovat vymezenými operacemi. Též vyjádření jakéhokoli vědeckého zákona pomocí znaků přijatých v příslušné vědě.

Vytvořeno: 14. 3. 2000
Aktualizováno: 28. 8. 2006
Autor: -red-

Odkazující hesla: supoziční důkaz.