img213

img213



Dowód wprost implikacj i A=>B wychodzi od prawdziwego zdania A i przez łańcuch prawdziwych implikacji udowadnia prawdziwość zdania B /4-»A,, Al~*A2. A2—A3, ...Alt — B.

Dowód nie wprost implikacji A=>B polega na udowodnieniu jej przekształcenia ~\B^~\A Dowód przez sprzeczność. Zdanie A udowodnimy sporem następująco:

1.    zdanie A negujemy;

2.    zlA wyciągamy wniosek logiczny, który jest nieprawdziwy;

3.    z nieprawdziwości"! A wynika, że prawdziwe jest zdanie A.

Zasada indukcji matematycznej. Dowód twierdzenia VneN, nzn0 V(n) opiera się na dwóch krokach i wnioskach:

1.    krok: udowadniamy. żeV(n) jest prawdziwe dla n =n0; więc V(n0) jest prawdziwe.

2.    krok: dla każdego ki.nn udowadniamy, że z prawdziwości V(k). wynika prawdziwość

V(*+l).

Wniosek:    potwierdzam prawdziwość twierdzenia.


3.2. ZBIORY I PRZEDZIAŁY LICZBOWE



10


Wyszukiwarka

Podobne podstrony:
img213 Dowód wprost implikacj i A=>B wychodzi od prawdziwego zdania A i przez łańcuch prawdziwych
img213 Dowód wprost implikacj i A=>B wychodzi od prawdziwego zdania A i przez łańcuch prawdziwych
10843 konspekt (7) koniecznie prawdziwy. Poznanie teoretyczne wychodzi od pierwszych zasad a polega
skanuj0040 Bohater liryczny Aktu urodzenia zdaje sobie doskonale sprawę z faktu, że bardziej od praw
Megaprocesy przecinają wszystkie funkcje w przedsiębiorstwie — wychodzą od zaopatrzenia (dostawców)
Instytucjonalna ekonomia polityczna Wychodzi od tezy, iż instytucje mają podstawowe znaczenie dla
48826 Image (58) S2 < )l.(iA DAWIDOWK / ( IIYMKOWSKA od pierwszego zdania wiedzieli, że skończy
JAK ODRÓŻNIĆ?ŁSZYWE UZDROWIENIA OD PRAWDZIWYCH 1 X JAK OcDKÓŻmĆ (FAzszrWE uzęDKoWiEmA 0<D (PKflWt
Slajd38 5 Metoda simpleks W najogólniejszym zarysie metoda simpleks polega na tym, że wychodząc od p
ilościowej, dopóki zanieczyszczenia nie zostaną rozdzielone w detektorze od prawdziwego piku analitu
1 (423) 1.2. Błąd bezwzględny i względny. Wyniki pomiarów odbiegają od prawdziwej wartości ze względ
IMAG0102 23 Wprowadzenie: przekład - język - literatura wcześniejsza werąja 1980), wychodząc od poję
Pojęcie chwytu. Wiktor Szkłowski Szlaka jako chwyt (1917). Szkłowsiri wychodzi od stanowiska Aleksan
Popper17 u KARL R. POPPER Wychodziłby od krótkiego, lecz jasnego przedstawienia sytuacji problemowej

więcej podobnych podstron