3 ms·
computerphage wasn't using deduction but rather contraposition. (A -> B) => (!B -> !A). The absurdity of (!B -> !A) shows that (A -> B) is not true for all case
by irisli 9y ago
computerphage wasn't using deduction but rather contraposition. (A -> B) => (!B -> !A). The absurdity of (!B -> !A) shows that (A -> B) is not true for all cases.
- uzoodoo 9y agoBut the premise "not alive => doesn't need resources" is false because there exist things are "not necessarily alive" that need resources. Therefore, the argument is invalid.