Begrepp kap 7

All None Save

• snitt, uppochner vänt V och kan skrivas som &&, 5 x 2 och
• ||, V, +, U >_1 eller
• !, snett L, -, *C(kompliment), [1]) Inte
• Implikation A-->B Gäller påstående A gäller också påstående B
• Ekvalens A <---> B A gäller bara om påstående B gäller
• Kvantifikationer innehåller upp och ner vänt V- och omvänt E För alla, för varje, det finns, det existerar
• Sanningstabell Visar vad som är sant eller falskt med hjälp av 1 elr 0 enligt satslogikens räknelagar
• p(x) Som en fråga eller ett villkor som kan ge sant eller falskt | predikat, tex till x som är en hund eller x = 5 och allt över 5 är sant resten är falskt då om x=3 ist för 5
• Något kan upprepas vilken antal gånger som helst, inklusive inte upprepas alls. betecknas med *, EX om vi har a som då blir a* kan det skrivas som "", "a", "aa", aaa" osv Kleenesstjärna
• Tautologi Visar att uttrycket alltid är sant oavsett sanningen hos dess delar, används för att bevisa logiska sanningar
• Kombination av logiska grindar AND, OR NOT Grindnät
• Skriva logiska uttryck genom att kombinera "ELLER grupper" med "OCH" EX Städar(unV)TvättarVDiskar Konjuktiv normalform
• Skriva logiska uttryck genom kombinera OCH-grupper med "ELLER" | Grönsaker(UONV)KöttVGrönsaker(uoV)Soppa Disjunktiv normalform (DNF)
• Kvantifikatorer Symboler i logiken som anger ett påstående gäller för alla eller några element i en mängd

All None Save