Dedukcja a Indukcja Logika jest nauką o zasadach rozumowania i wnioskowania. Jest stosowany w filozofii, etyce, psychologii, matematyce, semantyce i informatyce. Analizuje formularze przyjmowane przez argumenty, czy są one poprawne, czy nie, oraz czy są prawdziwe czy fałszywe. Argumenty są jednym lub więcej