Ekvivalentne formule

#fax #math #ds1 [deo iskazne logike]

Def. Iskazne formule i su logički ekvivalentne () ako za svaku valuaciju važi
(tj. je tautologija).

Važni primeri:

— zakon idempotentnosti
— zakon isključenja trećeg
— zakon dvojne negacije
— zakon asocijativnosti
— zakon komutativnosti
— zakon distrivutivnosti
— De Morganovi zakoni
— zakon apsorpcije
— refleksivnost impl./ekviv.
— tranzitivnost ekviv.
— kontrapozicija

Važne tautologije ():

— modus ponens
— svođenje na apsurd