ප්‍රවර්ගය: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.

උපප්‍රවර්ග

මෙම ප්‍රවර්ගය සතු වන්නේ පහත දැක්වෙන උපප්‍රවර්ගය පමණි.

P

"https://si.wikipedia.org/w/index.php?title=ප්‍රවර්ගය:Propositional_calculus&oldid=578104" වෙතින් සම්ප්‍රවේශනය කෙරිණි