http://glottopedia.org/index.php?action=history&feed=atom&title=Propositional_logic 2026-04-23T03:21:40Z Revision history for this page on the wiki MediaWiki 1.34.2 http://glottopedia.org/index.php?title=Propositional_logic&diff=16850&oldid=prev 2014-09-27T19:16:22Z

<p>Edited the format, removed the block {{cats}}</p> <table class="diff diff-contentalign-left" 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: #222; text-align: center;">← Older revision</td> <td colspan="2" style="background-color: #fff; color: #222; text-align: center;">Revision as of 19:16, 27 September 2014</td> </tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l1" >Line 1:</td> <td colspan="2" class="diff-lineno">Line 1:</td></tr> <tr><td class='diff-marker'>−</td><td style="color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>{{stub<del class="diffchange diffchange-inline">}}{{cats</del>}}</div></td><td class='diff-marker'>+</td><td style="color: #222; 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>{{stub}}</div></td></tr> <tr><td class='diff-marker'>−</td><td style="color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div> </div></td><td class='diff-marker'>+</td><td style="color: #222; 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 class="diffchange diffchange-inline">==Definition==</ins></div></td></tr> <tr><td class='diff-marker'>−</td><td style="color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div> </div></td><td colspan="2"> </td></tr> <tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>'''Propositional logic''' is the [[logical system]] which takes [[sentence]]s and their combinations as primitives. The [[logical constant]]s of the language are negation and the connectives &amp;amp;, v, -&amp;gt;, and &amp;lt;-&amp;gt;. [[Propositional letters]] (also ''atomic propositions'') are combined with these connectives into more complex [[propositional formula]]s according to the syntax of propositional logic. The semantics interprets the meaning of the logical constants in terms of [[truth-value]]s. Propositional logic characterizes a particular class of valid arguments, like the one in (i).</div></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>'''Propositional logic''' is the [[logical system]] which takes [[sentence]]s and their combinations as primitives. The [[logical constant]]s of the language are negation and the connectives &amp;amp;, v, -&amp;gt;, and &amp;lt;-&amp;gt;. [[Propositional letters]] (also ''atomic propositions'') are combined with these connectives into more complex [[propositional formula]]s according to the syntax of propositional logic. The semantics interprets the meaning of the logical constants in terms of [[truth-value]]s. Propositional logic characterizes a particular class of valid arguments, like the one in (i).</div></td></tr> <tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"></td></tr> <tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l19" >Line 19:</td> <td colspan="2" class="diff-lineno">Line 18:</td></tr> <tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>Translation into propositional logic makes it clear that the argument in (i) is valid because of certain logical constants. The validity of the schema in (iii) can be demonstrated with a formal syntactic deduction or by means of a truth-table.</div></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>Translation into propositional logic makes it clear that the argument in (i) is valid because of certain logical constants. The validity of the schema in (iii) can be demonstrated with a formal syntactic deduction or by means of a truth-table.</div></td></tr> <tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"></td></tr> <tr><td class='diff-marker'>−</td><td style="color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div><del class="diffchange diffchange-inline">=</del>== Links ==<del class="diffchange diffchange-inline">=</del></div></td><td class='diff-marker'>+</td><td style="color: #222; 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>==Links ==</div></td></tr> <tr><td class='diff-marker'>−</td><td style="color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div> </div></td><td class='diff-marker'>+</td><td style="color: #222; 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 class="diffchange diffchange-inline">*</ins>[http://www2.let.uu.nl/UiL-OTS/Lexicon/zoek.pl?lemma=Propositional+logic&amp;lemmacode=455 Utrecht Lexicon of Linguistics]</div></td></tr> <tr><td class='diff-marker'>−</td><td style="color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>[http://www2.let.uu.nl/UiL-OTS/Lexicon/zoek.pl?lemma=Propositional+logic&amp;lemmacode=455 Utrecht Lexicon of Linguistics]</div></td><td colspan="2"> </td></tr> <tr><td class='diff-marker'>−</td><td style="color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div> </div></td><td colspan="2"> </td></tr> <tr><td class='diff-marker'>−</td><td style="color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div><del class="diffchange diffchange-inline">=== References ===</del></div></td><td colspan="2"> </td></tr> <tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"></td></tr> <tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color: #222; 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;">== References ==</ins></div></td></tr> <tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* Gamut, L.T.F. 1991. ''Logic, language, and meaning,'' Univ. of Chicago Press, Chicago.</div></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* Gamut, L.T.F. 1991. ''Logic, language, and meaning,'' Univ. of Chicago Press, Chicago.</div></td></tr> <tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"></td></tr> <tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>{{dc}}</div></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>{{dc}}</div></td></tr> <tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>[[Category:Semantics]]</div></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>[[Category:Semantics]]</div></td></tr> </table>

NBlöcher http://glottopedia.org/index.php?title=Propositional_logic&diff=8584&oldid=prev 2009-02-20T13:08:40Z

<p>utrecht</p> <p><b>New page</b></p><div>{{stub}}{{cats}}<br /> <br /> <br /> '''Propositional logic''' is the [[logical system]] which takes [[sentence]]s and their combinations as primitives. The [[logical constant]]s of the language are negation and the connectives &amp;amp;, v, -&amp;gt;, and &amp;lt;-&amp;gt;. [[Propositional letters]] (also ''atomic propositions'') are combined with these connectives into more complex [[propositional formula]]s according to the syntax of propositional logic. The semantics interprets the meaning of the logical constants in terms of [[truth-value]]s. Propositional logic characterizes a particular class of valid arguments, like the one in (i).<br /> <br /> (i) If the sun is shining, then John is happy<br /> The sun is shining<br /> Therefore, John is happy<br /> <br /> When we translate the natural language statements in (i) into propositional logic (as in (ii)) we get the schema in (iii).<br /> <br /> (ii) p: the sun is shining<br /> q: John is happy<br /> (iii) p -&amp;gt; q<br /> p<br /> ------<br /> q<br /> <br /> Translation into propositional logic makes it clear that the argument in (i) is valid because of certain logical constants. The validity of the schema in (iii) can be demonstrated with a formal syntactic deduction or by means of a truth-table.<br /> <br /> === Links ===<br /> <br /> [http://www2.let.uu.nl/UiL-OTS/Lexicon/zoek.pl?lemma=Propositional+logic&amp;lemmacode=455 Utrecht Lexicon of Linguistics]<br /> <br /> === References ===<br /> <br /> * Gamut, L.T.F. 1991. ''Logic, language, and meaning,'' Univ. of Chicago Press, Chicago.<br /> <br /> {{dc}}<br /> [[Category:Semantics]]</div>

Wohlgemuth