Diferència entre revisions de la pàgina «Addició lògica»
De Wikisofia
(Es crea la pàgina amb «{{ConcepteWiki}} En lògica d'enunciats, regla d'inferència que permet obtenir un enunciat compost, de la forma <math>P\vee Q<...».) |
m (Text de reemplaçament - "inferència, regles de" a "inferència, regles d'") |
||
| Línia 1: | Línia 1: | ||
{{ConcepteWiki}} | {{ConcepteWiki}} | ||
| − | En [[lògica|lògica d'enunciats]], [[inferència, regles | + | En [[lògica|lògica d'enunciats]], [[inferència, regles d'|regla d'inferència]] que permet obtenir un enunciat compost, de la forma <math>P\vee Q</math> a partir d'un solament dels seus elements disyuntos (Per exemple: Si és veritat que «plou», també ho és «plou o fa sol», «plou o fa fred»). |
<center>[[File:67.png|400px]]</center> | <center>[[File:67.png|400px]]</center> | ||
Revisió del 23:20, 20 març 2015
En lògica d'enunciats, regla d'inferència que permet obtenir un enunciat compost, de la forma [math]\displaystyle{ P\vee Q }[/math] a partir d'un solament dels seus elements disyuntos (Per exemple: Si és veritat que «plou», també ho és «plou o fa sol», «plou o fa fred»).
L'addició entre classes és la suma lògica.