sekvenční kalkul
Logika, varianta kalkulu přirozené dedukce, zavedená G. Gentzenem roku 1934. Pro sekvenční kalkul, v němž se z množiny formulí X, tzv. antecedentu, vyvozuje množina formulí Y, tzv. sukcedent, postačují pravidla pro zavádění výrokotvorných funktorů a kvantifikátorů.
Vytvořeno:
14. 3. 2000
Aktualizováno:
30. 8. 2007
Autor: -red-
Vyzkoušejte si s přáteli Kvízy encyklopedie CoJeCo.cz!