Propositional Logic

<p>&nbsp;</p><ol style="margin: 0px; padding: 0px 0px 0px 2.25em; border: 0px; font-variant-numeric: inherit; font-variant-east-asian: inherit; font-stretch: inherit; line-height: inherit; font-family: -apple-system, BlinkMacSystemFont, &quot;Segoe UI&quot;, Roboto, Lato, Helvetica, Arial, sans-serif; vertical-align: baseline; background-image: none; background-position: initial; background-size: initial; background-repeat: initial; background-attachment: initial; background-origin: initial; background-clip: initial; color: rgb(34, 34, 34);"><li style="margin-top: 0px; margin-right: 0px; margin-bottom: inherit; margin-left: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit; font-stretch: inherit; line-height: inherit; font-family: inherit; vertical-align: baseline; background: none;"><span class="ib-brac" style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit; font-stretch: inherit; line-height: inherit; font-family: inherit; vertical-align: baseline; background: none;">(</span><span class="ib-content" style="margin: 0px; padding: 0px; border: 0px; font-style: italic; font-variant: inherit; font-weight: inherit; font-stretch: inherit; line-height: inherit; font-family: inherit; vertical-align: baseline; background: none;"><a href="https://en.m.wiktionary.org/wiki/logic" title="logic" style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit; font-stretch: inherit; line-height: inherit; font-family: inherit; vertical-align: baseline; background: none; color: rgb(107, 75, 161); hyphens: none;">logic</a></span><span class="ib-brac" style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit; font-stretch: inherit; line-height: inherit; font-family: inherit; vertical-align: baseline; background: none;">)</span> A formal deductive&nbsp;<a href="https://en.m.wiktionary.org/wiki/formal_system" title="formal system" style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit; font-stretch: inherit; line-height: inherit; font-family: inherit; vertical-align: baseline; background: none; color: rgb(107, 75, 161); hyphens: none;">system</a> in which&nbsp;<a href="https://en.m.wiktionary.org/wiki/formula" title="formula" style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit; font-stretch: inherit; line-height: inherit; font-family: inherit; vertical-align: baseline; background: none; color: rgb(107, 75, 161); hyphens: none;">formulae</a> representing&nbsp;<a href="https://en.m.wiktionary.org/wiki/proposition" title="proposition" style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit; font-stretch: inherit; line-height: inherit; font-family: inherit; vertical-align: baseline; background: none; color: rgb(107, 75, 161); hyphens: none;">propositions</a> can be formed by combining&nbsp;<a href="https://en.m.wiktionary.org/w/index.php?title=atomic_proposition&amp;action=edit&amp;redlink=1" class="new" title="atomic proposition (page does not exist)" style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit; font-stretch: inherit; line-height: inherit; font-family: inherit; vertical-align: baseline; background: none; color: rgb(221, 51, 51); hyphens: none;">atomic propositions</a> using&nbsp;<a href="https://en.m.wiktionary.org/wiki/logical_connective" title="logical connective" style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit; font-stretch: inherit; line-height: inherit; font-family: inherit; vertical-align: baseline; background: none; color: rgb(107, 75, 161); hyphens: none;">logical connectives</a>.</li></ol><h4 class="in-block" style="margin: 0px; padding: 0.5em 0px; border: 0px; font-variant-numeric: inherit; font-variant-east-asian: inherit; font-stretch: inherit; line-height: 1.3; font-family: -apple-system, BlinkMacSystemFont, &quot;Segoe UI&quot;, Roboto, Lato, Helvetica, Arial, sans-serif; vertical-align: baseline; background-image: none; background-position: initial; background-size: initial; background-repeat: initial; background-attachment: initial; background-origin: initial; background-clip: initial; overflow-wrap: break-word; word-break: break-word; display: table; color: rgb(34, 34, 34);"><span class="mw-headline" id="Synonyms" style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit; font-stretch: inherit; line-height: inherit; font-family: inherit; vertical-align: middle; background: none; display: table-cell; width: 272px;">Synonyms</span><span class="mw-editsection" style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit; font-stretch: inherit; line-height: inherit; font-family: inherit; vertical-align: middle; background: none; display: table-cell;"><a href="https://en.m.wiktionary.org/w/index.php?title=propositional_logic&amp;action=edit&amp;section=3" title="Edit section: Synonyms" data-section="3" class="mw-ui-icon mw-ui-icon-element mw-ui-icon-minerva-edit-enabled edit-page" style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit; font-stretch: inherit; line-height: 1.5em; font-family: inherit; vertical-align: baseline; background: none; color: rgb(107, 75, 161); hyphens: none; position: relative; min-height: 1.5em; min-width: 3.5em; text-indent: -999px; overflow: hidden; width: 3.5em; max-width: 3.5em; display: block;">Edit</a></span></h4><ul style="margin: 0px; padding: 0px 0px 0px 1em; border: 0px; font-variant-numeric: inherit; font-variant-east-asian: inherit; font-stretch: inherit; line-height: inherit; font-family: -apple-system, BlinkMacSystemFont, &quot;Segoe UI&quot;, Roboto, Lato, Helvetica, Arial, sans-serif; vertical-align: baseline; background-image: none; background-position: initial; background-size: initial; background-repeat: initial; background-attachment: initial; background-origin: initial; background-clip: initial; list-style-position: initial; list-style-image: initial; color: rgb(34, 34, 34);"><li style="margin: 0px 0px 10px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit; font-stretch: inherit; line-height: inherit; font-family: inherit; vertical-align: baseline; background: none;"><a href="https://en.m.wiktionary.org/wiki/propositional_calculus" title="propositional calculus" style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit; font-stretch: inherit; line-height: inherit; font-family: inherit; vertical-align: baseline; background: none; color: rgb(107, 75, 161); hyphens: none;">propositional calculus</a></li><li style="margin-top: 0px; margin-right: 0px; margin-bottom: inherit; margin-left: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit; font-stretch: inherit; line-height: inherit; font-family: inherit; vertical-align: baseline; background: none;"><a href="https://en.m.wiktionary.org/w/index.php?title=zeroth-order_logic&amp;action=edit&amp;redlink=1" class="new" title="zeroth-order logic (page does not exist)" style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit; font-stretch: inherit; line-height: inherit; font-family: inherit; vertical-align: baseline; background: none; color: rgb(221, 51, 51); hyphens: none;">zeroth-order logic</a></li></ul>