Fiche du document
2 juin 2019
- doi: 10.58079/surs
info:eu-repo/semantics/openAccess
Sujets proches
Conation Volition Cetanā Worth Axiology Conviction Semeiotics Signs Symbolic representation Symbols Representation, Symbolic Signs Signage Guide signs Sign-boards Signs and sign-boards Guide-posts Guideposts Signs (Advertising) Signboards Argumentation Ratiocination Tautology Argumentation Dialectic (Logic) Deduction (Logic) Deductive logic Logic, Deductive Ethology vérité (concept)Citer ce document
Joseph Honerkamp, « Tautologies and Concluding Rules », The nature of physics, ID : 10.58079/surs
Métriques
Partage / Export
Résumé
In the excursus on formal languages in the last blog post, we already got to know the signs and more general expressions of propositional logic. We have seen that there are special character strings, so-called tautologies, which are always true, i.e. independent of the truth values of the individual characters. We had also already introduced such a tautology, namely (A ∧ (A → B)) → B. Here we will show how logically correct reasoning rules can be formulated with the help of tautologies. Bu...