Accions

Diferència entre revisions de la pàgina «Regles de Gentzen»

De Wikisofia

m (Text de reemplaçament - "2026K.png" a "2026KCAT.png")
 
(Hi ha 3 revisions intermèdies del mateix usuari que no es mostren)
Línia 15: Línia 15:
 
| Lleis de la negació || [[File:2026ICAT.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:2026HCAT.png|400px]]
 
| Lleis de la conjunció i disjunció || [[File:2026HCAT.png|400px]]
Línia 27: Línia 27:
 
| Lleis del bicondicional || [[File:2026KCAT.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]]
 
|}
 
|}
  
 
{{Etiqueta}}
 
{{Etiqueta}}
 
{{InfoWiki}}
 
{{InfoWiki}}

Revisió de 17:46, 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
REGLES DERIVADES DEL CÀLCUL D'ENUNCIATS
Lleis de la implicació 2026GCAT.png
Lleis de la conjunció i disjunció 2026HCAT.png
Lleis de la negació 2026ICAT.png
Lleis addicionals de la disjunció i conjunció 2026JCAT.png
Lleis del bicondicional 2026KCAT.png
Lleis derivades de les definicions 2026LCAT.png
Lleis de De Morgan 2026MCAT.png