Wybrane twierdzenia dotyczące L3 Dla logiki L3 obowiązuje ograniczone oraz iterowane twierdzenie o dedukcji wprost. Iterowane twierdzenie o dedukcji wprost: Ograniczone twierdzenie o dedukcji wprost: jeżeli jest tezą, to
W roku 1931 Mordechaj Wajsberg pokazał, że dla systemu L3 obowiązuje twierdzenie o pełności, czyli że każda tautologia rachunku L3 jest tezą L3 i na odwrót.
Zobacz też logika wielowartościowa Sietuń (komputer)
Przypisy
Bibliografia Porębska Małgorzata, Suchoń Wojciech, Elementarny wykład logiki formalnej z ćwiczeniami komputerowymi, Universitas, Kraków 1999. Porębska Małgorzata, Suchoń Wojciech, Elementarne prowadzenie w logikę formalną, PWN, Warszawa 1991.
Kategoria:Logika matematyczna Kategoria:Polskie odkrycia matematyczne