https://wiki.tiffa.net/w/index.php?action=history&feed=atom&title=Item%3AQ18002 2026-04-19T16:13:24Z Revision history for this page on the wiki MediaWiki 1.43.0 https://wiki.tiffa.net/w/index.php?title=Item:Q18002&diff=95883&oldid=prev 2024-01-02T10:48:21Z

<p>‎<span dir="auto"><span class="autocomment">Created claim: </span></span> <a href="/wiki/Property:P53" title="‎facet of‎ | ‎topic of which this item is an aspect, item that offers a broader perspective on the same topic‎"><span class="wb-itemlink"><span class="wb-itemlink-label" lang="en" dir="ltr">facet of</span> <span class="wb-itemlink-id">(P53)</span></span></a>: <a href="/wiki/Item:Q18003" title="‎propositional calculus‎ | ‎branch of logic concerned with the study of propositions (whether they are true or false) that are formed by other propositions with the use of logical connectives, and how their value depends on the truth value of their components‎"><span class="wb-itemlink"><span class="wb-itemlink-label" lang="en" dir="ltr">propositional calculus</span> <span class="wb-itemlink-id">(Q18003)</span></span></a></p> <table style="background-color: #fff; color: #202122;" data-mw="interface"> <col class="diff-marker" /> <col class="diff-content" /> <col class="diff-marker" /> <col class="diff-content" /> <tr class="diff-title" lang="en"> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">← Older revision</td> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">Revision as of 19:48, 2 January 2024</td> </tr><tr><td colspan="2" class="diff-lineno"></td><td colspan="2" class="diff-lineno">Property / <a title="Property:P53" href="/wiki/Property:P53">facet of</a></td></tr><tr><td colspan="2"> </td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;"><span><a title="Item:Q18003" href="/wiki/Item:Q18003">propositional calculus</a></span></ins></div></td></tr><tr><td colspan="2" class="diff-lineno"></td><td colspan="2" class="diff-lineno">Property / <a title="Property:P53" href="/wiki/Property:P53">facet of</a>: <a title="Item:Q18003" href="/wiki/Item:Q18003">propositional calculus</a> / rank</td></tr><tr><td colspan="2"> </td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;"><span>Normal rank</span></ins></div></td></tr></table>

Fire https://wiki.tiffa.net/w/index.php?title=Item:Q18002&diff=95870&oldid=prev 2024-01-02T10:44:53Z

<p>‎<span dir="auto"><span class="autocomment">Created claim: </span></span> <a href="/wiki/Property:P1" title="‎subclass of‎ | ‎this item is a subclass (subset) of that item; all instances of these items are instances of those items; different from P2 (instance of), e.g.: K2 is an instance of mountain; volcano is a subclass of mountain (and an instance of volcanic landform).‎"><span class="wb-itemlink"><span class="wb-itemlink-label" lang="en" dir="ltr">subclass of</span> <span class="wb-itemlink-id">(P1)</span></span></a>: <a href="/wiki/Item:Q17960" title="‎well-formed formula‎ | ‎finite sequence of symbols from a given alphabet that is part of a formal language‎"><span class="wb-itemlink"><span class="wb-itemlink-label" lang="en" dir="ltr">well-formed formula</span> <span class="wb-itemlink-id">(Q17960)</span></span></a></p> <table style="background-color: #fff; color: #202122;" data-mw="interface"> <col class="diff-marker" /> <col class="diff-content" /> <col class="diff-marker" /> <col class="diff-content" /> <tr class="diff-title" lang="en"> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">← Older revision</td> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">Revision as of 19:44, 2 January 2024</td> </tr><tr><td colspan="2" class="diff-lineno"></td><td colspan="2" class="diff-lineno">Property / <a title="Property:P1" href="/wiki/Property:P1">subclass of</a></td></tr><tr><td colspan="2"> </td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;"><span><a title="Item:Q17960" href="/wiki/Item:Q17960">well-formed formula</a></span></ins></div></td></tr><tr><td colspan="2" class="diff-lineno"></td><td colspan="2" class="diff-lineno">Property / <a title="Property:P1" href="/wiki/Property:P1">subclass of</a>: <a title="Item:Q17960" href="/wiki/Item:Q17960">well-formed formula</a> / rank</td></tr><tr><td colspan="2"> </td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;"><span>Normal rank</span></ins></div></td></tr></table>

Fire https://wiki.tiffa.net/w/index.php?title=Item:Q18002&diff=95869&oldid=prev 2024-01-02T10:44:47Z

<p>‎<span dir="auto"><span class="autocomment">Created claim: </span></span> <a href="/wiki/Property:P1" title="‎subclass of‎ | ‎this item is a subclass (subset) of that item; all instances of these items are instances of those items; different from P2 (instance of), e.g.: K2 is an instance of mountain; volcano is a subclass of mountain (and an instance of volcanic landform).‎"><span class="wb-itemlink"><span class="wb-itemlink-label" lang="en" dir="ltr">subclass of</span> <span class="wb-itemlink-id">(P1)</span></span></a>: <a href="/wiki/Item:Q189" title="‎sentence‎ | ‎textual unit consisting of one or more words that are grammatically linked, expressing a complete thought in non-functional linguistics‎"><span class="wb-itemlink"><span class="wb-itemlink-label" lang="en" dir="ltr">sentence</span> <span class="wb-itemlink-id">(Q189)</span></span></a></p> <table style="background-color: #fff; color: #202122;" data-mw="interface"> <col class="diff-marker" /> <col class="diff-content" /> <col class="diff-marker" /> <col class="diff-content" /> <tr class="diff-title" lang="en"> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">← Older revision</td> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">Revision as of 19:44, 2 January 2024</td> </tr><tr><td colspan="2" class="diff-lineno"></td><td colspan="2" class="diff-lineno">Property / <a title="Property:P1" href="/wiki/Property:P1">subclass of</a></td></tr><tr><td colspan="2"> </td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;"><span><a title="Item:Q189" href="/wiki/Item:Q189">sentence</a></span></ins></div></td></tr><tr><td colspan="2" class="diff-lineno"></td><td colspan="2" class="diff-lineno">Property / <a title="Property:P1" href="/wiki/Property:P1">subclass of</a>: <a title="Item:Q189" href="/wiki/Item:Q189">sentence</a> / rank</td></tr><tr><td colspan="2"> </td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;"><span>Normal rank</span></ins></div></td></tr></table>

Fire https://wiki.tiffa.net/w/index.php?title=Item:Q18002&diff=95868&oldid=prev 2024-01-02T10:44:28Z

<p>‎<span dir="auto"><span class="autocomment">Created a new Item: </span></span> propositional formula, type of logical formula in the propositional logic</p> <a href="https://wiki.tiffa.net/w/index.php?title=Item:Q18002&amp;diff=95868">Show changes</a>

Fire