Homework SoursePlease use the method of truthtrees to answer the following
Please use the method of truth-trees to answer the following questions.
{ D F, (D F), D }. Is this set of SL-sentences truth-functionally consistent? If the set is consistent, please recover one truth-value assignment from your tree that witnesses consistency.
Solution
Not consistent
| Truth table | ||||||
| { D F, (D F), D } | ||||||
| D | F | ~D | ~F | D F | (D F) | (D F) |
| T | T | F | F | F | F | T |
| T | F | F | T | T | T | F |
| F | T | T | F | T | T | F |
| F | F | T | T | F | F | T |
