w
' °
Aleje
f
w w w w W W
t w
w f f w t f
=
Gegenteil f w t w w f
f f f f W W
1.6
Reihenfolge vor nie vor →
E. ¢ steht für KIKI
f- E)
Ich ☒ y
→ →
# E IÄNI E →
- '
'
En # →
InEIKHvht.lt -
>
IGEIVI)
E t I → ¥ ( E E) >
- ^ / I. →
E) ☒ → EVI E-F- F- HI
W W w w w w
w
w f f f w t
f
t w w f u u
f
t f w w w w
w
Tautologie
logisch äquivalent
, "
Logische Äquivalenzen Rechenregel„
de Morgan Regel :
* →In /✗ →
4) äquu .
$ ↓ ↳ ,
In # ä 7 # -
v
tlovt - "-
¢ →
t i / Evtl ä ' En it
En
-
- -
IHN ) -
" -
tut EE - " -
¥
Er § -
" -
Er F-
E- Für alle J Es gibt -
- -
/ tönt / -0
In Hin -01 -
-
" -
- -
^
lövllüv-0)
- ( Ötv F) v -0 - " -
( Än E) v Hr -0)
-
④ Hiv -0) ^ - " -
Ev (In -0 ) " LIVE ) ^ Hvo )
-
- -
1 z.B .
Die Aussage ¥ × ≥0 >
wahr für natürliche Zahlen
>
falsch für ganze Zahlen
2 z.B .
Die Aussage V7 Ex ltyly sind dieselbe Aussage
>
gebundene Variable
3 Z.B .
H¥
4 Quantoren gleicher Art können vertauscht werden , jedoch nicht t und ] .
N
f- Die Aussagen Kitty ×
>
y und Kitty ×> y sind gleich äquivalent
ttify y > × und f-ytfx y
> × sind verschieden
G
5 z.B.tk Ex und >
3- × 7€ × drücken gleichen Sachverhalt
aus .
, 1. 3 G
Def Eine für beliebige Objekte
"
.
:
Menge ist ein
gedanklicher Behälter
„
mathematische .
> Für eine Menge A interpretieren wir die Aussage
✗ EA als „
× ist ein Element von A oder ✗ E A
^ ^
✗ ist enthalten in A
Objekt Menge
>
Für ✗ EA schreiben wir abkürzend ✗ EA
*
Mengen besitzen keine von Natur aus
vorgegebenen Eigenschaften o .
Strukturen
>
legen Eigenschaften fest
wir
*
Mengen können unendlich viele Objekte en.fi: allen Abkürzung : ✗
¢A für ✗ c- A
Mengenlehre : ◦ alle mathematischen Objekte sind spezielle Mengen
◦
alle Elemente Mengen sind selbst Mengen von
◦
alle Eigenschaften und Beziehungen mathematischen Objekten v.
untereinander werden mittels d E Relation ausgedrückt .
-
12 10 22
Wir spezifizieren Mengen üblicherweise auf folgende Art :
1 ∅ nennen wir leere Menge Menge ,
ohne Elemente
✗ £ ∅ ist falsch für belieb . ✗
2
Endliche Mengen können wir aufzählen !
{ 0,7 2,1 } ,
.
>
ungerade Zahlen
Unendliche Mengen
"
ist problem ±.
"
: isch
{ 0,2 4,6} ,
.
→
gerade Zahlen
3 Auswählen bestimmter Elemente einer Menge A Bsp
.
gerader Zahlen
Aussage ☒ (x) ist wahr
:
>
← B. :
{ ✗ EIN In EIN In } : =
×
>
Notation wird verwendet :
{ ✗ EA § × }
Relationen für Mengen :
^ A ist eine
Teilmenge von B oder Bist eine
Obermenge von A
>
geschrieben : Ac B o .
BIA
,
falls jedes Element von A auch Element
von B ist falls also gilt
,
>
Vx ✗ c- A >
✗ EB
jede leere Menge ist Teilmenge jeder anderen Menge
2 A und B sind identisch
>
geschrieben A B falls A : =
, genau die selben Elemente wie B enthält ,
falls also
gilt " |
Vx ✗ EA
< >
✗ c- B =
„
Extensionalitäts prinzip .
The benefits of buying summaries with Stuvia:
Guaranteed quality through customer reviews
Stuvia customers have reviewed more than 700,000 summaries. This how you know that you are buying the best documents.
Quick and easy check-out
You can quickly pay through credit card or Stuvia-credit for the summaries. There is no membership needed.
Focus on what matters
Your fellow students write the study notes themselves, which is why the documents are always reliable and up-to-date. This ensures you quickly get to the core!
Frequently asked questions
What do I get when I buy this document?
You get a PDF, available immediately after your purchase. The purchased document is accessible anytime, anywhere and indefinitely through your profile.
Satisfaction guarantee: how does it work?
Our satisfaction guarantee ensures that you always find a study document that suits you well. You fill out a form, and our customer service team takes care of the rest.
Who am I buying these notes from?
Stuvia is a marketplace, so you are not buying this document from us, but from seller oliviaprmel. Stuvia facilitates payment to the seller.
Will I be stuck with a subscription?
No, you only buy these notes for $4.87. You're not tied to anything after your purchase.