Posts

Showing posts from January, 2025

what is logic?

I want to talk about the topic of logic in discrete mathematics and programming in general. Take these words as vaguely and loosely as possible. What is logic? I think that whenever the answers to these questions are present... "What is happening?" "why is it happening?" and "How is it happening?" then we can say that logic is established. Logic is the core of computer programming. The bit logic that tells a computer what to choose (1) and what to ignore (0) marks the beginning of any journey in advanced computer subjects. "Logic in discrete mathematics is the study of valid reasoning and inference, focusing on the principles that govern the truth of statements. It includes concepts such as propositional logic, predicates, and the rules of inference, which are essential for mathematical proofs and computer science applications." (GeeksforGeeks, Wikipedia) to me, logic is like postulates when forming an idea. "Logical Axioms" seem more a...