Question

inconsistent or consistent premises? symbolic logic!
Premises:
1) (B ->C) -> A
2) B -> D
3) D -> C
4) ~A v ~D

Answer 1

1) (B ->C) -> A
t t
f tf

2) B -> D
t t
f tf

3) D -> C
t t
f tf

4) ~A v ~D
t t

hmmmmm

Answer 2

1) (B ->C) -> A
f tf
t f

2) B -> D
t [t]
<--- aint that route, try again
3) D -> C
[f] f

4) ~A v ~D
f t

Answer 3

is there a less brute method for these?

Answer 4

1) (B ->C) -> A
t f
f f

2) B -> D
t f ....... bad premise there then

3) D -> C
f f

4) ~A v ~D
f f

Answer 5

1) (B ->C) -> A
t t
t t


2) B -> D
t f ...... bad again

3) D -> C
f t

4) ~A v ~D
t f

Answer 6

1) (B ->C) -> A
t t
f tf

2) B -> D
t t
f tf

3) D -> C
t t
f tf

4) ~A v ~D
t t ..... bad premise just out right that way

Answer 7

any way I dice it; it come out inconsistent

Answer 8

1) (B ->C) -> A
t f
f f

2) B -> D
t t


3) D -> C
t t


4) ~A v ~D
f t

its inconsistent to me