Truth tables for these calculus formulae

  • Thread starter Thread starter charmedbeauty
  • Start date Start date
  • Tags Tags
    Calculus Formulae
charmedbeauty
Messages
266
Reaction score
0

Homework Statement



Construct truth tables for the two propositional calculus formulae

(p→(~q))\wedger and q→((~p)\wedger)

Homework Equations


The Attempt at a Solution



Can some one please check these solutions because I had a look at the answer and it was different but I don't think I am wrong.

Sorry about the layout I tried pasting of a word doc table but did not work out to well.

Just follow the vales with each column respectively.
Code:
p   ,	q  ,	r  ,	(p(~q)) [itex]\wedge[/itex] r  ,  ((~p) [itex]\wedge[/itex] r)

T	T	T	    F	                     F
T	T	F	    F	                     F
T	F	T	    T	                     T
T	F	F	    F	                     T
F	T	T	    T	                     T
F	T	F	    F	                     F
F	F	T	    T	                     T
F	F	F	    F	                     T
Is this right??
 
Last edited:
Physics news on Phys.org
charmedbeauty said:

Homework Statement



Construct truth tables for the two propositional calculus formulae

(p→(~q))\wedger and q→((~p)\wedge

Homework Equations



The Attempt at a Solution



Can some one please check these solutions because I had a look at the answer and it was different but I don't think I am wrong.

Sorry about the layout I tried pasting of a word doc table but did not work out to well.

Just follow the vales with each column respectively.

p , q , r , (p→(~q)) \wedge r , (q→(~p) \wedge r)

T T T F F
T T F F F
T F T T T
T F F F T
F T T T T
F T F F F
F F T T T
F F F F T

Is this right??
To get better spacing use the [code ] tag.

Code:
p   ,	q  ,	r  ,	(p→(~q)) ∧ r  ,  (q→(~p) ∧ r)

T	T	T	    F	                     F
T	T	F	    F	                     F
T	F	T	    T	                     T
T	F	F	    F	                     T
F	T	T	    T	                     T
F	T	F	    F	                     F
F	F	T	    T	                     T
F	F	F	    F	                     T
 
Last edited:
SammyS said:
To get better spacing use the [code ] tag.

Code:
p   ,	q  ,	r  ,	(p(~q)) ∧ r  ,  ((~p) ∧ r)

T	T	T	    F	                     F
T	T	F	    F	                     F
T	F	T	    T	                     T
T	F	F	    F	                     T
F	T	T	    T	                     T
F	T	F	    F	                     F
F	F	T	    T	                     T
F	F	F	    F	                     T

Ok thanks but is it right?
 
There are two things I don't understand about this problem. First, when finding the nth root of a number, there should in theory be n solutions. However, the formula produces n+1 roots. Here is how. The first root is simply ##\left(r\right)^{\left(\frac{1}{n}\right)}##. Then you multiply this first root by n additional expressions given by the formula, as you go through k=0,1,...n-1. So you end up with n+1 roots, which cannot be correct. Let me illustrate what I mean. For this...
Back
Top