The line starts at (0,2) so 0 is the first part of the domain. The horizontal line has an arrow on it pointing to the right which means the line can continue to infinity.
If the conditional statement was if you have a dog then you have a pet, that would be the biconditional statement. The conditional is true but since not both parts of the biconditional are true, it is false.
