Q: Give a recipe for constructing a formula using only ~, , andthat has any desired truth-table.
A: Any truth-functional sentences consist of two or more parts. These parts have truth values and
values can be calculated by logic connectives and then a new
EC Problem 8
Criticize the following Rutherfords analogical argument for the nuclear atom along
the lines just illustrated for the rhesus monkey inference.
Rutherford: Planets surrounding the sun are gravitationally attracted to the sun by an
Find a one-element basis* other than cfw_ |
Define X-Y as (~X) and (~Y), then
~A=(~A) and (~A)=A-A
A and B=(~(~A) and (~(~B)=(~(A-A) and (~(B-B)= (A-A)-(B-B)
Extra credit problem:
You visited again the tropical island where everyone is a member of exac
(p. 408 Part VI)
4. Some storM is Feared by every Sailor.
10. Some People who are not Rich Own piAnos.
Why 4* and 10* are incorrect translations of 4 and 10, respectively? Explain why
they are incorrect by of
EC Problem 4
How can you show that a certain binary connective (or, to be precise, a unit set of a
binary connective) is not a basis?
Answer: Some binaries of connective cannot represent all possibilities of truth value
combination in table. For example,