- #1

- 1,421

- 5

I just began my Discrete Mathematics class. It is rather interesting, but I have a few questions regarding the definitions of logical connectives. For instance, my book states that the conditional statement,[itex]p \rightarrow q[/itex] serving as an example, is false when p is true and and q is false, and true otherwise.

Was there reasoning used to define this, or did the person arbitrarily define it?