Graficzna metoda sprawdzania wyrażeń klasycznego rachunku zdań

Ładowanie...
Miniatura

Data

1999

Tytuł czasopisma

ISSN czasopisma

Tytuł tomu

Wydawca

Instytut Teologiczny w Tarnowie

Abstrakt

This paper presents a method of the graphic proofs in propositional calculus. We can use diagrams, similar to Venn’s diagrams to draw premisses and inferences. Then we can check their validity. The diagrams enable us to see whether premisses are sufficient or two strong and what other inferences could be derived. The graphic method could be used as an educational aid in teaching logic. Sometimes it is simpler than other methods, sometimes it is more difficult, but always it is creative. One more advantage of the graphic method is the possibility of using computer programs in performing logical proofs.

Opis

Zawiera ilustracje, tabele, diagramy.

Słowa kluczowe

logika, metoda graficzna, wartości logicznych zdań składowych, klasyczny rachunek zdań, wyrażenia klasycznego rachunku zdań, logic, graphic method, dowodzenie logiczne, logical proof, rachunek zdań, propositional calculus, classical propositional calculus, expressions of classical propositional calculus, values of logical clauses

Cytowanie

Tarnowskie Studia Teologiczne, 1999, T. 18, cz. 1, s. 71-82.

Licencja

Attribution-NonCommercial-NoDerivs 3.0 Poland