Tautologie (logica): verschil tussen versies
Verwijderde inhoud Toegevoegde inhoud
k Bot: corrigeren verouderde syntax in formules - mw:Extension:Math/Roadmap |
k →Construeren van tautologieën: Logies |
||
Regel 24:
:<math>(P \rightarrow Q) \land (Q \rightarrow R) \rightarrow (P \rightarrow R)</math> ([[Transitiviteit (wiskunde)|transitiviteit]])
:<math>(P \rightarrow Q) \
:<math>(P \rightarrow Q) \
:<math>(P \rightarrow (Q \rightarrow R)) \rightarrow (Q \rightarrow (P \rightarrow R))</math>
:<math>(P \rightarrow (Q \rightarrow R)) \rightarrow (P \wedge Q \rightarrow R)</math>
| |||