Algebra - pytania 11

Nasza ocena:

4
Pobrań: 98
Wyświetleń: 973
Komentarze: 0
Notatek.pl

Pobierz ten dokument za darmo

Podgląd dokumentu
Algebra - pytania 11 - strona 1

Fragment notatki:


ZESTAW 11 1. SPRAWDZIĆ, ŻE AKSJOMATY KRZ CHARAKTERYZUJĄCE ALTERNATYWĘ SĄ TAUTOLOGIAMI DWUELEMENTOWEJ ALGEBRY ZDAŃ. Aksjomaty charakteryzujące alternatywę:
A6) A7) A8) )
p q p q 1 1 1 1 1 0 1 1 0
1
1
1
0
0
0
1
)
p q p q 1 1 1 1 1 0 1 1 0
1
1
1
0
0
0
1
Aksjomat 8 ( ) p q r p r qr p q (p q) r (qr) [(p q) r] 1 1 1 1 1 1 1 1 1 1 1 0 0 0 1 0 1 1 1
0
1
1
1
1
1
1
1
1
0
0
0
1
1
0
0
1
0
1
1
1
1
1
1
1
1
0
1
0
1
0
1
0
1
1
0
0
1
1
1
0
1
1
1
0
0
0
1
1
0
1
1
1
2. SFORMUŁOWAĆ PRAWA ROZDZIELANIA MAŁEGO KWANTYFIKATORA WZGLĘDEM KONIUNKCJI ORAZ PODAĆ KONTRPRZYKŁAD NA ODWROTNĄ IMPLIKACJĘ.
Kontrprzykład: prawda
fałsz
czyli: taka implikacja jest fałszywa, z prawdy nie może wynikać fałsz.
3. SCHARAKTERYZOWAĆ ZWIĘŹLE TRÓJWARTOŚCIOWĄ LOGIKĘ ZDAŃ ŁUKASIEWICZA
DETERMINIZM
Zasada przyczynowości Mocny determinizm
(klasyczny determinizm)
Łukasiewicz wyróżnił 3 typy zdarzeń przyszłych:
pewne (obecnie mają swoje przyczyny);
wykluczone (obecnie istnieją przyczyny wykluczające);


(…)

…, że wystąpi zdarzenie niepewne [½]);
Symbolika beznawiasowa Łukasiewicza = CKAN
p
Np
0
1
½
½
1
0
Negacja
C
0
½
1
0
1
1
1
½
½
1
1
1
0
½
1
Implikacja
A
0
½
1
0
0
½
1
½
½
½
1
1
1
1
1
Alternatywa
K
0
½
1
0
0
0
0
½
0
½
½
1
0
½
1
Lp - jest konieczne, że p
Mp - jest możliwe, że p
Koniunkcja
p
Lp
Mp
0
0
0
½
0
1
1
1
1
4. UDOWODNIĆ, ŻE FORMUŁA JEST TWIERDZENIEM KRZ, ORAZ SFORMUŁOWAĆ ZASTOSOWANE TWIERDZENIE O DEDUKCJI
... zobacz całą notatkę



Komentarze użytkowników (0)

Zaloguj się, aby dodać komentarz