snipt

Ctrl+h for KB shortcuts

TeX

Tableaux Tree w/ Only Premises

1
2
3
4
5
6
\Tree
[ .{$(p \supset q)$ \\
$(r \lor \neg q)$ \\
$\neg r$ \\
$\neg p$}
]
https://snipt.net/embed/ed1543dedacd64c21f3d0dcc44fa3b80/
https://snipt.net/raw/ed1543dedacd64c21f3d0dcc44fa3b80/
ed1543dedacd64c21f3d0dcc44fa3b80
tex
TeX
7
2016-09-14T17:14:25
True
False
False
/api/public/snipt/39304/
tableaux-tree-w-only-premises
<table class="highlighttable"><tr><td class="linenos"><div class="linenodiv"><pre><a href="#L-1">1</a> <a href="#L-2">2</a> <a href="#L-3">3</a> <a href="#L-4">4</a> <a href="#L-5">5</a> <a href="#L-6">6</a></pre></div></td><td class="code"><div class="highlight"><pre><span id="L-1"><a name="L-1"></a><span class="k">\Tree</span> </span><span id="L-2"><a name="L-2"></a>[ .<span class="nb">{</span><span class="s">$</span><span class="o">(</span><span class="nb">p </span><span class="nv">\supset</span><span class="nb"> q</span><span class="o">)</span><span class="s">$</span> <span class="k">\\</span> </span><span id="L-3"><a name="L-3"></a><span class="s">$</span><span class="o">(</span><span class="nb">r </span><span class="nv">\lor</span><span class="nb"> </span><span class="nv">\neg</span><span class="nb"> q</span><span class="o">)</span><span class="s">$</span> <span class="k">\\</span> </span><span id="L-4"><a name="L-4"></a><span class="s">$</span><span class="nv">\neg</span><span class="nb"> r</span><span class="s">$</span> <span class="k">\\</span> </span><span id="L-5"><a name="L-5"></a><span class="s">$</span><span class="nv">\neg</span><span class="nb"> p</span><span class="s">$</span><span class="nb">}</span> </span><span id="L-6"><a name="L-6"></a>] </span></pre></div> </td></tr></table>
latex, logic, qtree, tableaux

PHP

Ternary Operator (Shorthand if)

1
2
3
4
5
<?php

$x = ($var > 2 ? true : false);

?>
https://snipt.net/embed/d61420eae30dae705bd66b1585eadda2/
https://snipt.net/raw/d61420eae30dae705bd66b1585eadda2/
d61420eae30dae705bd66b1585eadda2
php
PHP
5
2016-09-28T00:25:59
True
False
False
/api/public/snipt/20987/
ternary-operator-shorthand-if
<table class="highlighttable"><tr><td class="linenos"><div class="linenodiv"><pre><a href="#L-1">1</a> <a href="#L-2">2</a> <a href="#L-3">3</a> <a href="#L-4">4</a> <a href="#L-5">5</a></pre></div></td><td class="code"><div class="highlight"><pre><span id="L-1"><a name="L-1"></a><span class="cp">&lt;?php</span> </span><span id="L-2"><a name="L-2"></a> </span><span id="L-3"><a name="L-3"></a><span class="nv">$x</span> <span class="o">=</span> <span class="p">(</span><span class="nv">$var</span> <span class="o">&gt;</span> <span class="mi">2</span> <span class="o">?</span> <span class="k">true</span> <span class="o">:</span> <span class="k">false</span><span class="p">);</span> </span><span id="L-4"><a name="L-4"></a> </span><span id="L-5"><a name="L-5"></a><span class="cp">?&gt;</span><span class="x"></span> </span></pre></div> </td></tr></table>
if, logic, php, ternary

TeX

Logic commands in tex

1
2
3
4
5
6
Allquantor = \forall
Existencequantor = \exists
OR = \vee
AND = \wedge
NOT = \neg
Implies = \Rightarrow
https://snipt.net/embed/a5d98fcf8c94dbc1998b2e6dcc370acb/
https://snipt.net/raw/a5d98fcf8c94dbc1998b2e6dcc370acb/
a5d98fcf8c94dbc1998b2e6dcc370acb
tex
TeX
6
2016-09-28T01:52:05
True
False
False
/api/public/snipt/2246/
logic-commands-in-tex
<table class="highlighttable"><tr><td class="linenos"><div class="linenodiv"><pre><a href="#L-1">1</a> <a href="#L-2">2</a> <a href="#L-3">3</a> <a href="#L-4">4</a> <a href="#L-5">5</a> <a href="#L-6">6</a></pre></div></td><td class="code"><div class="highlight"><pre><span id="L-1"><a name="L-1"></a>Allquantor = <span class="k">\forall</span> </span><span id="L-2"><a name="L-2"></a>Existencequantor = <span class="k">\exists</span> </span><span id="L-3"><a name="L-3"></a>OR = <span class="k">\vee</span> </span><span id="L-4"><a name="L-4"></a>AND = <span class="k">\wedge</span> </span><span id="L-5"><a name="L-5"></a>NOT = <span class="k">\neg</span> </span><span id="L-6"><a name="L-6"></a>Implies = <span class="k">\Rightarrow</span> </span></pre></div> </td></tr></table>
logic, tex
Copyrighted, illegal, or inappropriate content? Email support@snipt.net.