To print higher-resolution math symbols, click the Hi-Res Fonts for Printing button on the jsMath control panel.
No jsMath TeX fonts found -- using image fonts instead.
These may be slow and might not print well.
Use the jsMath control panel to get additional information.
Vi börjar med att undersöka om x0x1x1 gäller. betyder att båda utsagorna gäller, särskilt x1. Men det är precis vad vi ska undersöka om det medför. Därför gäller x0x1x1. Gäller även x0x1x1? Genom samma resonemang som i a) så ser vi att x0x1. Uppenbarligen gäller även x1x1. Eftersom x1 medför båda utsagorna så gäller x0x1x1 per definition. Vi vet nu att x0x1x1 och x0x1x1 är sanna; detta innebär definitionsmässigt att utsagan x0x1x1 är sann.