Search
This is an old revision of the document!
Náměty na cvičení, která vám pomohou připravit se ke zkoušce.
Projděte si úlohy z výrokové i predikátové logiky, které byly řešeny na cvičení nebo ukazovány na přednášce, včetně těch nejjednodušších.
V případě, že máte problémy:
eprover --cnf soubor
#!/bin/bash ( cat <<EOF set(raw). set(binary_resolution). set(print_kept). set(print_gen). EOF tptp_to_ladr ) | prover9
Výstup z nástroje porovnejte se svými pokusy a srovnejte s teorií. Zkuste znovu danou část provést sami, případně zvolte jednodušší úlohu.