Revisió del 18:36, 18 oct 2019 modifica Alvaro Vidal-Abarca (discussió \| contribucions) Autopatrullats 19.767 edits m →‎Exemple: arreglo visualització mòbil, redacció, format Etiquetes: Edita des de mòbil Edició web per a mòbils Advanced mobile edit ← Edició anterior		Revisió del 18:43, 18 oct 2019 modifica desfés Alvaro Vidal-Abarca (discussió \| contribucions) Autopatrullats 19.767 edits m →‎Relació quantificador universal i el quantificador existencial: format, redacció Etiquetes: Edita des de mòbil Edició web per a mòbils Advanced mobile edit Edició següent →
Línia 15: == Relació quantificador universal i el quantificador existencial == Donada una expressió ''P ''(''x''), segons el quantificador universal es pot transformar en una altra equivalent amb el quantificador existencial: : <math> \forall x \P, P(x) \,; \Leftrightarrow \; \lnot \exists x \, \ lnot P (x) \, </math> que podríem llegir: sies el mateix dir que per a tot ''x'' es compleix ''P ''(''x''), que dir que no hi ha un ''x'' que no compleixi ''P ''(''x''). Segons l'exemple anterior: : <math> \forall x \in A \; \rightarrow \; x \in B \, </math> Per a tot ''x'' que pertany a ''A'' implica que ''x'' pertany a ''B'', que podem expressar: : <math> \lnot \exists x \in A \; \rightarrow \; x \notin B \, </math> NoSi no hi ha un ''x'' de ''A'', ~~i que~~llavors ''x'' no ~~aquest en~~pertany a ''B ''. == Vegeu també ==

Quantificador universal: diferència entre les revisions