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<...».) |
|||
(Hi ha una revisió intermèdia del mateix usuari que no es mostren) | |||
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 disjunts (Per exemple: Si és veritat que «plou», també ho és «plou o fa sol», «plou o fa fred»). |
− | |||
+ | '''<center>Addició lógica:<math> \frac{p}{p\vee q} , \frac{q}{q\vee p}</math></center>''' | ||
L'addició entre [[classe (lògica)|classes]] és la [[suma lògica|suma lògica]]. | L'addició entre [[classe (lògica)|classes]] és la [[suma lògica|suma lògica]]. |
Revisió de 14:38, 25 set 2018
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 disjunts (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.