that's great. With the first set I only had to assign true values to them based on the information listed in the interpretation. Next time I will definately post in advance. Again, thanks for the help. Based on what you have said I'm going to conclude the following for a-d.
a)False
b)True...
Hey everyone,
Just need some help on some truth values of a predicate logic interpretation. Here is the info. I will be using A(capital variable) to mean universal quantifier and EEX(capital variable) to mean existential quantifier.
UD: Set of positive integers
Bx: x is an even number...
conjunction ibtroduction
P
Q
P&Q
conjunction Elination
P&Q
P or Q
biconditional introduction
Sub Der:Assume P
Q
Assume Q
P
P (triple Bar) Q
biconditional Elimination
P (triple bar) Q
P or Q
THerefore, Q...
Also I don't know how to use "Commutation and Exportation" rules either. We can only use what is listed above. Class is at 1:30 U.S. Eastern standard time please help!
I can use conjunction elimination and introduction
biconditional introduction and elimination
negation elimination/introduction
disjunction elimination/introduction
conditional introduction and elimination
that's it.
Hi everyone,
I really need help proving a theorem for logic HW. I am allowed to use all the standard derivations in Sentential Logic.
Also I do not know how to enter in the symbols so I will use ">" to signify conditional in the problem below.
Instructions: Show that each of the...
Hi everyone,
I really need help proving a theorem for logic HW. I am allowed to use all the standard derivations in Sentential Logic.
Also I do not know how to enter in the symbols so I will use ">" to signify conditional in the problem below.
Instructions: Show that each of the...