Algebra 1/Insiemi Logica Relazioni/Logica di base: differenze tra le versioni

Contenuto cancellato Contenuto aggiunto
Riga 459:
 
{| class="wikitable" style="margin:auto; width: 70%; text-align: center;"
|align="center"|A: Giudizio universale affermativo
|align="center"|<math>\forall x\in Q</math>, <math>P(x)</math> <br /><math>P</math> è vera per ogni <math>x</math>
|align="center"|I: Giudizio particolare affermativo
|align="center"|<math>\exists n\in\mathbb{N}\mid D(n)</math>. <br /> <math>D</math> è vera per almeno un <math>n</math>
|-
|align="center"|E: Giudizio universale negativo
|align="center"|*<spanmath>\forall n\in\mathbb{N}</math>P, <br /> <math>\neg D(n)</math><br /><math>D</math> è verafalsa per ogni <math>xn</math></span>
|align="center"|O: Giudizio particolare negativo
|align="center"|*<spanmath>\exists x\in Q\mid\neg P(x)</math>. <br /> <math>DP</math> è verafalsa per almeno un <math>nx</math></span>
|-
|align="center"|
|align="center"|
|align="center"|
|align="center"|
|-
|align="center"|
|align="center"|<math>\forall n\in\mathbb{N}</math>, <math>\neg D(n)</math>
|align="center"|
|align="center"|<math>\exists x\in Q\mid\neg P(x)</math>
|-
|align="center"|
|align="center"|*<span><math>D</math> è falsa per ogni <math>n</math></span>
|align="center"|
|align="center"|*<span><math>P</math> è falsa per almeno un <math>x</math></span>
|-
|align="center"|
|align="center"|
|align="center"|
|align="center"|
|}