Right, so where do I begin? Hello visitor!
Headings
H1
H2
H3
H4
H5
H6
Paragraph
Right, so here are just a few lines so that you’re able to gauge the feel of the paragraph.
Lorem ipsum dolor sit amet, consectetur adipisicing elit, sed do eiusmod tempor incididunt ut labore et dolore magna aliqua. Ut enim ad minim veniam, quis nostrud exercitation ullamco laboris nisi ut aliquip ex ea commodo consequat. Duis aute irure dolor in reprehenderit in voluptate velit esse cillum dolore eu fugiat nulla pariatur. Excepteur sint occaecat cupidatat non proident, sunt in culpa qui officia deserunt mollit anim id est laborum.
Code Highlighting
Playing around with code
!
Blockquote without attribution
Ask and you shall receive.
Blockquote with attribution
“The shortest distance between two points is a straight line." — Timothy Chung1
Tables
Implication Connective
P | Q | P → Q |
---|---|---|
false | false | true |
false | true | true |
true | false | false |
true | true | true |
With support for Markdown formatting within:
Italics | Bold | Code |
---|---|---|
italics | bold | code |
Ummm….
Inference Method | Knowledge Base… | …Inferences from KB | Example Knowledge Base | Example Inference with Explanation |
---|---|---|---|---|
Modus Ponens | (a → b), a | b | If it’s raining, Harry is inside. It is raining. | Harry is inside. |
And Elimination | a Ë„ b | b | Harry is friends with Ron and Hermione. | Harry is friends with Hermione. |
Double Negation Elimination | ¬(¬a) | a | It’s untrue that I didn’t write this logic. | I wrote this logic. |
Implication Elimination | a → b | ¬ a ˅ b | If it is raining, then Harry is inside. | It is not raining or Harry is inside. |
Biconditional Elimination | a ⇔ b | (a → b)(b → a) | If and only if it is raining, then Ron is inside. | If it is raining, then Ron is inside, and vice versa. |
De Morgan’s Law | ¬(a ˄ b) | ¬a ˅ ¬b | It’s untrue that Harry or Ron passed the test. | Harry did not pass the test and Ron did not passed the test. |
Distributive Property | (a Ë„ (b Ë… c)) | (a Ë„ b) Ë… (b Ë„ c) | It rained today, Harry or Ron could be indoors. | It rained and Harry was indoors, or it rained and Ron was indoors. |
Distributive Property | (a ˅ (b ˄ c)) | (a ˅ b) ˄ (b ˅ c) | It’s sunny today, or it rained and thundered. | It’s sunny or raining today, and it’s sunny or thundering today. |
Resolution 1 | (p ˅ q), ¬p | q | Ron is in the Great Hall or Hermione is in the library. Ron is not in the Great Hall. | Hermione is in the library. |
Resolution 1 (extended) | (p Ë… q1 Ë… q2 Ë……Ë… qn), ¬p | q | Ron is inside or Hermione is inside or Harry is inside or Hagrid is away. Ron is not inside. | Hermione is inside or Harry is inside or Hagrid is away. |
Resolution 2 | (p Ë… q),(¬p Ë… r) | q Ë… r | Harry or Ron is in the Great Hall, Either Hermione is in the Great Hall or Harry isn’t there. | Ron or Hermione must be in the Hall. (Think about it…Hermione must be in there, otherwise the lack of Harry means Ron should be there.) |
Resolution 2 (extended) | (p Ë… q1 Ë… q2 Ë……Ë… qn)), (¬p Ë… r1 Ë… r2 Ë……Ë… rn)) | q1 Ë… q2 Ë……Ë… qn Ë… r1 Ë… r2 Ë……Ë… rn | Harry or Ron or Dumbledore is in the Great Hall, Either Hermione or Hagrid is in the Great Hall or Harry isn’t there. | Either Ron, Dumbledore, Hermione or Hagrid is in the Great Hall. Either Hermione or Hagrid is in the Great Hall or Harry isn’t there, so that means Ron or Dumbledore could be in the Great Hall too. |
Empty Clause | p, ¬p | () [an empty clause with a false value] | Harry is in the Great Hall and Harry is not inside the Great Hall. | This entire sentence cannot be true because it contradicts itself. |
Code Blocks
Code block with backticks
<!doctype html>
<html lang="en">
<head>
<meta charset="utf-8">
<title>Example HTML5 Document</title>
</head>
<body>
<p>Test</p>
</body>
</html>
Code block indented with four spaces
<!doctype html>
<html lang="en">
<head>
<meta charset="utf-8">
<title>Example HTML5 Document</title>
</head>
<body>
<p>Test</p>
</body>
</html>
Code block with Hugo’s internal highlight shortcode
<!doctype html>
<html lang="en">
<head>
<meta charset="utf-8">
<title>Example HTML5 Document</title>
</head>
<body>
<p>Test</p>
</body>
</html>
List Types
Ordered List
- First item
- Second item
- Third item
Unordered List
- List item
- Another item
- And another item
Nested list
- Fruit
- Apple
- Orange
- Banana
- Dairy
- Milk
- Cheese
Unfinished Work — abbr, sub, sup, kbd, mark ARE NOT YET SUPPORTED.
GIF is a bitmap image format.
H2O
Xn + Yn = Zn
Press CTRL+ALT+Delete to end the session.
Most salamanders are nocturnal, and hunt for insects, worms, and other small creatures.
Maths
Block math: $$ \varphi = 1+\frac{1} {1+\frac{1} {1+\frac{1} {1+\cdots} } } $$
Experimental Emoji
Picture Arrangement Test
YouTube Privacy Enhanced Shortcode
-
Quote taken from Epsom Leaver’s Book, 2021. Often used as a catchphrase by the author when taking a shortcut through the rain. ↩︎