výuka

Petr Olmer, MFF UK

3.04.2006

7. cvičení (3. dubna 2006)

Cvičení z logiky 2005/6
Pravdivost formulí

Pravidvost formulí v realizacích, nezávisle na realizacích, vyplývání formulí.

příklady

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

Komentáře

Přidání komentáře...

Vaše jméno:


Váš e-mail:


Text: