Label: konvers
Equivalensi dan kalimat berkuantor dalam logika
IMPLIKASI LOGIS DAN EKUIVALEN LOGIS
Suatu bentuk pernyataan implikasi yang merupakan tautologi disebut implikasi logis.
Contoh:
Dua atau lebih pernyataan majemuk yang mempunyai nilai kebenaran sama disebut...