Diferència entre revisions de la pàgina «Disjunció»
De Wikisofia
m (bot: -veure exemple +veg. exemple) |
|||
| Línia 1: | Línia 1: | ||
{{ConcepteWiki}} | {{ConcepteWiki}} | ||
| − | [[connectors, connectives|Connectiva]] diàdica amb el valor de la «o» inclusiva, o no excloent. El seu símbol és | + | [[connectors, connectives|Connectiva]] diàdica amb el valor de la «o» inclusiva, o no excloent. El seu símbol és: |
| + | |||
| + | '''<center><big><math>P\vee Q</math></big></center>''' | ||
| − | |||
i es llegeix «P o Q o tots dos», i significa «o una cosa o l'altra, o ambdues». La seva definició per les [[lògica|taules de veritat]] és la següent: | i es llegeix «P o Q o tots dos», i significa «o una cosa o l'altra, o ambdues». La seva definició per les [[lògica|taules de veritat]] és la següent: | ||
| − | [[File: | + | |
| + | |||
| + | [[File:1128b.png|400px]] | ||
<div class='mw-collapsible mw-collapsed'> | <div class='mw-collapsible mw-collapsed'> | ||
| Línia 18: | Línia 21: | ||
[[File:1128C.png|400px]] | [[File:1128C.png|400px]] | ||
| − | i que es llegeix «P o | + | i que es llegeix «P o Q, però no tots dos», l'expressa la següent taula de veritat: |
[[File:1128D.png|400px]] | [[File:1128D.png|400px]] | ||
Revisió del 11:07, 24 set 2018
Connectiva diàdica amb el valor de la «o» inclusiva, o no excloent. El seu símbol és:
i es llegeix «P o Q o tots dos», i significa «o una cosa o l'altra, o ambdues». La seva definició per les taules de veritat és la següent:
Si p = «Ana és bona» i q = «Ana sembla bona», l'enunciat «Ana és bona o ho sembla» és veritat si resulta que és bona o si només ho sembla, o si és bona i, a més, ho sembla.
El sentit d'una disjunció entesa com «o» excloent, el símbol de la qual és
i que es llegeix «P o Q, però no tots dos», l'expressa la següent taula de veritat:
on «P o Q» significa «P o Q, però no tots dos alhora».
La lògica prefereix l'ús de la disjunció amb el sentit d'«o» inclusiva, mentre que el llenguatge ordinari recorre amb major freqüència a la «o» excloent: «culpable o innocent»; «o vas primer tu o vaig jo».
La «o» excloent, amb el sentit de «A o B, però no tots dos alhora» pot també expressar-se amb la fórmula
la taula del qual de veritat coincideix amb la de
