Diferència entre revisions de la pàgina «Regles de Gentzen»
De Wikisofia
m (Text de reemplaçament - "2026H.png" a "2026HCAT.png") |
m (Text de reemplaçament - "2026I.png" a "2026ICAT.png") |
||
| Línia 13: | Línia 13: | ||
| Lleis de la disjunció || [[File:2026DCAT.png|400px]] | | Lleis de la disjunció || [[File:2026DCAT.png|400px]] | ||
|- | |- | ||
| − | | Lleis de la negació || [[File: | + | | Lleis de la negació || [[File:2026ICAT.png|400px]] |
|- | |- | ||
| <center>[[File:2026F.png|400px]]</center> || | | <center>[[File:2026F.png|400px]]</center> || | ||
| Línia 21: | Línia 21: | ||
| Lleis de la conjunció i disjunció || [[File:2026HCAT.png|400px]] | | Lleis de la conjunció i disjunció || [[File:2026HCAT.png|400px]] | ||
|- | |- | ||
| − | | Lleis de la negació || [[File: | + | | Lleis de la negació || [[File:2026ICAT.png|400px]] |
|- | |- | ||
| Lleis addicionals de la disjunció i conjunció || [[File:2026J.png|400px]] | | Lleis addicionals de la disjunció i conjunció || [[File:2026J.png|400px]] | ||
Revisió del 17:31, 18 nov 2018
| Lleis de la implicació | 
|
| Lleis de la conjunció | 
|
| Lleis de la disjunció | 
|
| Lleis de la negació | 
|
 |
|
| Lleis de la implicació | 
|
| Lleis de la conjunció i disjunció | 
|
| Lleis de la negació |
|
| Lleis addicionals de la disjunció i conjunció | 
|
| Lleis del bicondicional | 
|
| Lleis derivades de les definicions | 
|
| Lleis de De Morgan | 
|