propositional-logic
Problem-solving strategies for propositional logic in mathematical logic
Installation
Pick a client and clone the repository into its skills directory.
Installation
About this skill
Problem-solving strategies for propositional logic in mathematical logic
How to use
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.