Conjunction introduction: Difference between revisions
Jump to navigation
Jump to search
imported>MaxwellMolecule m Reverted 1 edit by 187.110.2.185 (talk) to last revision by Chipmunkdavis |
imported>Tc14Hd |
||
| Line 1: | Line 1: | ||
{{Short description|Rule of inference in propositional logic}} | |||
{{Infobox mathematical statement | {{Infobox mathematical statement | ||
| name = Conjunction introduction | | name = Conjunction introduction | ||
| Line 19: | Line 20: | ||
: <math>P, Q \vdash P \land Q</math> | : <math>P, Q \vdash P \land Q</math> | ||
where <math>P</math> and <math>Q</math> are propositions expressed in some [[formal system]], and <math>\vdash</math> is a [[metalogic]]al [[Symbol (formal)|symbol]] meaning that <math>P \land Q</math> is a [[logical consequence|syntactic consequence]] if <math>P</math> and <math>Q</math> are each on lines of a proof in some [[formal system|logical system]] | where <math>P</math> and <math>Q</math> are propositions expressed in some [[formal system]], and <math>\vdash</math> is a [[metalogic]]al [[Symbol (formal)|symbol]] meaning that <math>P \land Q</math> is a [[logical consequence|syntactic consequence]] if <math>P</math> and <math>Q</math> are each on lines of a proof in some [[formal system|logical system]]. | ||
==References== | ==References== | ||