Conjunction introduction
please note:
- the text and code below is from The Pseudopedia
- it has been imported raw for GetWiki
{{Unreferenced|date=May 2009}}
Conjunction introduction is the
inference that, if
p is true, and
q is true, then the
conjunction p and q is true.For example, if it's true that it's raining, and it's true that I'm inside, then it's true that it's raining, and I'm inside.Formally:
(
q &nbs(;&nbs(;&nbs(;&nbs(; &nbs(;&nbs(; /
( ( ∧ q )
{{logic-stub}}
Introdução da conjunçãoOch-introducering
- content above as imported from The Pseudopedia
- "Conjunction introduction" does not exist on GetWiki
- time: 11:01pm EDT - Wed, Mar 17 2010
