Toplista
- betöltés...
Ha szívesen korrepetálnál, hozd létre magántanár profilodat itt.
Ha diák vagy és korrepetálásra van szükséged, akkor regisztrálj be és írd meg itt, hogy milyen tantárgyban!
Ítéletkalkulus - Diszkrét matematika
Barniacica
kérdése
384
Jelölje ◦ a „sem-sem” logikai műveletet, azaz tetszőleges A, B ítéletekre A ◦ B jelentése: „sem A, sem B”.
A logikai alapműveletekkel kifejezve: A ◦ B ≡ (¬A) ∧ (¬B).
-> Fejezzük ki a ¬, ∨, ∧ műveleteket a ◦ művelet segítségével (formulák logikai ekvivalenciája erejéig).
Tudnátok kérlek segíteni nekem ebben a feladatban? Szeretném megérteni, hogy hogyan kell, úgyhogy ha egy rövid magyarázatot tudnátok adni megköszönném:-)
A logikai alapműveletekkel kifejezve: A ◦ B ≡ (¬A) ∧ (¬B).
-> Fejezzük ki a ¬, ∨, ∧ műveleteket a ◦ művelet segítségével (formulák logikai ekvivalenciája erejéig).
Tudnátok kérlek segíteni nekem ebben a feladatban? Szeretném megérteni, hogy hogyan kell, úgyhogy ha egy rövid magyarázatot tudnátok adni megköszönném:-)
Jelenleg 1 felhasználó nézi ezt a kérdést.
ítélet, ítéletkalkulus, Dimat, diszkrét, Matematika, Logikai
ítélet, ítéletkalkulus, Dimat, diszkrét, Matematika, Logikai
0
Felsőoktatás / Matematika
Válaszok
1
-O-
{ Fizikus }
megoldása
A ¬ kifejezése: `color(red)(¬A ≡A ◦ A)` hasonlóan B-vel is. A jobb oldal kimondva: "sem A, sem A". Ez azt jelenti, hogy nem A.
A ∨ kifejezése: `color(red)(A∨B≡¬(A ◦ B))`. A jobb oldal kimondva: nem(sem A, sem B).
Ezt igazságtáblával be is bizonyítottam, csatolom.
Az ∧ kifejezése: `color(red)(A∧B≡(¬A)◦(¬B))`. A jobb oldal kimondva: sem nem A, sem nem B. Szintén csatolok igazságtáblás bizonyítást.
A ∨ kifejezése: `color(red)(A∨B≡¬(A ◦ B))`. A jobb oldal kimondva: nem(sem A, sem B).
Ezt igazságtáblával be is bizonyítottam, csatolom.
Az ∧ kifejezése: `color(red)(A∧B≡(¬A)◦(¬B))`. A jobb oldal kimondva: sem nem A, sem nem B. Szintén csatolok igazságtáblás bizonyítást.
Módosítva: 2 éve
1
- Még nem érkezett komment!