teorema lògic LÓG.

Fórmula lògica que expressa una veritat necessària, o una veritat lògica. És tota expressió lògica que pugui ser deduïda sense premisses.

Abreujadament: ├ B

Aquesta obra està sota una llicència de Creative Commons.