voved vo teorijata na mno@estvata i matemati^kata logika

T ⊥ ⊥
⊥ T ⊥
⊥ ⊥ ⊥
Zna~i,
p∧q e to~na re~enica ako i samo ako i p i q se to~ni re~enici.
Vo obi~niot govor postojat dve upotrebi na svrznikot "ili":
"p ili q ili i dvete" (vklu~itelna disjunkcija),
"p ili q, no ne i dvete" (isklu~itelna disjunkcija).
Znakot ∨ go koristime za vklu~itelna disjunkcija, a vrednosta na
vistinitost na re~enicata "p∨q" vo zavisnost od vrednostite na
vistinitost na iskazite p i q se definira so slednava tablica:
Zna~i,
p q p∨q
T T T
T ⊥ T
⊥ T T
⊥ ⊥ ⊥
p∨q e neto~na re~enica ako i samo ako i p i q se neto~ni
re~enici.
Vo ovaa smisla i re~enicata "2⋅2=5 ili Pariz e glaven grad na
Francija" ja smetame za to~na re~enica, iako od jazi~na gledna to~ka nema
smisla spojuvawe na tolku razli~ni re~enici so svrznikot "ili".
Drug na~in na formirawe "slo`eni" re~enici e formirawe na
uslovni re~enici.
Primeri:
1. Ako `elezoto e metal, toga{ toa e kovno.
2. Ako vrne, }e zemam ~ador.
3. Ako 2⋅2=4, toga{ Pariz e glaven grad na Francija.
4. Ako 2⋅2=5, toga{ Pariz e glaven grad na Francija.
5. Ako 2⋅2=4, toga{ Pariz e glaven grad na Makedonija.
6. Ako 2⋅2=5, toga{ Pariz e glaven grad na Makedonija.
Re~enicite 3-6 od smislovna sodr`ina ne se dobri, no od gledna
to~ka na matemati~kata logika, tie ne samo {to se dobro formirani, tuku i
13