<aside>
💡 Per cercare un argomento specifico (dovunque tra tutte le pagine) premere Ctrl (o Cmd) + P o premere il tasto search in alto a destra.
</aside>
Tipi di logica
Logica proposizionale
Logica del primo ordine (Logica dei predicati)
Circonstanza ai vari "livelli"
Esercizi di traduzione
Regole nell sistema inferenziale Fitch
Regole dell'identitÃ
Vero-funzionalitÃ
Regole del Or
Regole del And
Regole del assurdo
Regole per Not. Dimostrazione per assurdo
Condizionali
Regole di ∀
Regole di ∃
Procedura inferenziale TAUT CON
Procedura inferenziale FO CON
Procedura inferenziale ANA CON
Peano Induction
Principio di induzione forte