User:Philogo/sandbox
Logic: ¬ ∧ ∨ ∃ ∀ ¬ ∧ ∨ ∃ ∀
¬
Failed to parse (syntax error): {\displaystyle ¬}
<math>\not\equiv</math>:
mess about
<math>A\not \models_L X</math>:
implies
↑ or or | or ↑
¬
¬
¬
¬
¬
|-
| rowspan=3 bgcolor=#d0f0d0 align=center|
≡
↔
||material equivalence
| rowspan=3|A ⇔ B means A is true if B is true and A is false if B is false.
| rowspan=3|x + 5 = y +2 ⇔ x + 3 = y
! rowspan="3" |8660
8596
! rowspan="3" | ⇔
≡
↔
! rowspan="3" |
\equiv
\leftarrow
|-
- 1 A ⇔ B
- 2
- 3 ⇔
≡
↔ - 4 \Leftrightarrow
\equiv
\leftarrow - 5
- 6
- 7
- 8 ,
- 9
- 10
- 11 ,
- 12 ,
- 13 T B
- 14 The inference rule called Universal Generalization is characteristic of the predicate calculus. It can be stated as
- if , then
Which reads: if φ is a theorem, then "for every x, φ" is a theorem as well.
These cannopt be raad at work:- they look tiny & wierd
- {{nor-}} -
- {{nand}} -
- {{cnv}} - ←
these look like boxes:-
- {{cni}} - ⊄
- {{nonimp}} - ⊅
try
- Biconditional (xnor) ( oder )
( oder )
test cannot sign by clicking on four tildes further test 31.49.82.106 (talk) 23:06, 12 October 2014 (UTC)
further test after signing in further test using opera --— Philogos (talk) 16:08, 14 October 2014 (UTC)
IPA vowel diagram
IPA: Vowels | ||||||||||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| ||||||||||||||||||||||||||||||||
Legend: unrounded • rounded |
terse: chart
IPA: Vowels | ||||||||||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| ||||||||||||||||||||||||||||||||
Legend: unrounded • rounded |
test: Hello, I'm [[User:{{subst:REVISIONUSER}}|{{subst:REVISIONUSER}}]]. An edit that you recently made seemed to be a test and has been reverted. If you want to practice editing, please use the sandbox. If you think I made a mistake, or if you have any questions, you can leave me a message on [[User talk:{{subst:REVISIONUSER}}|my talk page]]. Thanks!
templates template:IPA chart vowels