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

p⇒q, a vrednosta na vistinitost na iskazot "p⇒q" vo zavisnost od
vrednostite na vistinitost na iskazite p i q e definirana so slednava
tablica:
Zna~i,
p q p⇒q
T T T
T ⊥ ⊥
⊥ T T
⊥ ⊥ T
iskaz.
"p⇒q" e neto~en iskaz ako i samo ako p e to~en, a q neto~en
Upotrebata na implikacijata (⇒) ne e vo sprotivnost so obi~nata
upotreba, tuku ima pro{ireno zna~ewe.
Re~enicata "p ako i samo ako q" da ja ozna~ime so "p⇔q".
Zavisnosta na vrednostite na vistinitost na iskazite p i q i
vrednosta na vistinitost na p⇔q e prika`ana so slednava tablica:
Jasno e deka
p q p⇔q
T T T
T ⊥ ⊥
⊥ T ⊥
⊥ ⊥ T
"p⇔q" e to~no ako i samo ako p i q imaat ista vrednost na
vistinitost.
Simbolite ¬, ∧, ∨, ⇒, ⇔ se vikaat logi~ki svrznici. Sekoja
re~enica izgradena so pomo{ na ovie svrznici ima vrednost na vistinitost
koja zavisi od vrednosta na vistinitost na sostavnite (komponentni)
re~enici.
Poprecizno, }e definirame poim za iskazna formula na sledniov
na~in:
]e opredelime mno`estvo simboli od koi }e gradime iskazni
formuli. Nego }e go so~inuvaat: iskaznite bukvi, logi~kite konstanti,
logi~kite svrznici i pomo{nite simboli. Imeno mno`estvoto simboli se
sostoi od:
15