Wprowadzenie do logiki formalnej. Podręcznik dla humanistów

Отрывок из книги

Słowo wstępne

Rozdział 1. Logiczne własności zdań

.....

Teorię związków logicznych między zdaniami można w istocie ograniczyć do teorii wynikania logicznego (zwanego także konsekwencją logiczną). Pozostałe związki logiczne można bowiem zdefiniować za pomocą pojęcia wynikania logicznego jak następuje.

Niech symbole Z1, Z2 reprezentują dowolne zdania, a neg (Z1) i neg (Z2) – odpowiednio – zaprzeczenia zdań Z1, Z2. Wówczas:

.....