Explain the fundamental principles of formal logic, including propositional and predicate logic. Discuss how logical reasoning systems work and their relationship to artificial intelligence. Provide examples of deductive and inductive reasoning, and explain how these reasoning methods differ in their approach to reaching conclusions.