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 - "2026J.png" a "2026JCAT.png") |
|||
| (Hi ha 8 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> | + | | <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:2026HCAT.png|400px]] | | Lleis de la conjunció i disjunció || [[File:2026HCAT.png|400px]] | ||
| Línia 25: | Línia 25: | ||
| Lleis addicionals de la disjunció i conjunció || [[File:2026JCAT.png|400px]] | | 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
| Lleis de la implicació | 
|
| Lleis de la conjunció | 
|
| Lleis de la disjunció | 
|
| Lleis de la negació | 
|
| 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 | 
|