Professional Documents
Culture Documents
Logika I Grafy
Logika I Grafy
Zaprzeczenie koniunkcji: ∼ (𝑝 ∧ 𝑞) ⇔ (∼ 𝑝 ∨∼ 𝑞)
Zaprzeczenie alternatywy: ∼ (𝑝 ∨ 𝑞) ⇔ (∼ 𝑝 ∧∼ 𝑞)
Prawo zaprzeczenia implikacji: ~(𝑝 ⇒ 𝑞) ⇔ (𝑝 ∧ ~𝑞)
Prawo eliminacji implikacji: (𝑝 ⇒ 𝑞) ⇔ (~𝑝 ∨ 𝑞)
Kwadrat logiczny:
W implikacji 𝑝 ⇒ 𝑞
𝑝 jest warunkiem wystarczającym na to by 𝑞 (𝑝 wystarcza by zachodziło 𝑞: 𝑝 ⇒ 𝑞)
𝑞 jest warunkiem koniecznym na to by 𝑝 (jeśli 𝑞 nie zachodzi to nie zachodzi też 𝑝: ~𝑞 ⇒
~𝑝)
W równoważności 𝑝 ⇔ 𝑞
𝑝 jest warunkiem koniecznym i wystarczającym na to by 𝑞.
𝑞 jest warunkiem koniecznym i wystarczającym na to by 𝑝.
Teoria Grafów
Grafy, macierze sąsiedztwa, drogi i cykle Eulera
Droga prosta - przechodzi przez daną krawędź tylko jeden raz, wszystkie krawędzie są różne.
Cykl prosty - zaczyna i kończy się na tym samym wierzchołku oraz przechodzi przez daną
krawędź tylko jeden raz, długość minimalnie dwa.
Stopień wierzchołka - ilość odchodzących od niego krawędzi Dx(G) = ilość wierzchołków o
danym stopniu x. Suma ilości wierzchołków o danym stopniu podzielona na dwa daje ilość
krawędzi.
Droga Eulera - posiada dokładnie dwa wierzchołki nieparzyste resztę parzystych. Drogą
Eulera w grafie G nazywamy każdą drogę prostą, zawierającą wszystkie krawędzie grafu G.
Cykl Eulera - posiada wszystkie wierzchołki parzyste. Cyklem Eulera w grafie G nazywamy
każdy cykl prosty, zawierający wszystkie krawędzie grafu G. Każdy cykl Eulera jest również
drogą Eulera.
Macierz sąsiedztwa - elementami macierzy jest ilość połączeń między danymi punktami.
Kolejne podnoszenie macierzy do potęgi wskazuje ile jest dróg o danej długości równej
stopniowi potęgowania między dwoma wierzchołkami.
Graf spójny - każda para różnych wierzchołków jest połączona drogą w tym grafie.
Graf prosty - nie posiada pętli i krawędzi wielokrotnych.
Graf pełny - każde dwa wierzchołki są połączone krawędzią. Graf pełny o n wierzchołkach
oznaczamy symbolem Kn.