Conjunction introduction
Encyclopedia
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:
Inference
Inference is the act or process of deriving logical conclusions from premises known or assumed to be true. The conclusion drawn is also called an idiomatic. The laws of valid inference are studied in the field of logic.Human inference Inference is the act or process of deriving logical conclusions...
that, if p is true, and q is true, then the conjunction
Logical conjunction
In logic and mathematics, a two-place logical operator and, also known as logical conjunction, results in true if both of its operands are true, otherwise the value of false....
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: