##### Help with a logic proof

label Philosophy
account_circle Unassigned
schedule 1 Day
account_balance_wallet \$5

So I recieved a proof to do and im not sure how to get the conclusion because the letters that are in the conclusion arent in the premise even though its an easy proof. Please help, thanks so much. The second line is the conclusion

1. A

B v ~B

Mar 4th, 2015

The conclusion B v ~B is a tautology, meaning that it is always true.

If the conclusion is always true, then the conditional will be a true statement irrespective of whether the hypothesis (antecedent) is true or false.

Example:

If it rains tomorrow, my name is Steve or it is not Steve.

A --> B v~ B

For A false, B v~B is true, thus the conditional is true

For B false, B v ~ B is true, thus the conditional is still true

Recall that the only time a conditional statement is false is when the hypothesis is true yet the conclusion is false.

Mar 4th, 2015

...
Mar 4th, 2015
...
Mar 4th, 2015
Oct 22nd, 2017
check_circle