Category:Propositional calculus

Wikimedia Commons logo
Wikimedia Commons has media related to Propositional logic.
The main article for this category is Propositional logic.

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.

Subcategories

This category has the following 7 subcategories, out of 7 total.

Next items are not visible in browsers without Javascript

L

N

P

R

T

Next items are not visible in browsers without Javascript

This category content has been reduced to only pages contained in the ZIM file.

This page is issued from Wikipedia. The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.