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