In propositional logic, the statement โif p, then qโ is called a conditional or implication. It asserts that whenever p is true, q must also be true. This relation captures a directed dependence between antecedent and consequent. Therefore the connective in the stem is known as implication.
Option A:
Option A, biconditional, has the form โp if and only if qโ and expresses a two-way equivalence. It is stronger than a simple conditional. Thus biconditional does not match the one-way โif p, then qโ structure described here.
Option B:
Option B, disjunction, uses โorโ to connect two statements and has different truth conditions. It does not encode a directional dependency from p to q. Hence disjunction cannot be the correct answer.
Option C:
Option C properly names implication as the connective that forms a conditional statement from an antecedent and a consequent. Its symbolisation as p โ q corresponds exactly to โif p, then qโ. Therefore implication is the best choice.
Option D:
Option D, conjunction, joins statements with โandโ and requires both to be true. It lacks the conditional structure of premise leading to consequent. So conjunction is not the connective the question refers to.
Comment Your Answer
Please login to comment your answer.
Sign In
Sign Up
Answers commented by others
No answers commented yet. Be the first to comment!