LOGIKA 25.10.2009
ZALICZENIE PISEMNE 6.03.2010
Logika -przestrzeń myślenia europejskiego, podstawa myslenia fizycznego od rozumowania
Prekursor - Arystoteles
Zakres przestrzeni : prawda, fałsz (Łukaszewicz)
Podstawa myślenia o zasadzie z argumentacją, logika ma nas nauczyć być zrozumiałym, aby argumentowanie nie podlegało dyskusji odbiorcy.
LOGOS- prawda, początek
Zdaniem w logice nazywamy każdą wypowiedź prawdziwą lub fałszywą i tylko taką wypowiedź.
Interesują nas tylko zdania oznajmujące (zdania bez braku emocji)
Semiotyka - nauka o znakach
Zdania proste łączymy w zdania złożone, gdzie funkję ważną pełnią spójniki
p |
q |
^ |
v |
→ |
≡ |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
0 |
0 |
1 |
0 |
0 |
0 |
1 |
0 |
1 |
1 |
0 |
0 |
0 |
0 |
0 |
1 |
1 |
┐- negacja zmienia wartość zdania
≡ - równoważność
→ - implikacja
Implikacja (→) jeżeli , to
Równoważność (≡) wtedy i tylko wtedy
Zaczynamy od pierwsze czasowej lub ogólne
Ważne w zdaniu logicznym jest orzeczenie
ĆW.
Przyjąłeś fałszywe założenie lub popełniłeś błąd w rozumowaniu.
p v q
Światło ma naturę korpuskularną zawsze i tylko wtedy gdy na nie prawda, że ma naturę falową.
p≡(┐q)
Nie prawda, że gdy spory filozoficzne są nieroztrzygane a uczeni biorą w nich udział to filozofia hamuje postęp w nauce.
┐({p^q} r)
p |
q |
r |
┐p |
p^q |
(p^q)--> r |
┐({p^q}->r) |
1 |
1 |
1 |
0 |
1|0 |
1|1 |
0 |
1 |
1 |
0 |
0 |
1|0 |
0|1 |
1 |
1 |
0 |
1 |
0 |
0|0 |
1|1 |
0 |
1 |
0 |
0 |
0 |
0|0 |
1|1 |
0 |
0 |
1 |
1 |
1 |
0|1 |
1|1 |
0 |
0 |
1 |
0 |
1 |
0|1 |
1|0 |
0 |
0 |
0 |
1 |
1 |
0|0 |
1|1 |
0 |
0 |
0 |
0 |
1 |
0|0 |
1|1 |
0 |
Znaleźć główny spójnik
(┐p^q) -> r
Implikacja, której poprzednikiem jest koniunkcja zdania negacja p i q a następnikiem tej implikacji jest zdanie r
┐[(p^q) -> r]
Negacja implikacji, której poprzednikiem jest koniunkcja zdań p i q a następnikiem zdanie
┐{ [ (p->q) ^ (p-> ┐q)] -> ┐p }
Negacja implikacji, której poprzednikiem jest koniunkcja implikacji zdań p to q i implikacji p to negacja q a następnikiem negacja p
{ (p v ┐q) ^ (┐r -> s)} -> [p->{(q v r) ^ (┐r)}]
Implikacja, której poprzednikiem jest koniunkcja alternatywy zdań p to negacja q i implikacji negacja r to s a następnikiem tej implikacji jest implikacja , której poprzednikiem jest p a następnikiem koniunkcja zdań q to r i negacji r
Przeczytałem kilka podręczników lub wysłucham wykładów i rozwiążę kilkadziesiąt zadań
(p v q) ^ r
p v (q ^ r)
Ukończę studia i będę pracował w zawodzie lub zostanę nauczycielem wtedy i tylko wtedy gdy zadowolę się małymi dochodami.
Konsekwencje prawdziwości zdań
Prawdziwe jest zdanie :
Nieprawda, że jeśli Platon założył akademię, to jeśli Arystoteles był uczniem Platona to Arystoteles uczęszczał do akademii.
Czy Platon był założycielem akademii ??
p |
q |
r |
┐r |
q->┐r |
p->(q->┐r) |
1 |
1 |
1 |
0 |
0 |
0|1 |
1 |
1 |
0 |
1 |
1 |
1 |
1 |
0 |
1 |
0 |
1 |
1 |
1 |
0 |
0 |
1 |
1 |
1 |
0 |
1 |
1 |
0 |
0 |
1 |
0 |
1 |
0 |
1 |
1 |
1 |
0 |
0 |
1 |
0 |
1 |
1 |
0 |
0 |
0 |
1 |
1 |
1 |