-
Notifications
You must be signed in to change notification settings - Fork 12
/
testpage.html
50 lines (42 loc) · 2.03 KB
/
testpage.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
<!DOCTYPE html>
<html>
<head>
<script type="text/javascript" src="http://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML"></script>
<link rel="stylesheet" href="../../common/css/tab.css" type="text/css" media="screen" />
<link rel="stylesheet" href="../../common/css/tocbot.css" type="text/css" />
<meta http-equiv="Content-Type" tab-content="text/html; charset=UTF-8" />
<meta charset="UTF-8">
</head>
<body>
<h2>TESTISIVU</h2>
<p>Tähän sivuun voit helposti testata kaavojen ulkoasua MathJax-kirjastolla, mutta muista kuitenkin ettet commitoi tätä tiedostoa ✋</p>
<div class="scrollwrap">
<h4 class="fi">Kvanttorit</h4>
<table class="formulae">
<tr>
<td>\begin{align} & \mathbf{Olemassaolo-\ eli\ eksistenssikavanttori}\ \exists \\ & \exists x \in A:\ p(x) && \text{On
olemassa (ainakin yksi) sellainen A:n alkio $$x$$, jolle pätee väite }p(x). \\[2ex] & \mathbf{Universaali-\
eli\ kaikkikvanttori}\ \forall \\ & \forall x \in A:\ p(x) && \text{Kaikille A:n alkioille $$x$$ pätee väite
}p(x). \\[2ex] & \mathbf{Yhdistetyt\ kvanttorit} \\ & \exists x \forall y:\ p(x,y) && \text{On olemassa sellainen
$$x$$, että olipa $$y$$ mikä tahansa, niin väite $$p(x,\ y)$$ pätee.}\\ & \forall x \exists y:\ p(x,y) &&
\text{Jokaista $$x$$:n arvoa kohti on olemassa sellainen $$y$$, että väite $$p(x,\ y)$$ pätee.}\\[2ex] &
\mathbf{Kvanttorin negaatio}\\ & \lnot \exists x \in A:\ p(x)) \iff \forall x \in A:\ \lnot p(x)\\ & \lnot
(\forall x \in A:\ p(x)) \iff \exists x \in A:\ \lnot p(x) \end{align}
</td>
</tr>
</table>
</div>
<div class="scrollwrap">
<h4 class="fi">Pythagoran lauseke</h4>
<span class="fi">\( a^2 + b^2 = c^2 \)</span>
<table class="formulae">
<tr>
<td>
<img src="../images/kolmio.svg"/>
\(a^2 + b^2 = c^2\)
</td>
</tr>
</table>
</div>
</body>
</html>