propositional-logic
Rozwiąż zadania z logiki zdaniowej krok po kroku — tautologie, sprzeczności i dowody
Instalacja
Wybierz klienta i sklonuj repozytorium do odpowiedniego katalogu skilli.
Instalacja
O skillu
Umiejętność do rozwiązywania problemów z logiki zdaniowej w kontekście logiki matematycznej. Zawiera strategie identyfikacji struktury formuł, budowania tabel prawdy, stosowania reguł wnioskowania naturalnego oraz konstruowania tablic semantycznych. Narzędzie wspiera weryfikację spełnialności formuł, dowodzenie tautologii oraz analizę argumentów logicznych za pomocą zintegrowanych solverów Z3 i SymPy.
Jak używać
Zainstaluj umiejętność w swoim środowisku Claude, dodając katalog propositional-logic do folderu .claude/skills/math/mathematical-logic/.
Zidentyfikuj strukturę swojej formuły logicznej — określ, czy szukasz tautologii, sprzeczności czy formuły warunkowej. Ustal główny spójnik (AND, OR, IMPLIES, NOT, IFF).
Dla małych formuł (do 4 zmiennych) użyj metody tabeli prawdy, uruchamiając: uv run python -m runtime.harness scripts/sympy_compute.py truthtable "p & (p => q) => q". Wynik pokazujący same wartości T potwierdza tautologię.
Jeśli chcesz sprawdzić spełnialność lub udowodnić tautologię, zastosuj solver Z3 poleceniem: uv run python -m runtime.harness scripts/z3_solve.py prove "Implies(And(p, Implies(p,q)), q)". Narzędzie automatycznie weryfikuje, czy formuła jest zawsze prawdziwa.
Dla bardziej złożonych argumentów zastosuj naturalną dedukcję — przyjmij poprzednik warunkowego i wyprowadź następnik, korzystając z reguł takich jak Modus Ponens czy Modus Tollens.
W razie potrzeby skonstruuj tablicę semantyczną, rozkładając formułę na drzewo. Jeśli wszystkie gałęzie są zamknięte (prowadzą do sprzeczności), argument jest logicznie ważny.