Logikai formula

Innen: testwiki

A lap korábbi változatát látod, amilyen 145.236.19.16 (vitalap) 2020. január 4., 12:27-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 Az ítéletkalkulus formalizált ítéletekkel, azaz logikai formulákkal kapcsolatos témakörökkel foglalkozik. Egy logikai formulán az alábbi lépések véges sokszori alkalmazásával kapott kifejezéseket értjük: 1. Minden ítéletváltozó egyben logikai formula is. 2. Ha F és G logikai formula, akkor az $(\neg F), (F \land G), (F \lor G), (F \to G), (F \leftrightarrow G)$ kifejezések is logikai formulák.

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