Conjunction introduction
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 )
Och-introducering
(...as imported from WP)
article has not been saved locally
