Journal of Formalized Mathematics
Volume 2, 1990
University of Bialystok
Copyright (c) 1990 Association of Mizar Users

Propositional Calculus

Grzegorz Bancerek
Warsaw University, Bialystok
Agata Darmochwal
Warsaw University, Bialystok
Andrzej Trybulec
Warsaw University, Bialystok


We develop the classical propositional calculus, following [3].

Supported by RPBP.III-24.C1.

MML Identifier: LUKASI_1

The terminology and notation used in this paper have been introduced in the following articles [4] [1] [2]

Contents (PDF format)


[1] Czeslaw Bylinski. A classical first order language. Journal of Formalized Mathematics, 2, 1990.
[2] Agata Darmochwal. A first-order predicate calculus. Journal of Formalized Mathematics, 2, 1990.
[3] Jan Lukasiewicz. \em Elementy logiki matematycznej. PWN, Warszawa, 1958.
[4] Zinaida Trybulec. Properties of subsets. Journal of Formalized Mathematics, 1, 1989.

Received September 26, 1990

[ Download a postscript version, MML identifier index, Mizar home page]