https://wiki.tiffa.net/w/index.php?action=history&feed=atom&title=Item%3AQ18003 2026-04-19T14:46:30Z Revision history for this page on the wiki MediaWiki 1.43.0 https://wiki.tiffa.net/w/index.php?title=Item:Q18003&diff=95875&oldid=prev 2024-01-02T10:46:23Z

<p>‎<span dir="auto"><span class="autocomment">Created claim: </span></span> <a href="/wiki/Property:P807" title="‎has characteristic‎ | ‎inherent or distinguishing quality or feature of the entity. Use a more specific property when possible.‎"><span class="wb-itemlink"><span class="wb-itemlink-label" lang="en" dir="ltr">has characteristic</span> <span class="wb-itemlink-id">(P807)</span></span></a>: <a href="/wiki/Item:Q2088" title="‎validity‎ | ‎logical correctness of an argument&#039;s steps, regardless of the truth of the premises‎"><span class="wb-itemlink"><span class="wb-itemlink-label" lang="en" dir="ltr">validity</span> <span class="wb-itemlink-id">(Q2088)</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:46, 2 January 2024</td> </tr><tr><td colspan="2" class="diff-lineno"></td><td colspan="2" class="diff-lineno">Property / <a title="Property:P807" href="/wiki/Property:P807">has characteristic</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:Q2088" href="/wiki/Item:Q2088">validity</a></span></ins></div></td></tr><tr><td colspan="2" class="diff-lineno"></td><td colspan="2" class="diff-lineno">Property / <a title="Property:P807" href="/wiki/Property:P807">has characteristic</a>: <a title="Item:Q2088" href="/wiki/Item:Q2088">validity</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:Q18003&diff=95874&oldid=prev 2024-01-02T10:45:54Z

<p>‎<span dir="auto"><span class="autocomment">Created claim: </span></span> <a href="/wiki/Property:P7" title="‎part of‎ | ‎object of which the subject is a part (if this subject is already part of object A which is a part of object B, then please only make the subject part of object A). Inverse property of &quot;has part&quot; (P527, see also &quot;has parts of the class&quot; (P2670)).‎"><span class="wb-itemlink"><span class="wb-itemlink-label" lang="en" dir="ltr">part of</span> <span class="wb-itemlink-id">(P7)</span></span></a>: <a href="/wiki/Item:Q2287" title="‎mathematical logic‎ | ‎subfield of mathematics‎"><span class="wb-itemlink"><span class="wb-itemlink-label" lang="en" dir="ltr">mathematical logic</span> <span class="wb-itemlink-id">(Q2287)</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:45, 2 January 2024</td> </tr><tr><td colspan="2" class="diff-lineno"></td><td colspan="2" class="diff-lineno">Property / <a title="Property:P7" href="/wiki/Property:P7">part 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:Q2287" href="/wiki/Item:Q2287">mathematical logic</a></span></ins></div></td></tr><tr><td colspan="2" class="diff-lineno"></td><td colspan="2" class="diff-lineno">Property / <a title="Property:P7" href="/wiki/Property:P7">part of</a>: <a title="Item:Q2287" href="/wiki/Item:Q2287">mathematical logic</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:Q18003&diff=95873&oldid=prev 2024-01-02T10:45:48Z

<p>‎<span dir="auto"><span class="autocomment">Created claim: </span></span> <a href="/wiki/Property:P7" title="‎part of‎ | ‎object of which the subject is a part (if this subject is already part of object A which is a part of object B, then please only make the subject part of object A). Inverse property of &quot;has part&quot; (P527, see also &quot;has parts of the class&quot; (P2670)).‎"><span class="wb-itemlink"><span class="wb-itemlink-label" lang="en" dir="ltr">part of</span> <span class="wb-itemlink-id">(P7)</span></span></a>: <a href="/wiki/Item:Q471" title="‎logic‎ | ‎study of correct reasoning‎"><span class="wb-itemlink"><span class="wb-itemlink-label" lang="en" dir="ltr">logic</span> <span class="wb-itemlink-id">(Q471)</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:45, 2 January 2024</td> </tr><tr><td colspan="2" class="diff-lineno"></td><td colspan="2" class="diff-lineno">Property / <a title="Property:P7" href="/wiki/Property:P7">part 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:Q471" href="/wiki/Item:Q471">logic</a></span></ins></div></td></tr><tr><td colspan="2" class="diff-lineno"></td><td colspan="2" class="diff-lineno">Property / <a title="Property:P7" href="/wiki/Property:P7">part of</a>: <a title="Item:Q471" href="/wiki/Item:Q471">logic</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:Q18003&diff=95872&oldid=prev 2024-01-02T10:45:40Z

<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:Q2285" title="‎logical system‎ | ‎type of system‎"><span class="wb-itemlink"><span class="wb-itemlink-label" lang="en" dir="ltr">logical system</span> <span class="wb-itemlink-id">(Q2285)</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:45, 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:Q2285" href="/wiki/Item:Q2285">logical system</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:Q2285" href="/wiki/Item:Q2285">logical system</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:Q18003&diff=95871&oldid=prev 2024-01-02T10:45:31Z

<p>‎<span dir="auto"><span class="autocomment">Created a new Item: </span></span> 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</p> <a href="https://wiki.tiffa.net/w/index.php?title=Item:Q18003&amp;diff=95871">Show changes</a>

Fire