Question

What is implication? How do you prove an implication in discrete structure? Explain.​

Answer 1

Answer:

Explanation:

You prove the implication p --> q by assuming p is true and using your background knowledge and the rules of logic to prove q is true. The assumption ``p is true'' is the first link in a logical chain of statements, each implying its successor, that ends in ``q is true''.

Answer 2

Answer:

The material conditional is a logical connective that is often symbolized by a forward arrow "→". The material conditional is used to form statements of the form p → q which is read as "if p then q". prove the implication p --> q by assuming p is true and using your background knowledge and the rules of logic to prove q is true. The assumption ``p is true'' is the first link in a logical chain of statements, each implying its successor, that ends in ``q is true''.