ප්රවර්ගය:Propositional calculus
Appearance
Propositional calculus හා සබැඳි මාධ්ය විකිමාධ්ය කොමන්ස් හි ඇත.
Propositional logic (also referred to as Sentential logic) refers to a form of logic in which formulae known as "sentences" can be formed by combining other simpler sentences using logical connectives, and a system of formal proof rules allows certain formulae to be established as theorems.