Du kan hämta PDF-filen för D’Morgans lagar för matematisk logik här: https://lundaricardo.files.wordpress.com/2017/10/dmorgans-lagar-fc3b6r-matematisk-logik3.pdf

D’Morgans lagar för matematisk logik.
Låt p, q och r vara satser, teser eller påståenden som kan vara sanna eller falska.
Låt följande vara fasta värden: 1 = Sant. 0 = Falskt.
Låt följande vara operatörer över eller mellan satser:
• ¬p …. ej p eller komplement till p
• p∧q … p och q
• p∨q … p eller q
• p→q … p implicerar q eller p betyder q
• p≡q … p ekvivalent q eller p fullt motsvarande q

01 – Kommutativa lagen:
• (p ∨ q) ≡ (q ∨ p)
• (p ∧ q) ≡ (q ∧ p)

02 – Associativa lagen :
• [p ∨ (q ∨ r)] ≡ [(p ∨ q) ∨ r]
• [p ∧ (q ∧ r)] ≡ [(p ∧ q) ∧ r]

03 – Distributiva lagen:
• [p ∨ (q ∧ r)] ≡ [(p ∨ q) ∧ (p ∨ r)]
• [p ∧ (q ∨ r)] ≡ [(p ∧ q) ∨ (p ∧ r)]

04 – Redundans eller identitets lagar:
• (p ∨ 1) ≡ 1 och (p ∧ 1) ≡ p
• (p ∨ 0) ≡ p och (p ∧ 0) ≡ 0
• (p ∨ p) ≡ p och (p ∧ p) ≡ p
• (p ∨ ¬p) ≡ 1 och (p ∧ ¬p) ≡ 0

05 – Absorptions lag:
• p ∨ (p ∧ q) ≡ p
• p ∧ (p ∨ q) ≡ p

06 – Involutions lag eller dubbel negation som en bekräftelse: ¬(¬p) ≡ p

07 – Modus Ponens: [(p → q) ∧ p] → q

08 – Modus Tollens eller att neka i Modus Ponens: (p → q) ≡ (¬q → ¬p)

09 – Att neka ett uttryck:
• ¬(p ∨ q) ≡ (¬p ∧ ¬q)
• ¬(p ∧ q) ≡ (¬p ∨ ¬q)

10 – När ett påstående blandas med sitt komplement:
• [ p ∨ (¬p ∧ q)] ≡ (p ∨ q)
• [ p ∧ (¬p ∨ q)] ≡ (p ∧ q)

11 – Övergångs lag: [(p → q) ∧ (q → r)] → (p → r)

12 – Reflexiva lagen: [(p → q) ∧ (q → p)] ≡ (p ≡ q) eller (p ≡ q) ≡ [(p → q) ∧ (q → p)]

Annonser

För närvarande svarar jag inte på begäran på grund av sjukdom och det kommer att förbli på det sättet under en lång tid.

Tack!

Lundaricardo.

Adelina: Föremål som faller…

Publicerat: 4 oktober, 2014 i Uncategorized

Här kommer ditt svar.
Här kan du kolla eller ladda ner svaret i form av ett pdf-dokument: 2014-06-05 Adelina
Har du ytterligare frågor om uppgiften, så ställ gärna dessa.

Var så god…

Lundaricardo.

Här kommer ditt svar.
Här kan du kolla eller ladda ner svaret i form av ett pdf-dokument: 2011-05-26 Sяwa ✫ ★ Soleyman.pdf
Har du ytterligare frågor om uppgiften, så ställ gärna dessa. Var så god…

Rättelse. Här kommer en lite annorlunda (och nu rätt) lösning till uppgiften 2: Rättelse

Här kommer ditt svar.
Här kan du kolla eller ladda ner svaret i form av ett pdf-dokument: 2011-05-23 Sяwa ✫ ★ Soleyman.pdf
Har du ytterligare frågor om uppgiften, så ställ gärna dessa. Var så god…

Linser: Sяwa ✫ ★ Soleyman

Publicerat: 19 maj, 2011 i Uncategorized

Här kommer ditt svar.
Här kan du kolla eller ladda ner svaret i form av ett pdf-dokument: 2011-05-13 Sяwa ✫ ★ Soleyman.pdf
Har du ytterligare frågor om uppgiften, så ställ gärna dessa. Var så god…

Här kommer ditt svar.
Här kan du kolla eller ladda ner svaret i form av ett pdf-dokument: Cecilia 2011-05-16.pdf
Har du ytterligare frågor om uppgiften, så ställ gärna dessa. Var så god…