User Tools

Site Tools


public:t-622-arti-14-1:lab_4_-_propositional_logic

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

public:t-622-arti-14-1:lab_4_-_propositional_logic [2014/02/19 09:20]
stephan [Hints]
public:t-622-arti-14-1:lab_4_-_propositional_logic [2014/02/19 09:22] (current)
stephan
Line 28: Line 28:
   - <latex>$\{ \alpha \Rightarrow \beta, \alpha \} \: \vdash \: \beta $</latex>   - <latex>$\{ \alpha \Rightarrow \beta, \alpha \} \: \vdash \: \beta $</latex>
   - <latex>$\{ \alpha \Rightarrow \beta, \neg \beta \} \: \vdash \: \neg \alpha $</latex>   - <latex>$\{ \alpha \Rightarrow \beta, \neg \beta \} \: \vdash \: \neg \alpha $</latex>
-  - <latex>$\{ \alpha \land \beta, . \} \: \vdash \: \alpha $</latex>+  - <latex>$\{ \alpha \land \beta \} \: \vdash \: \alpha $</latex>
   - <latex>$\{ \alpha , \beta \} \: \vdash \: \alpha \land \beta $</latex>   - <latex>$\{ \alpha , \beta \} \: \vdash \: \alpha \land \beta $</latex>
-  - <latex>$\{ \alpha , . \} \: \vdash \: \alpha \lor \beta $</latex>+  - <latex>$\{ \alpha \} \: \vdash \: \alpha \lor \beta $</latex>
   - <latex>$\{ \alpha \lor \beta, \neg \alpha \} \: \vdash \: \beta $</latex>   - <latex>$\{ \alpha \lor \beta, \neg \alpha \} \: \vdash \: \beta $</latex>
   - <latex>$ \alpha \Leftrightarrow \beta \: \equiv \: \beta \Leftrightarrow \alpha $</latex>   - <latex>$ \alpha \Leftrightarrow \beta \: \equiv \: \beta \Leftrightarrow \alpha $</latex>
/var/www/ailab/WWW/wiki/data/pages/public/t-622-arti-14-1/lab_4_-_propositional_logic.txt ยท Last modified: 2014/02/19 09:22 by stephan