Логикалық пікірлердің белгілері.
Теорема. (логикалық салдардың белгісі). H формуласы F формуласының логикалық салдары болады сонда тек сонда ғана, қашан FH формуласы таврология болады: F=H=FH.
Теорема. Кез-келген F, …, F, H (m) формулалары үшін келесі тұжырымдар мәндес:
а) F, …, F=H
б) F F …, F=H
в) = (F F …, F)H
Теорема. Пікірлер алгебрасының екі формуласымәндес болады сонда тек сонда ғана, егер әрқайсысы бір-бірінің логикалық салдары болса:
FHF=H и H=F
Достарыңызбен бөлісу: |
