To tylko jedna z 2 stron tej notatki. Zaloguj się aby zobaczyć ten dokument.
Zobacz
całą notatkę
A1 A - (B - A) nie należy E(M) - nie wprost
\/ w(A - (B - A) = 0
\/ max(1-w(a), w(B - A)) = 0
\/ w(A) = 1 v w(B-A) = 0
\/ max(1-w(B), w(A)) = 0
\/ w(B) = 1 ^ w(A) = 0
4.1 i 6.2 sprzeczne
A2
[A-(B-C)] -[(A-B) -(A-C)] nie należy
\/ [A-(B-C)] -[(A-B) -(A-C)] = 0
\/ max (1-w(A-(B-C), w((A-B) - (A -C)) = 0
\/w(A -(B -C)) = 1 ^ w((A -C ) -(A -C)) = 0
\/ max(1-w(A), w(B -C)) = 1 ^ max (1-w(A -B), w(A -C)) = 0
\/ W(A) = 0 ^ w(B -C) = 1 ^ W(A -B) = 1 ^ w(A -C) = 0
\/W(A) = 0 ^ max(1-w(B), w(C))= 1 ^ w(1-w(A), w(B)) =1 ^ w(1-w(A), w(C))=0
W(A) = 0 ^ w(B) = 0 ^ w(C) = 1 ^ w(A) = 0 ^ w(B)= 1 ^ w(A) = 1 ^ w(C)=0
sprzeczności
A3
A ^ B - A nie należy
\/ w((A^B) -A)) = 0
\/ max(1-w(A^B), w(A)) = 0
\/w(A^B) = 1 ^ w(A) = 0
\/min(w(A),w(B)) = 1
\/w(A)=1 ^ w(B) = 1
4.2 i 6.2 sprzeczność
A4
A^B -B nie należy
\/w((A^B) -B) = 0
\/ max (1-w(A^B), w(B)) = 0
\/ w(A^B) = 1 ^ w(B) = 0
\/min(w(A),w(B) = 1
\/ w(A) = 1 ^ w(B) = 1
4.2 6.2 sprzeczność
A5
A-(B-A^B)) nie należy
\/ w(A-(B-A^B)) = 0
\/ max (1-w(A), w(B-(A^B)) = 0
\/w(A) = 1 ^w((B-(A^B)) = 0
\/max(1-w(B), w(A^B))=0
\/w(B)= 1 ^ w(A^B)=0
\/min(w(A),w(B))=0
\/w(A)=0, w(B)=0
6.1 i 8.2 oraz 4.1 i 8.1 sprzeczność
A6
A-AvB nie należy
\/w(A-AvB) = 0
\/w(1-w(A), w(AvB)=0
\/w(A)=1 ^ w(AvB)=0
\/max(w(A), w(B))=0
\/w(A)=0, w(B)=0
4.1 i 6.1 sprzeczność
A7
B - AvB nie należy
\/w(B-AvB) = 0
\/w(1-w(B), w(AvB)=0
\/w(B)=1 ^ w(AvB)=0
\/max(w(A),w(B))=0
\/w(A)=0, w(B)=0
4.1 i 6.2 sprzeczność
A8
(A-C) -[(B-C) -(AvB-C)] nie należy
\/w((A-C) -[(B-C) -(AvB-C)])=0
\/max(1-w(A-C), w([(B-C) -(AvB-C))=0
\/w(A-C)=1 ^w([(B-C) -(AvB-C))=0
\/max(1-w(A), w(C)=1 ^ w(1-w(B-C),w(AvB)-C))=0
\/w(A)=0 ^ w(C)=1 ^ w(B-C)=1 ^ w(AvB-C)=0
\/max(1-w(B),w(C))=1 ^ w(1-w(AvB),w(C))=0
\/w(B)=0 ^ w(C)=1 ^ w(AvB)=1 ^ w(C)=0
\/max(w(A),w(B))=1
\/w(A)=1 ^ w(B))=1
6.1 i 10.1 oraz 8.1 i 10.2 oraz 6.2 i 8.2 sprzeczności
A9
(~A-B) -[(~A-~B) -A] nie należy
\/w((~A-B) -[(~A-~B) -A])=0
\/max(1-w(~A-B), w((~A-~B)-A)=0
\/w(~A-B)=1 ^ w((~A-~B)-A)=0
\/max(1-w(~A),w(B))=1 ^ max(1-w(~A-~B), w(A))=0
\/w(~A)=0 ^ w(B)=1 ^ w(~A-~B)=1 ^ w(A)=0
... zobacz całą notatkę
Komentarze użytkowników (0)