Wat is identiteitswet in discrete wiskunde?
Wat is identiteitswet in discrete wiskunde?

Video: Wat is identiteitswet in discrete wiskunde?

Video: Wat is identiteitswet in discrete wiskunde?
Video: Set Identities (Part 1) 2024, December
Anonim

Dus de identiteitswet , p∧T≡p, betekent dat de conjunctie van elke zin p met een willekeurige tautologie T altijd dezelfde waarheidswaarde zal hebben als p (d.w.z. logisch equivalent zal zijn met p). Het betekent dat de disjunctie van elke zin p met een willekeurige tautologie T altijd waar zal zijn (zal zelf een tautologie zijn).

Ook om te weten, wat is de identiteitswet in wiskunde?

Een identiteit is een gelijkheid die geldt ongeacht de waarden die voor de variabelen zijn gekozen. Bijvoorbeeld de identiteit (x + y) 2 = x 2 + 2 xy + y 2 (x+y)^2 = x^2 + 2xy + y^2 (x+y)2=x2+2xy+y2 geldt voor alle keuzes van x en y, of het nu reële of complexe getallen zijn.

Wat is bovendien een voorbeeld van een identiteitsbeginsel? In de logica, de wet van identiteit stelt dat elk ding identiek is aan zichzelf. Het is de eerste van de drie wetten van het denken, samen met de wet van non-contradictie en de wet van uitgesloten midden. Het kan ook minder formeel worden geschreven als A is A. Een uitspraak van zo'n a beginsel is "Rose is een roos is een roos is een roos."

Vervolgens kan men zich ook afvragen, wat is de wet van De Morgan in discrete wiskunde?

De wetten van De Morgan beschrijf hoe wiskundig uitspraken en concepten zijn gerelateerd door hun tegengestelden. In de verzamelingenleer, De wetten van De Morgan relateren de kruising en vereniging van verzamelingen door middel van complementen. In de propositielogica, De wetten van De Morgan verband voegwoorden en disjuncties van proposities door middel van ontkenning.

Wat zijn discrete wiskundige implicaties?

Definitie: Laat p en q proposities zijn. De propositie "p of q", aangeduid met p ∨ q, is onwaar als zowel p als q onwaar zijn en is anders waar. De propositie "p impliceert q" aangeduid met p → q heet implicatie . Het is onwaar als p waar is en q onwaar en is anders waar.

Aanbevolen: