Logica propositionalis
Logica propositionalis, in logica et mathematica, dicitur cognitionis ratio quae praecipue ad argumentorum analyses spectat. 

Argumentum quoddam in varias propositiones dividitur; quae appellantur praemisa et deductiones seu conclusiones, quae verae aut falsae possunt esse; quae in denotatione formali litteris A, B, C, etc., repraesentantur et coniunguntur per sex operationes logicas, invicem symbolis repraesentatas, quae sunt: condicionale (), bicondicionale (), coniugens (), disiugens (), excludens (), negans (), et implicans ().

Argumentum, cum legibus logicae propositionalis paret, validum esse dicitur; et argumentum validum, cum omnia praemisa eius sunt vera, verum dicitur.

Definitio operationum

Condicionalis 
Propositio condicionalis dicit: "Si , tunc ". Si  et  praemisa proposita sunt, scimus: 
 si  verum est et  verum,  verum esse;
 si  verum est et  falsum,  falsum esse;
 si  falsum est et  verum,  verum esse;
 si  falsum est et  falsum,  verum esse.

Bicondicionalis 
Propositio bicondicionalis dicit: "Si , tunc  si et solum si , tunc ."  Scimus igitur:
 si  et  vera sunt aut  et  falsa sunt,    verum esse;
 si  falsum est sed  verum est aut  verum est et  falsum est,    falsum esse.

Coniunctio 
Propositio coniunctiva dicit: " et  sunt vera." 
 si  et  vera sunt,  verum esse;
 si  aut  falsum est,  falsum esse.

Disiunctio 
Propositio disiunctiva dicit: " vel  verum est." 
 si  vel  verum est,  verum esse;
 si  falsum est et  falsum est,  falsum esse.

Negatio 
Propositio negativa dicit: "non ." Si  propositio est, scimus, 
 si  verum est,  falsum esse;
 si  falsum est,  verum esse.

Leges logicae propositionalis 
Argumentum, cum legibus paret, validum esse dicitur. Quae leges in tabula infra ostenduntur.

 Algebra Booleeana
 Associativitas (mathematica)
 Formula bene formata
 Logica
 Logica mathematica
 Mathematica discreta
 Ratio propositionum
 Theoria copiarum

Bibliographia
 Brown, Frank Markham. 2003. Boolean Reasoning: The Logic of Boolean Equations. Editio 1a. Norwell, Massachusettae. Editio 2a. Mineolae Novi Eboraci: Dover Publications.
 Chang, C. C., et H. J. Keisler. 1973. Model Theory. Amstelodami, Hollandiae Septentrionalis.
 Hofstadter, Douglas. 1979. Gödel, Escher, Bach: An Eternal Golden Braid. Basic Books. ISBN 978-0-46-502656-2.
 Kohavi, Zvi. 1970, 1978. Switching and Finite Automata Theory. McGraw–Hill.
 Korfhage, Robertus R. 1974. Discrete Computational Structures. Novi Eboraci: Academic Press.
 Lambek, J., et P. J. Scott. 1986. Introduction to Higher Order Categorical Logic. Cantabrigiae: Cambridge University Press
 Mendelson, Elliot. 1964. Introduction to Mathematical Logic. D. Van Nostrand Company.

!