Advanced Search

Question: how to calculate implication logic result directly

Question:how to calculate implication logic result directly

ComputerUser 535 Maple 12
logic logical-problem
April 18 2017
0

i use

A -> B

B -> C

would like to find A -> C directly from A -> B and B -> C

but logic table show that AND(A->B, B->C) is not equal to A -> C

and (A->B) -> (B->C) is not equal to A -> C too

which logic operations can do this?

because do not want to use result to verify and because i do not know the result in the beginning
Please Wait...