Material Logic And Formal Logic Examples