Return to Video

Rozdział 2 Rachunek zdań B

  • 0:02 - 0:05
    W tym filmie prześledzimy dwa przykłady,
  • 0:05 - 0:08
    które pomogą nam przećwiczyć rysowanie rachunku zdań,
  • 0:08 - 0:11
    będącego po prostu sposobem na uporządkowanie
  • 0:11 - 0:15
    możliwych wartości logicznych w formie tabelarycznej,
  • 0:15 - 0:20
    kiedy mamy czasami dość skomplikowane przykłady zawierające p i q.
  • 0:20 - 0:22
    Przygotowując tabelę rachunku zdań,
  • 0:22 - 0:24
    pierwszą rzeczą jaką chcemy ustalić jest
  • 0:24 - 0:27
    liczba kolumn, których będziemy potrzebowali.
  • 0:27 - 0:33
    W tym przypadku rysujemy tabelę rachunku zdań dla p,q oraz 'p i q'.
  • 0:33 - 0:39
    Na końcu wpiszemy 'p i q',
  • 0:39 - 0:42
    ale zanim zapiszemy tę kolumnę musimy mieć
  • 0:42 - 0:44
    osobno p i osobno q.
  • 0:44 - 0:46
    A więc potrzebujemy łącznie 3 kolumny.
  • 0:46 - 0:50
    Teraz pracujemy z 2 zmiennymi, więc pierwszą rzeczą, którą musimy zrobić jest ustalenie
  • 0:50 - 0:55
    wszystkich możliwych kombinacji wartości logicznych dla 'p i q', dla 2 zmiennych.
  • 0:55 - 1:01
    Obie mogą być prawdą, ale też 1 może być prawdą i 1 fałszem.
  • 1:01 - 1:06
    Jest to możliwe na 2 sposoby, ponieważ każda maże być prawdą.
  • 1:06 - 1:09
    Dodatkowo, obie mogą być fałszem.
  • 1:09 - 1:15
    A więc dla 2 zmiennych mamy 4 możliwe kombinacje wartości.
  • 1:15 - 1:19
    Kiedy już zakończymy ten etap, analizujemy 'p i q'.
  • 1:19 - 1:24
    Aby 'p i q' było prawdą (pamiętaj, to jest symbol dla 'i'),
  • 1:24 - 1:27
    zarówno p jak i q muszą być prawdą.
  • 1:27 - 1:35
    Jeżeli p jest prawdą a q jest fałszem, 'p i q' będzie fałszem.
  • 1:35 - 1:38
    Obie wartości muszą być prawdą aby 'p i q' było prawdą.
  • 1:38 - 1:43
    A więc obydwie są prawdą wyłacznie w pierwszej 1.
  • 1:43 - 1:46
    W tym przypadku 'p i q' jest prawdą,
  • 1:46 - 1:51
    alw w pozostałych przypadkach 'p i q' jest fałszem.
  • 1:51 - 1:56
    Jest to więc tabela rachunku zdań dla p, q oraz 'p i q'.
  • 1:56 - 1:58
    A teraz drugi przykład.
  • 1:58 - 2:02
    Narysuj tabelę rachunku zdań dla p, q oraz 'p i q'.
  • 2:02 - 2:06
    Przykład podobny do poprzedniego, tyle, że tym razem mamy 'lub' zamiast 'i'.
  • 2:06 - 2:10
    A więc ponownie będziemy mieli 3 kolumny,
  • 2:10 - 2:16
    osobno dla p i osobno dla q oraz dla 'p lub q'.
  • 2:16 - 2:19
    Ponownie stwierdzamy, że mamy do czynienia z 2 zmiennymi,
  • 2:19 - 2:23
    a więc pierwszą rzeczą, jaką zrobimy jest uzupełnienie wszystkich możliwych wartości
  • 2:23 - 2:27
    dla p i q, dla 2 zmiennych, a więc razem 4.
  • 2:27 - 2:29
    W przypadku 3 zmiennych, wartości byłoby 9,
  • 2:29 - 2:31
    dla 4 zmiennych byłoby ich 16.
  • 2:31 - 2:35
    Liczba możliwych kombinacji jest zawsze liczbą zmiennych podniesioną do kwadratu.
  • 2:35 - 2:39
    Tak jest dla 2 możliwych zmiennych.
  • 2:39 - 2:43
    Obydwie zmienne mogą być prawdą, 1 może być prawdą i 1 może być fałszem
  • 2:43 - 2:46
    lub na odwrót,
  • 2:46 - 2:47
    lub obydwie mogą być fałszem.
  • 2:47 - 2:50
    Daje nam to 4 możliwe kombinacje.
  • 2:50 - 2:55
    Symbol, który widzimy, jest symbolem oznaczającym 'lub'.
  • 2:55 - 3:00
    Aby 'p lub q' było prawdą, co najmniej jedna ze zmiennych musi być prawdziwa,
  • 3:00 - 3:02
    nie muszą być prawdą wszystkie zmienne.
  • 3:02 - 3:07
    Spójrz na możliwe kombinacje p lub q a zobaczysz,
  • 3:07 - 3:09
    że niemal we wszystkich przypadkach 1 zmienna jest prawdą.
  • 3:09 - 3:12
    Tylko w 1 przypadku żadna ze zmiennych nie jest prawdą, właśnie tutaj.
  • 3:12 - 3:16
    Jest to więc jedyny przypadek, kiedy wynik będzie fałszem,
  • 3:16 - 3:20
    dla wszystkich pozostałych wynik to: prawda, prawda, prawda.
  • 3:20 - 3:23
    A więc 'p lub q' jest prawdą w większości przypadków, chyba że
  • 3:23 - 3:27
    obydwie pierwotne wartości są fałszem.
Title:
Rozdział 2 Rachunek zdań B
Video Language:
English
Team:
Volunteer
Dorota Łacek edited Polish subtitles for Chapter2TruthTablesB
Dorota Łacek added a translation

Polish subtitles

Revisions Compare revisions