Logikai ekvivalencia

Innen: testwiki

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”