Mostra la font per a Regles del càlcul de la lògica d'enunciats

{{ConcepteWiki}}
<center>'''Regles bàsiques del càlcul de la lògica d'enunciats'''</center>


<center>'''D'introducció (I)  /  D'eliminació (I)'''</center>

{| class="wikitable"
|-
| Lleis de la implicació || [[File:2026BCAT.png|400px]]
|-
| Lleis de la conjunció || [[File:2026CCAT.png|400px]]
|-
| Lleis de la disjunció || [[File:2026DCAT.png|400px]]
|-
| Lleis de la negació || [[File:2026ICAT.png|400px]]
|-
| <center>'''REGLES DERIVADES DEL CÀLCUL D'ENUNCIATS'''</center> || 
|-
| Lleis de la implicació || [[File:2026GCAT.png|400px]]
|-
| Lleis de la conjunció i disjunció || [[File:2026HCAT.png|400px]]
|-
| Lleis de la negació || [[File:2026ICAT.png|400px]]
|-
| Lleis addicionals de la disjunció i conjunció || [[File:2026JCAT.png|400px]]
|-
| Lleis del bicondicional || [[File:2026KCAT.png|400px]]
|-
| Lleis derivades de les definicions || [[File:2026LCAT.png|400px]]
|-
| Lleis de De Morgan || [[File:2026MCAT.png|400px]]
|}

{{Etiqueta
|Etiqueta=Lògica
}}
{{InfoWiki}}