PHILOS 31 Lecture 4: Symbolization-Truth Tables
Document Summary
Unless logic is difficult, alfred will pass if he concentrates. Assuming that the professor is a communist, he will sign the loyalty oath; but if he is an idealist, he will neither sign the loyalty oath not speak to those who do. (p q) (cid:1940) (r ~q(cid:1940)~s) Among usc, ucla, oregon, and arizona, exactly two will be in contention in. November. (p(cid:1940)q(cid:1940)~r(cid:1940)~s) (cid:1941) (p(cid:1940)~q(cid:1940)r(cid:1940)~s) (cid:1941) (p(cid:1940)~q(cid:1940)~r(cid:1940)s) (cid:1941) (~p(cid:1940)q(cid:1940)r(cid:1940)~s) (cid:1941) (~p(cid:1940)q(cid:1940)~r(cid:1940)s) (~p(cid:1940)~q(cid:1940)r(cid:1940)s) Number of rows you need=2n, where n= # of variables. Starts building truth table from variable (which are not premises) on the right, and continue doubling number of t"s and f"s as you move left. Test each premise and the conclusion (probably fill in conclusion first) Argument is valid, when premises are true, conclusion is true. Invalid if conclusion is false with true premises. Eliminate rows with false premises or a conclusion off the bat.