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