1. A principle or regulation based on the laws of logic that governs valid reasoning and inference
The law of non-contradiction is a fundamental logical rule in classical logic.
A lei da não-contradição é uma regra lógica fundamental na lógica clássica.
2. A formal principle used in mathematics, computer science, or philosophy to determine the validity of arguments or propositions
In programming, logical rules define how conditions are evaluated in if-statements.
Na programação, as regras lógicas definem como as condições são avaliadas em declarações if.