maths, like whaaaaaaaaaaaaaaa? Flashcards
Propietats T-1, Distributiva
φ ∧ (ψ ∨ θ) ≡ (φ ∧ ψ) ∨ (φ ∧ θ)
φ ∨ (ψ ∧ θ) ≡ (φ ∨ ψ) ∧ (φ ∨ θ)
Propietats T-1, De Morgan
¬(φ ∧ ψ) ≡ ¬φ ∨ ¬ψ
¬(φ ∨ ψ) ≡ ¬φ ∧ ¬ψ
Propietats T-1, Absorció
φ ∧ (φ ∨ ψ) ≡ φ
φ ∨ (φ ∧ ψ) ≡ φ
Propietats T-1, Idempotència
φ ∧ φ ≡ φ
φ ∨ φ ≡ φ
Propietats T-1, Commutativa
φ ∧ ψ ≡ ψ ∧ φ
φ ∨ ψ ≡ ψ ∨ φ
Propietats T-1, Associativa
φ ∧ (ψ ∧ θ) ≡ (φ ∧ ψ) ∧ θ
φ ∨ (ψ ∨ θ) ≡ (φ ∨ ψ) ∨ θ
Propietats T-1, Neutre
φ ∧ 1 ≡ φ
φ ∨ 0 ≡ φ
Propietats T-1, Element absorbent
φ ∨ 1 ≡ 1
φ ∧ 0 ≡ 0
Propietats T-1, Complementari
φ ∨ ¬φ ≡ 1
φ ∧ ¬φ ≡ 0
Propietats T-1, Doble negació
¬¬φ ≡ φ
¬1 ≡ 0
¬0 ≡ 1
Traducció de la →
φ → ψ ≡ ¬φ ∨ ψ
Traducció de la ↔
φ ↔ ψ ≡ (φ → ψ) ∧ (ψ → φ)
≡ (φ ∧ ψ) ∨ (¬φ ∧ ¬ψ)
¬∀𝑥φ ≡
∃𝑥¬φ
∀𝑥∀𝑦φ ≡
∀𝑦∀𝑥φ
∃𝑥∃𝑦φ ≡
∃𝑦∃𝑥φ
¬∃𝑥φ ≡
∀𝑥¬φ
∀𝑥 (φ ∧ ψ) ≡
∀𝑥φ ∧ ∀𝑥ψ
∃𝑥 (φ ∨ ψ) ≡
∃𝑥φ ∨ ∃𝑥ψ
Demostració d’un existencial ∃𝑥𝑃(𝑥):
El mètode més senzill és donar un element 𝑎 del domini que tingui la propietat 𝑃. Un sol exemple és suficient.
Això mateix s’aplica a la demostració que un enunciat universal és fals, ja que ¬∀𝑥𝑃(𝑥) ≡ ∃𝑥¬𝑃(𝑥). La demostració de la falsedat de ∀𝑥𝑃(𝑥) es fa donant un element 𝑎 del domini que no tingui la propietat 𝑃; 𝑎 rep el nom de contraexemple.
Demostració d’un universal ∀𝑥𝑃(𝑥):
Hem de veure que tots els elements del domini satisfan la propietat 𝑃. Si hi ha pocs elements, ho podem verificar un a un. Si n’hi ha molts o infinits no quedarà més remei que donar-ne una “demostració”. Una demostració és un raonament que segueix unes certes regles. Tot i que fer una demostració pot arribar a ser molt difícil, la comprovació que aquesta és correcte no hauria de ser-ho. Però això requereix que la demostració estigui ben escrita. A l’apartat següent explicarem com es fa això. El mateix s’aplica a la demostració que un existencial és fals.
Tema 1.2 passos lògics
I. 𝐴 , 𝐵 ⇒ 𝐴
II. 𝐴 ⇒ 𝐴 𝑜 𝐵
III. 𝐴 𝑜 𝐵, 𝑛𝑜 𝐴 ⇒ 𝐵
IV. 𝐴 , 𝐴 ⇒ 𝐵 ⇒ 𝐵
V. 𝑛𝑜 𝐵 , 𝐴 ⇒ 𝐵 ⇒ 𝑛𝑜 𝐴
VI. 𝐴 ⇒ 𝐵 , 𝐵 ⇒ 𝐶 ⇒ 𝐴 ⇒ 𝐶
VII. 𝐴𝐵𝑆𝑈𝑅𝐷 ⇒ 𝐴
tautologies,
I. (𝑝 ∧ 𝑞) → 𝑝
II. 𝑝 → (𝑝 ∨ 𝑞)
III. ((𝑝 ∨ 𝑞) ∧ ¬𝑝) → 𝑞
IV. (𝑝 ∧ (𝑝 → 𝑞)) → 𝑞
V. (¬𝑞 ∧ (𝑝 → 𝑞)) → ¬𝑝
VI. ((𝑝 → 𝑞) ∧ (𝑞 → 𝑟)) → (𝑝 → 𝑟)
VII. 0 → 𝑝
Tema 1.2 passos no lògics
Passos no lògics: (aquí 𝑎, 𝑏, 𝑐, 𝑑… són números reals)
I. 𝑎 = 𝑏 ⇒ 𝐸(𝑎) = 𝐸(𝑏) (aquí 𝐸(𝑥) és una expressió on apareix 𝑥)
II. 𝑎 = 𝑏 , 𝑏 = 𝑐 ⇒ 𝑎 = 𝑐.
III. 𝑎 = 𝑏, 𝑎’ = 𝑏’ ⇒ 𝑎 + 𝑎’ = 𝑏 + 𝑏’, 𝑎𝑎’ = 𝑏𝑏’.
IV. 𝑎 ≤ 𝑏, 𝑏 ≤ 𝑎 ⇒ 𝑎 = 𝑏.
V. 𝑎 ≤ 𝑏 ⇒ − 𝑏 ≤− 𝑎.
VI. 𝑎 ≤ 𝑏 ⇒ 𝑎 + 𝑐 ≤ 𝑏 + 𝑐.
VII. 𝑎 ≤ 𝑏, 𝑐 ≤ 𝑑 ⇒ 𝑎 + 𝑐 ≤ 𝑏 + 𝑑.
VIII. 𝑎 ≤ 𝑏, 𝑐 ≥ 0 ⇒ 𝑎𝑐 ≤ 𝑏𝑐.
IX. 0 ≤ 𝑎 ≤ 𝑏, 0 ≤ 𝑐 ≤ 𝑑 ⇒ 𝑎𝑐 ≤ 𝑏𝑑.
X. Les propietats V,VI,VII,VIII i IX també valen amb < enlloc de ≤.
llenguatge demostratiu
Mètodes de demostració
Prova directa.
Prova pel contrarecíproc.
Reducció a l’absurd
Reducció a l’absurd II
Prova d’una disjunció
Disjunció al conseqüent
Disjunció a l’antecedent
Prova per casos
Demostració d’una equivalència
Demostració de la unicitat
1.3 Passos no lògics, Propietats de la igualtat
- 𝑎 = 𝑎 (reflexiva)
- 𝑎 = 𝑏 ⇒ 𝑏 = 𝑎 (simètrica)
- 𝑎 = 𝑏 , 𝑏 = 𝑐 ⇒ 𝑎 = 𝑐 (transitiva)
- 𝑎 = 𝑏 ⇒ 𝐸(𝑎) = 𝐸(𝑏) (aquí 𝐸(𝑥) és una expressió on apareix 𝑥)
- 𝑎 = 𝑏 ⇒ 𝑎 + 𝑐 = 𝑏 + 𝑐
- 𝑎 = 𝑏 ⇒ 𝑎𝑐 = 𝑏𝑐
- 𝑎 = 𝑏 ⇒ 𝑎
2 = 𝑏
2 - 𝑎 = 𝑏, 𝑎’ = 𝑏’ ⇒ 𝑎 + 𝑎’ = 𝑏 + 𝑏’
- 𝑎 = 𝑏, 𝑎’ = 𝑏’ ⇒ 𝑎𝑎’ = 𝑏𝑏’
1.3 Passos no lògics, Propietats de la suma i el producte
- 𝑎 + (𝑏 + 𝑐) = (𝑎 + 𝑏) + 𝑐 (Associativa de la suma)
- 𝑎 + 𝑏 = 𝑏 + 𝑎 (Commutativa de la suma)
- 𝑎 + 0 = 𝑎 (0 és el neutre de la suma)
- 𝑎 + (− 𝑎) = 0 (− 𝑎 és l’invers de 𝑎 per la suma)
- 𝑎(𝑏𝑐) = (𝑎𝑏)𝑐 (Associativa del producte)
- 𝑎𝑏 = 𝑏𝑎 (Commutativa del producte)
- 𝑎1 = 𝑎 (1 és el neutre del producte)
- 𝑎 ≠ 0 ⇒ 𝑎·(1/𝑎) = 1 (1/𝑎 és l’invers de 𝑎 pel producte)
- 𝑎(𝑏 + 𝑐) = 𝑎𝑏 + 𝑎𝑐 (distributiva )