MLG - Logika

up:: MLG

Resource

• 💾 P1,2 / C1,2,3
• 📓 / 🎥
• 🕸️ / 🎥

Cheatsheets

Názvy

Binárně

Morganovo pravidlo

Notes

Notes

• výrok = jakékoli tvrzení (true/false)

• Implikace

  • ⇒
    • Lottery promise
      • 1💵|🏠0 ⇒ F
      • vyhrál ale nesplnil slib
  • ⇔ vs ⇒
    • x>10 ⇒ x>5 (zpětně ne)

• Definice

  • Tautologie je výrok, který je pro libovolné ohodnocení svých výrokových proměnných vždy pravdivý.
    • = pravda (logický důsledek)

výroková formule

• 0 vše = Kontradikce (A ⇔ B)
• 1 vše = Tautologie (A ≡ B)
• 1+ = Splnitelná

Pozor

• sledovat pořadí B→A (prohozené)
• správná ()
• . = a

Výroková logika

Hide

C2	C3	C4

• Slovní úloha

  • Význam pravdivostní tabulky

• Disjunktivní tvar

  • Morgan: A→B ≡ A'vB
  • v (∧) a ()v() = (konjukce)disujkce(-/-)
  • uplný = roznásobit

• Násobení

  • 1. 1 = (BvB')
  • 2. x∧B, x∧¬B

• Tabulka

  • 🎥

• Důsledky ->

  • 🎥 slovní
  • φ -> formule

• Ekvivalence <-> ≡

  • 🎥

• Převod

  • 🎥 uplný
  • Způsoby
    • 1. Tabulka
      • T->1->[ABC]
    • 2. De Morganovo pravidla
  • UDT ⇒ násobit
    • Úplný disjunktivní
    • každá s každým (ABC)
    • (umět násobit)

• Minimalizace 1**

  • 🎥12
  • Quinove predikáty
    • sloupce AB' → 1-1
    • nahradit *
    • tabulka
      • co potřebujeme použít?
    • výsledek * = skip