Mi a különbség a logikai és a materiális ekvivalencia között?

A matematikai logikában két formulát logikailag ekvivalensnek nevezünk, ha a bennük szereplő változók bármilyen kiértékelése esetén megegyezik a logikai értékük, azaz az igazságtáblázatuk azonos minden modellben. Az így definiált fogalom a logikai ekvivalencia fogalma, ami nem azonos az ekvivalenciával mint logikai művelettel.

Materiális ekvivalencia: Az akkor és csak akkor kifejezés egy természetes nyelvi, logikai természetű viszony (reláció), elnevezése a logikai grammatikában bikondicionális. Arra való, hogy két tagmondat felhasználásával olyan összetett mondatot képezzünk, mely szándékaink szerint azt fejezi ki, hogy mindkét tagmondat ugyanazon körülmények között tekinthető igaznak és hamisnak.

A materiális szót csak azért használjuk h megkülönböztessük a logikai ekvivalenciától, egyébként elhagyható

Nekem a materiális ekvivalencia az alkímia alaptörvényét jelent, azaz az egyenértékűség elvét.

Tehát, ahhoz, hogy megszerezhessünk valamit, valami vele egyenértékűt fel kell áldoznunk cserébe.

Például a kémiában, az egyenleteknél.

Ahhoz hogy nekem glaubersós vizem legyen, be kell adnom a kénsavamat meg a nátrium-hidroxidomat.

De nézhetjük egyenletrendezésként is, mert addig nem jó az egyenlet, míg a résztvevő anyagok száma és mennyisége mindkét oldalon (=) meg nem egyezik, vagyis ameddig nem teljesítődik az egyenértékűség.