Accions

Diferència entre revisions de la pàgina «Regles del càlcul de la lògica d'enunciats»

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:2026I.png|400px]]
+
| 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:2026I.png|400px]]
+
| 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

Regles bàsiques del càlcul de la lògica d'enunciats


D'introducció (I) / D'eliminació (I)
Lleis de la implicació 2026BCAT.png
Lleis de la conjunció 2026CCAT.png
Lleis de la disjunció 2026DCAT.png
Lleis de la negació 2026ICAT.png
2026F.png
Lleis de la implicació 2026G.png
Lleis de la conjunció i disjunció 2026HCAT.png
Lleis de la negació 2026ICAT.png
Lleis addicionals de la disjunció i conjunció 2026J.png
Lleis del bicondicional 2026K.png
Lleis derivades de les definicions 2026L.png
Lleis de De Morgan 2026M.png