symbolic logic proof examples. There are any references about symbolic logic proof examples in here. you can look below.