Differences
This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revisionNext revision | Previous revision |
| public:t-622-arti-14-1:lab_4_-_propositional_logic [2014/02/19 09:20] – [Hints] stephan | public:t-622-arti-14-1:lab_4_-_propositional_logic [2024/04/29 13:33] (current) – external edit 127.0.0.1 |
|---|
| - <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> |
