39952

39952



— negacja

Konstrukcja negacji polega na poprzedzeniu formuły A symbolem -: -(A); symbol ów czytamy jako: nieprawda, że (nie jest tak, że lub nie);

Zakładamy, że spójnik negacji ma następujące znaczenie: jeśli A jest prawdziwe, to -(A) jest fałszywe i odwrotnie.

A | ~(A) 1 | 0 0 | 1 /\— koniunkcja

Konstrukcja koniunkcji polega na połączeniu dwóch formuł A i B zwanych czynnikami symbolem /\: (A) /\ (0); symbol ów czytamy jako: i (oraz, a, ale).

Zakładamy, że spójnik koniunkcji ma następujące znaczenie: koniunkcja formuł A i B jest prawdziwa, gdy oba czynniki są prawdziwe, a fałszywa, gdy co najmniej jeden z czynników jest fałszywy.

A    |    B    |    (A) /\ (B)

1    |    1    |    1

i    I    o    I    e

o    |    i    I    e

0    |    0    |    0

Jeżeli zdanie o postaci koniunkcji (A) A (0) jest fałszywe i jeden jej czynnik jest prawdziwy, to drugi musi byc fałszywy.

Zagadki. Pewną wyspę zamieszkują tylko rycerze i łotry. Rycerze zawsze mówią prawdę, zaś łotry zawsze kłamią.

1. Załóżmy, że osoba X mówi: Jestem łotrem, ale Y nie jest łotrem. Kim są X i Y?

A, ale nie B



Wyszukiwarka

Podobne podstrony:
img146 (6) gdzie znaczenie symboli jak w poprzedniej formule, a symbol „D” oznacza współczynnik dysk
Zdj?cie0979 (2) Wzmacnianie konstrukcji przez zmianę schematu statycznego Wzmacnianie konstrukcji st
Etap c i d to (hvie fazy całości Krytyczna i konstruktywna ocena polega na odpowiedzi na dwa pytania
1204233720 .2. Stan obecny om% rozwiania konstrukcyjne Zadanie polega na pogłębieniu dwóch basenów
IMG03 resize ROZWÓJ KONSTRUOWANIA METODY< ZNFM): Roth ..konstruowanie katalogowe", polegają
IMG03 resize ROZWÓJ KONSTRUOWANIA METODY< ZNFM): Roth ..konstruowanie katalogowe", polegają
10.    Komisja wydaje świadectwo kwalifikacyjne na odpowiednim formularzu o symbolu:
bio 19 Biotechnologia wykład 3 17.11.2012 ^ Metoda polega na dokładnym pomiarze ilościowym przepływ
bio 19 Biotechnologia wykład 3 17.11.2012 ^ Metoda polega na dokładnym pomiarze ilościowym przepływ
skanuj0023 Dodatkowe informacje identyfikacyjne można uzyskiwać również poprzez modyfikację próbki p
Image264 Rozwiązanie podobne do poprzedniego polega na zastosowaniu dekad pierścieniowych (rys. 4.29
skanuj0023 Dodatkowe informacje identyfikacyjne można uzyskiwać również poprzez modyfikację próbki p

więcej podobnych podstron