výuka

Petr Olmer, MFF UK

30.04.2007

10. cvičení (30. dubna 2007)

> Cvičení z logiky
Dokazatelnost formulí v predikátové logice.

Specifikace, duální specifikace, zavedení kvantifikátorů, distribuce kvantifikátorů.

Ještě jednou věta o dedukci.

příklady  

Petr Olmer, 30.04.2007, 9:00:00, trvalý odkaz,

Komentáře (0)

Přidání komentáře