Koniunkcja

Koniunkcja - to dwa zdania połączone spójnikiem logicznym i. p∧

p q
q
Koniunkcja dwóch zdań p ∧ q jest prawdziwa jedynie wtedy, gdy oba
1 1 1
zdania p oraz q są prawdziwe
1 0 0
Spójnik logiczny i w matematyce oznacza się symbolem ∧. 0 1 0
0 0 0

Przykład 1. Przykład 3.

Przykład 2. Przykład 4.

Alternatywa
Alternatywa - to dwa zdania połączone spójnikiem
p q p∨q
logicznym lub. 1 1 1
1 0 1
Spójnik logiczny lub w matematyce oznacza się symbolem ∨.
0 1 1
Alternatywa dwóch zdań p ∨ q jest prawdziwa wtedy, gdy 0 0 0
przynajmniej jedno ze zdań jest prawdziwe.

Przykład 1. Przykład 3.

Przykład 2. Przykład 4.

Logika
 Implikacja
Implikacja - to dwa zdania połączone w następujący sposób: jeżeli (zdanie 1) to (zdanie 2).
Implikację w matematyce oznaczamy symbolem ⇒. p q p⇒q
1 1 1
Implikacja dwóch zdań p ⇒ q jest fałszywa tylko wtedy,
gdy zdanie p jest prawdziwe, a zdanie q jest fałszywe.
1 0 0
0 1 1
Przykład 1. Przykład 3. 0 0 1

Przykład 2. Przykład 4.

Równoważność
Równoważność - to dwa zdania połączone w następujący sposób: (zdanie 1) wtedy i tylko
wtedy, gdy (zdanie 2).
p q p⇔q
Równoważność w matematyce oznaczamy symbolem ⇔. 1 1 1
Równoważność dwóch zdań p⇔q jest prawdziwa tylko wtedy, gdy oba 1 0 0
zdania p i q są równocześnie prawdziwe lub równocześnie fałszywe. 0 1 0
0 0 1
Przykład 1. Przykład 3.

Przykład 2. Przykład 4.

Logika
 Negacja
Negacja - to zaprzeczenie zdania, czyli: nieprawda, że (zdanie). p ∼p
Negację w matematyce oznaczamy symbolem ∼. 1 0
0 1
Negacja zdania ∼p jest prawdziwa tylko wtedy, gdy zdanie p jest
fałszywe.

Własności negacji:
 Z dwóch zdań: p oraz ∼p jedno musi być prawdziwe, a drugie fałszywe.
 Zdania: p oraz ∼(∼p) są równoważne (mają tę samą wartość logiczną).

Warunek konieczny i warunek wystarczający

Jeżeli ze zdania p wynika zdanie q, to mówimy, że p jest warunkiem wystarczającym dla q
a q jest warunkiem koniecznym dla p.
Warunek wystarczający nazywany jest też warunkiem dostatecznym.

Przykład 1.
1. Podzielność liczby całkowitej przez 2 i przez 3 jest warunkiem koniecznym i wystarczającym
podzielności tej liczby przez 6.
2. Podzielność liczby całkowitej przez 10 jest warunkiem wystarczającym podzielności tej
liczby przez 5.

koniunkcja i ∧
alternatywa lub ∨
implikacja Jeżeli.. to.. ⇒
równoważn …wtedy i tylko wtedy, ⇔
ość gdy…
negacja Nieprawda, że.. ∼

Logika
 Prawa rachunku zdań
Prawem rachunku zdań lub tautologią nazywamy wyrażenie zbudowane ze zdań prostych i
spójników, które zawsze jest zdaniem prawdziwym.

Logika