LOGIKA PODSTAWY:

w jęz.polskim zdanie proste + spójnik + interpretacja = zdanie złożone

w logice p,q,r + spójnik logiczny +() = zd. Złożone
Zmienne w logice = p,q,r,s….
Spójniki logiczne i….lub….jeżeli….wtedy i tylko wtedy…
Moc Symboli w logice + Symbole
„nie” - Negacja ~ - zaprzeczenie I
„i” - Koniunkcja /\ - iloczyn logiczny II
„lub” – Alternatywa- suma logiczna II
„jeżeli” – Implikacja -> III
„wtedy i tylko wtedy gdy” – Równoważność <-> III
Zdanie poprawnie zbudowane to wyrażenie tego języka to formuła. Formułami są wyrażenia:
p/\q p->q\/r p/\r->s
Tabelka prawdziwości:

p q p/\q p\/q P<->q p->q p q

1 1 1 1 1 1 1 0
1 0 0 1 0 0
0 1 0 1 0 1 0 1
0 0 0 0 1 1
Zdanie w sensie logicznym - to każde takie zdanie oznajmujące, które sformułowane jest w taki
sposób, że jest albo prawdziwe, albo fałszywe.
Tautologia - tautologiami są wszystkie prawa klasycznego rachunku zdań i rachunku
kwantyfikatorów. Rozumie się przez nie Definicja tautologii w klasycznym rachunku zdań przedstawia
się następująco: Wyrażenie W jest tautologią klasycznego rachunku zdań, wtedy i tylko wtedy, gdy
przy każdym podstawieniu stałych za zmienne przechodzi w zdanie prawdziwe.
Kontrtautologia - wyłącznie fałszywy schemat zdania złożonego, wyrażony w języku
dwuwartościowego rachunku zdań, co oznacza, że wartość logiczna tego schematu jest wyłącznie
równa "0" dla każdej możliwej kombinacji wartości logicznych zdań składowych.
Formuła KPN - Formuła w koniunkcyjnej postaci normalnej (kpn) jest to koniunkcja skończenie wielu
klauzul, np. (p ∨ ¬q ∨ r) ∧ (¬p ∨ ¬r). Formuła w alternatywnej postaci normalnej (apn) jest to
alternatywa skończenie wielu koniunkcji elementarnych, np. (p ∧ ¬q ∧ r) ∨ (¬p ∧ ¬r).
I prawo De Morgana jest prawem zaprzeczenia koniunkcji. Określa się je wzorem: ~(p ∧ q) ↔ (~p ∨
~q). Dowiadujemy się z niego, że zaprzeczenie koniunkcji dwóch zdań (∼(p ∧ q)) jest równoważne
alternatywie zaprzeczeń tych zdań ((∼p) ∨ (∼q))

II prawo de Morgana jest prawem zaprzeczenia alternatywy. Określa się je wzorem: ~(p

∨ q) ↔ (~p ∧ ~q) . Dowiadujemy się z niego, że zaprzeczenie alternatywy dwóch
zdań (∼(p ∨ q)) jest równoważne koniunkcji zaprzeczeń tych zdań ((∼p) ∧ (∼q))
Zasada ekstensjonalności - możliwość końcowego zachowania przez dany schemat rachunku zdań
jego wyjściowej wartości logicznej, pomimo zaistnienia szeregu przekształceń tegoż schematu,
polegających na zastąpieniu niektórych bądź wszystkich elementów nań się składających innymi
elementami.
Relacje równoważności - to bardzo naturalne obiekty na świecie jest ich wszędzie pełno. Np.
następująca relacja jest relacją równoważności dwa samochody są w relacji wtedy i tylko wtedy, gdy
mają ten sam kolor. Albo relacja bycia rodzeństwem jest relacją równoważności.
TABELKOWA METODA

jak występuje chociaż jedno 0 to nie jest tatutologią.

p⇒((∼p)∨q
(∼p)∨
P q ∼p
q )

1 1 0 1 1

1 0 0 0 0

0 1 1 1 1

0 0 1 1 1

I zadanie na praktykę:
Z impliksowej do Notacji Polskiej
Notacja łukaisewicza(Notacja Polska) :
p/\q - /\ - K – Kpq - Koniunkcja czyli p i q
p\/q - \/ - A – Apq - Alternatywa czyli p lub q
p - >q - -> - C – Cpq - Implikacja czyli p jeżeli q
p <-> q - <-> - E – Epq - Równoważność czyli p wtedy i tylko wtedy gdy q
~p - ~ - N – Np. - Negacja czyli nie prawda że p
 a) (p->~p) -> ~q
(p->Np) ->Nq
CpNp -> Nq
CpNpNq – wynik
b) ((p/\q)->r)->(q->r)
(Kpq->r)->Cqr
CKpqr->Cqr
CCKpqrCqr – wynik

Z Notacji Polskiej do impliksowej

KCpKqrCAqrs

Sporządzenie diagramu i macierzy dla (1,2);(3,2);(3,4);(3,1);(4,1) + relacje

 1 2 3 4
1 0 1 0 0
2 0 0 0 0
3 1 1 0 1
4 1 0 0 0
Najpierw wiersz później kolumna

Zadanie II.1
Podaną formułę (p⇒q∨r)⇒(q∧r⇒¬p) sprowadzić
metodą przekształceń równoważnościowych do postaci
normalnej i sprawdzić, czy jest ona tautologią rachunku
zdań. Odpowiedź uzasadnić.
(p⇒(q∨r))⇒((q∧r)⇒~p)
Prawo usuwania implikacji.
~p∨(q∨r)⇒(~q∨~r)∨~p tutaj również wykonywane były prawa De Morgana.
p∧(~q∧~r)∨(~q∨~r)∨~p.
Nie jest to tautologia.
Dla ~p = 0, ~q=0 ~r=0 mamy.
1∧(0∧0)∨(0∨0)∨0.
0∨0=0. 
Sprawdźmy wyjściową formę dla ~p = 0, ~q=0 ~r=0 
(1⇒1)⇒((1∧1)⇒0)
1⇒0. = 0.

Zadanie II.3
Drzewa semantyczne
http://logic.amu.edu.pl/images/b/bd/Beam7xii.pdf
Zadanie III
https://www.youtube.com/watch?v=sW7-Aqsdyrw
Zadanie V
http://www.matematykam.pl/
dzialania_na_przedzialach.html
Zadanie VI
https://www-users.mat.umk.pl//~czaka/ogolne/
dzialania_uogolnione_fcja_wyboru_teoria.pdf

Zadanie VII

Sporządzenie diagramu i macierzy dla (1,2);(3,2);(3,4);(3,1);(4,1) + relacje

1 2 3 4
1 0 1 0 0
2 0 0 0 0
3 1 1 0 1
4 1 0 0 0
Najpierw wiersz później kolumna

+ wypisać jakie relacje zachodzą

https://moodle.cdv.pl/pluginfile.php/140758/mod_re
source/content/1/materia%C5%82y_na_zaj
%C4%99cia_relacje.pdf