Samuel: Ny sida: Vi börjar med att undersöka om $x\geq 0\wedge x>1\Rightarrow x >1$ gäller. $\wedge$ betyder att båda utsagorna gäller, särskilt $x>1$ . Men det är pre...

Samuel — Mon, 11 Jun 2012 14:01:15 GMT

Ny sida: Vi börjar med att undersöka om <math>x\geq 0\wedge x>1\Rightarrow x >1</math> gäller. <math>\wedge</math> betyder att båda utsagorna gäller, särskilt <math>x>1</math>. Men det är pre...

Ny sida

Vi börjar med att undersöka om <math>x\geq 0\wedge x>1\Rightarrow x >1</math> gäller. <math>\wedge</math> betyder att båda utsagorna gäller, särskilt <math>x>1</math>. Men det är precis vad vi ska undersöka om det medför. Därför gäller <math>x\geq 0\wedge x>1\Rightarrow x >1</math>. Gäller även <math>x\geq 0\wedge x>1\Leftarrow x >1</math>? Genom samma resonemang som i a) så ser vi att <math>x\geq 0\Leftarrow x >1</math>. Uppenbarligen gäller även <math> x>1\Leftarrow x >1</math>. Eftersom <math>x>1</math> medför båda utsagorna så gäller <math>x\geq 0\wedge x>1\Leftarrow x >1</math> per definition. Vi vet nu att <math>x\geq 0\wedge x>1\Rightarrow x >1</math> och <math>x\geq 0\wedge x>1\Leftarrow x >1</math> är sanna; detta innebär definitionsmässigt att utsagan <math>x\geq 0\wedge x>1\Leftrightarrow x >1</math> är sann.

Lösning 2.1.1c - Versionshistorik

Samuel: Ny sida: Vi börjar med att undersöka om x\geq 0\wedge x>1\Rightarrow x >1 gäller. \wedge betyder att båda utsagorna gäller, särskilt x>1. Men det är pre...

Samuel: Ny sida: Vi börjar med att undersöka om $x\geq 0\wedge x>1\Rightarrow x >1$ gäller. $\wedge$ betyder att båda utsagorna gäller, särskilt $x>1$ . Men det är pre...