8.2.1 Solutions to Truth Tables for statements

1. M > (M > M)

M                             >                             (M                            >                              M)

T T T T T
F T F T F

tautology

 

 

2. (G > G) > G

(G                              >                                G)                            >                              G

T T T T T
F T F F F

contingent

3. (S > R) ∙ (S ∙ ~R)

(S                       >                 R)                            .                    (S                     .                    ~R)

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

Self-contradiction

 

 

 

 

 

4. [(Q > P) ∙ (~Q > R)] ∙ ~(P v R)

 

[(Q            >          P)           .           (~Q         >           R)]             .      ~   (             P         v    R)

T T T T F T T F F T T T
T T T T F T F F F T T F
T F F F F T T F F F T T
T F F F F T F F T F F F
F T T T t T T F F T T T
F T T F T F F F F T T F
F T F T t T T F F F T T
F T F F T F F F T F F F

 

Self-contradiction

 

5. {[(G ∙ N) > H] ∙ [(G > H) > P]} > (N > P)

Leave a Reply

Your email address will not be published. Required fields are marked *