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

Revisió de 17:44, 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ó
Lleis de la conjunció
Lleis de la disjunció
Lleis de la negació
REGLES DERIVADES DEL CÀLCUL D'ENUNCIATS
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

@@ Línia 9: / Línia 9: @@
 | Lleis de la implicació || [[File:2026BCAT.png|400px]]
 |-
-| Lleis de la conjunció || [[File:2026C.png|400px]]
+| Lleis de la conjunció || [[File:2026CCAT.png|400px]]
 |-
-| Lleis de la disjunció || [[File:2026D.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>'''REGLES DERIVADES DEL CÀLCUL D'ENUNCIATS'''</center> ||
 |-
-| Lleis de la implicació || [[File:2026G.png|400px]]
+| Lleis de la implicació || [[File:2026GCAT.png|400px]]
 |-
-| Lleis de la conjunció i disjunció || [[File:2026H.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:2026JCAT.png|400px]]
 |-
-| Lleis del bicondicional || [[File:2026K.png|400px]]
+| Lleis del bicondicional || [[File:2026KCAT.png|400px]]
 |-
-| Lleis derivades de les definicions || [[File:2026L.png|400px]]
+| Lleis derivades de les definicions || [[File:2026LCAT.png|400px]]
 |-
-| Lleis de De Morgan || [[File:2026M.png|400px]]
+| Lleis de De Morgan || [[File:2026MCAT.png|400px]]
 |}