Iako je izbor osnovnih tautologija nužno relativan, neke tautologije se mogu izdvojiti kao najvažnije u iskaznom računu, bilo zbog toga što opisuju tradicionalne zakone mišljenja bilo zbog toga što su nezaobilazne u pojednostavljivanju formula. Sada ćemo ih navesti: Zakoni mišljenja: Zakon neprotivrečnosti:  ¬ (p ∙ ¬ p) Zakon isključenja trećeg:  p v ¬ p Ova […]