public:t-622-arti-15-1:lab_4_-_propositional_logic
Differences
This shows you the differences between two versions of the page.
| Next revision | Previous revision | ||
| public:t-622-arti-15-1:lab_4_-_propositional_logic [2015/02/24 15:46] – created stephan | public:t-622-arti-15-1:lab_4_-_propositional_logic [2024/04/29 13:33] (current) – external edit 127.0.0.1 | ||
|---|---|---|---|
| Line 26: | Line 26: | ||
| * When doing the inference do not think about the meaning of the symbols or which things are true and which are false! Just mechanically match the patterns of the inference rules with the sentences in your knowledge base to generate new sentences. | * When doing the inference do not think about the meaning of the symbols or which things are true and which are false! Just mechanically match the patterns of the inference rules with the sentences in your knowledge base to generate new sentences. | ||
| * Equivalences can be used as inference rules in both directions. E.g., < | * Equivalences can be used as inference rules in both directions. E.g., < | ||
| - | * You can use the latex template on MySchool for your answers. If you do not have Latex installed, you can use [[https:// | + | * You can use the latex template on MySchool for your answers. If you do not have Latex installed, you can use [[https:// |
| ===== Inference Rules and Equivalences ===== | ===== Inference Rules and Equivalences ===== | ||
/var/www/cadia.ru.is/wiki/data/attic/public/t-622-arti-15-1/lab_4_-_propositional_logic.1424792800.txt.gz · Last modified: 2024/04/29 13:32 (external edit)