Diskret matematik - Logik och mängdlära

$\nexists x : x \cdot 0 = 1 \wedge x \in \mathbb{R}$ alternativt

$\nexists x \in \mathbb{R} : x \cdot 0 = 1$

Tigster skrev:

$\nexists x : x \cdot 0 = 1 \wedge x \in \mathbb{R}$ alternativt

$\nexists x \in \mathbb{R} : x \cdot 0 = 1$

Behöver inte man lägga till predikatet P(x)? 

Bryan skrev:

Tigster skrev:

$\nexists x : x \cdot 0 = 1 \wedge x \in \mathbb{R}$ alternativt

$\nexists x \in \mathbb{R} : x \cdot 0 = 1$

Behöver inte man lägga till predikatet P(x)? 

Då behöver du väl bara skriva $\nexists x \in \mathbb{R}\;P(x)$? Om du definierar predikatet att vara egenskapen du söker. Någon annan får väldigt gärna rätta mig. :)

EDIT: Det finns inte ett reellt x med egenskapen P. 

Tigster skrev:

Bryan skrev:

Visa föregående citat

Tigster skrev:

$\nexists x : x \cdot 0 = 1 \wedge x \in \mathbb{R}$ alternativt

$\nexists x \in \mathbb{R} : x \cdot 0 = 1$

Behöver inte man lägga till predikatet P(x)? 

Då behöver du väl bara skriva $\nexists x \in \mathbb{R}\;P(x)$? Om du definierar predikatet att vara egenskapen du söker. Någon annan får väldigt gärna rätta mig. :)

 

EDIT: Det finns inte ett reellt x med egenskapen P. 

Så, $\nexists x_n\in \mathrm{ℝ}:P\left(x_n\right)$ where $P\left(x_n\right)=0\times x_n=1$. Låter detta mer korrekt formulerat? 

Jag hade nöjt mig så åtminstone. Sen är jag inte helt säker på om det är rätt. :|