Propositional Calculus

Grzegorz Bancerek

Warsaw University, Bialystok

Agata Darmochwal

Warsaw University, Bialystok

Andrzej Trybulec

Warsaw University, Bialystok

Summary.

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

Supported by RPBP.III-24.C1.

MML Identifier: LUKASI_1

Contents (PDF format)

Bibliography

[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.