Defennitting
1 :
Wiskundige beweringen en
bewijnen
ken Vordermeersch kuleuven
. . Vr
Waarheidstabellen
=
I
↑ 7 p p 19 pvq
1 1
1 1 D
10 &
S 1 D
01 D 1 1
O O ↑ O & 1
waarheidstabel enkel
& is een
kautlogie asa
mijn
s' brat
dezelfde hebben in
y en
4 hij logisch equivalent aso he worden een
waarheidskabel
OEF a) samen aan bord ⑮Ad al
--
0
⑰8
in -horivanhale Kabel
een
A Era : ⑪3
-
inter Fabel
⑰
,0015d
0011X
01 05 &
010 Ja
&
s
550 o
Jojo
Jj0]I -us
oo
-
05 -15
⑤ 000
85 j
D
0
,1 .
28)
-11
1
01
O O
1
1
O
&
O
↑
?
↳
tantologie
* lig mag
hetnietto
allemaa
apart 000
o 0
/ 01 0J &
0000515
80110015
oosa
Jos oss
· o 1505000J
5
·
11 011)o J
0015555 Sensua
5
oo
*
J
550550
, 1 .
3)
1)v
2) vii
Directe bewijnen
Verhal vanuit
gegenen en leid of het "Ee
bewijnen" k a
: A =
BER
als : aller als tip ailen delen
van
bata
P9 eig.
or fundamentee
:
hie
↓ ↓
⑱ , vid at u
1 : 8 a) De implicatie " n -
n-z = 0
= >n = 2 "is NIET waar voor alle
nez .
n = -1 is een
Regenvoorbeeld
e) Dene
intsprach is waar voor alle nee -
Edd ,
meem ne willekeurig en stel dat n =2
,
dan geldt
Mi
z implicatie
M )
de z = z 0
Hiermee is beweren dat
= -
n - =
z z =0
m
-
-
n - z = -
.
geldt voor alle n
d M2 n -
2 = 0 = > =T Nitwaar
1 :
Wiskundige beweringen en
bewijnen
ken Vordermeersch kuleuven
. . Vr
Waarheidstabellen
=
I
↑ 7 p p 19 pvq
1 1
1 1 D
10 &
S 1 D
01 D 1 1
O O ↑ O & 1
waarheidstabel enkel
& is een
kautlogie asa
mijn
s' brat
dezelfde hebben in
y en
4 hij logisch equivalent aso he worden een
waarheidskabel
OEF a) samen aan bord ⑮Ad al
--
0
⑰8
in -horivanhale Kabel
een
A Era : ⑪3
-
inter Fabel
⑰
,0015d
0011X
01 05 &
010 Ja
&
s
550 o
Jojo
Jj0]I -us
oo
-
05 -15
⑤ 000
85 j
D
0
,1 .
28)
-11
1
01
O O
1
1
O
&
O
↑
?
↳
tantologie
* lig mag
hetnietto
allemaa
apart 000
o 0
/ 01 0J &
0000515
80110015
oosa
Jos oss
· o 1505000J
5
·
11 011)o J
0015555 Sensua
5
oo
*
J
550550
, 1 .
3)
1)v
2) vii
Directe bewijnen
Verhal vanuit
gegenen en leid of het "Ee
bewijnen" k a
: A =
BER
als : aller als tip ailen delen
van
bata
P9 eig.
or fundamentee
:
hie
↓ ↓
⑱ , vid at u
1 : 8 a) De implicatie " n -
n-z = 0
= >n = 2 "is NIET waar voor alle
nez .
n = -1 is een
Regenvoorbeeld
e) Dene
intsprach is waar voor alle nee -
Edd ,
meem ne willekeurig en stel dat n =2
,
dan geldt
Mi
z implicatie
M )
de z = z 0
Hiermee is beweren dat
= -
n - =
z z =0
m
-
-
n - z = -
.
geldt voor alle n
d M2 n -
2 = 0 = > =T Nitwaar
