Logikai ekvivalencia

Innen: testwiki

A lap korábbi változatát látod, amilyen imported>LinguisticMystic 2024. október 9., 17:37-kor történt szerkesztése után volt.

(eltér) ← Régebbi változat | Aktuális változat (eltér) | Újabb változat→ (eltér)

Ugrás a navigációhoz Ugrás a kereséshez

Sablon:Humatek Legyen $F$ és $G$ két logikai formula. Azt mondjuk, hogy F és G logikailag ekvivalens, ha $F$ és $G$ képleteiben szereplő logikai változók tetszőleges kiértékelésére az $F$ és $G$ logikai értéke azonos. Ennek a jele $F \equiv G$ .

Sablon:En: Sablon:T

A lap eredeti címe: „https://hu.wiktionary.beta.math.wmflabs.org/w/index.php?title=Logikai_ekvivalencia&oldid=486”