Here's the question you clicked on:
a123
inconsistent or consistent premises? symbolic logic! Premises: 1) (B ->C) -> A 2) B -> D 3) D -> C 4) ~A v ~D
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
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
is there a less brute method for these?
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
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
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
any way I dice it; it come out inconsistent
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