Hoofdstu 1 Logica :
1 1 Een
.
:
logische uitspraak
1 1 1
. . .
Logische uitspraken en hun negatie
Logische uitspraak/propositie - 100% waar
of 100% wals
N 9 , ,
r ...
= een
propositie
↑ - niet of de negatie van p
A O
O 1
#
1 2 de associative
Eigenschap GELIKWARDIG
.
conjunctio
.
:
-
de conjunctie van 2 proposities is enkel waar ,
als ze beiden waar
zijn . (19) 12 M1(q1r)
8
19- de 11
↑ q Conjunctie van pen q 1 M
o
↑ ↑ 88 O
O
8 a8 8
O
D
O O
1 1 3 : de disjunctie
.
.
nar(1q)vr m(qVr)
De disjunctie van 2 proposities is enkel vals als beide proposities vals zijn 11
n
.
1 1
q Va
inclusive ↑ ↑ 8
of of not een of het ander of beide
e
, ,
exclusive of of Let of het ander
een
,
8 8
& & 8
O O
1 1
. .
4:
Logische uitspraken beoordelen F
A b
P 9-p -q pVrq (p(q) ↑ a Va Va
rava
- -
1 De uitspraak (pVVa
doa o a
O
1
↑ 1 is een
tautologie .
- T 1
uitspraak a en b
zijn logisch gelijkwaardig .
Tautologie altijd waar
Contradictie-altjol vals
.1 5
1 .
: Logische poorten
A
ZAMB A
& A
A 2
-
B
A
7 2 AVB
- 1
B
1 1 Een
.
:
logische uitspraak
1 1 1
. . .
Logische uitspraken en hun negatie
Logische uitspraak/propositie - 100% waar
of 100% wals
N 9 , ,
r ...
= een
propositie
↑ - niet of de negatie van p
A O
O 1
#
1 2 de associative
Eigenschap GELIKWARDIG
.
conjunctio
.
:
-
de conjunctie van 2 proposities is enkel waar ,
als ze beiden waar
zijn . (19) 12 M1(q1r)
8
19- de 11
↑ q Conjunctie van pen q 1 M
o
↑ ↑ 88 O
O
8 a8 8
O
D
O O
1 1 3 : de disjunctie
.
.
nar(1q)vr m(qVr)
De disjunctie van 2 proposities is enkel vals als beide proposities vals zijn 11
n
.
1 1
q Va
inclusive ↑ ↑ 8
of of not een of het ander of beide
e
, ,
exclusive of of Let of het ander
een
,
8 8
& & 8
O O
1 1
. .
4:
Logische uitspraken beoordelen F
A b
P 9-p -q pVrq (p(q) ↑ a Va Va
rava
- -
1 De uitspraak (pVVa
doa o a
O
1
↑ 1 is een
tautologie .
- T 1
uitspraak a en b
zijn logisch gelijkwaardig .
Tautologie altijd waar
Contradictie-altjol vals
.1 5
1 .
: Logische poorten
A
ZAMB A
& A
A 2
-
B
A
7 2 AVB
- 1
B
