Diferència entre revisions de la pàgina «Regles del càlcul de la lògica d'enunciats»
De Wikisofia
(Es crea la pàgina amb «{{ConcepteWiki}} <center>'''Regles bàsiques del càlcul de la lògica d'enunciats'''</center> <center>'''D'introducció (I) / D'eliminació (I)'''</center>...».) |
|||
(Hi ha 14 revisions intermèdies del mateix usuari que no es mostren) | |||
Línia 7: | Línia 7: | ||
{| class="wikitable" | {| class="wikitable" | ||
|- | |- | ||
− | | Lleis de la implicació || [[File: | + | | Lleis de la implicació || [[File:2026BCAT.png|400px]] |
|- | |- | ||
− | | Lleis de la conjunció || [[File: | + | | Lleis de la conjunció || [[File:2026CCAT.png|400px]] |
|- | |- | ||
− | | Lleis de la disjunció || [[File: | + | | Lleis de la disjunció || [[File:2026DCAT.png|400px]] |
|- | |- | ||
− | | Lleis de la negació || [[File: | + | | Lleis de la negació || [[File:2026ICAT.png|400px]] |
|- | |- | ||
− | | <center> | + | | <center>'''REGLES DERIVADES DEL CÀLCUL D'ENUNCIATS'''</center> || |
|- | |- | ||
− | | Lleis de la implicació || [[File: | + | | Lleis de la implicació || [[File:2026GCAT.png|400px]] |
|- | |- | ||
− | | Lleis de la conjunció i disjunció || [[File: | + | | 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: | + | | Lleis addicionals de la disjunció i conjunció || [[File:2026JCAT.png|400px]] |
|- | |- | ||
− | | Lleis del bicondicional || [[File: | + | | Lleis del bicondicional || [[File:2026KCAT.png|400px]] |
|- | |- | ||
− | | Lleis derivades de les definicions || [[File: | + | | Lleis derivades de les definicions || [[File:2026LCAT.png|400px]] |
|- | |- | ||
− | | Lleis de De Morgan || [[File: | + | | Lleis de De Morgan || [[File:2026MCAT.png|400px]] |
|} | |} | ||
Revisió de 17:44, 18 nov 2018