Główne pojęcia logiki

Język klasycznego rachunku zdań Alfabet: zmienne zdaniowe: p, q, r… Pojęcia logiki

Język klasycznego rachunku zdań Alfabet: zmienne zdaniowe: p, q, r… spójniki: , , , ,  (lub, i, nie, jeżeli…to, wtedy i tylko wtedy gdy) Pojęcia logiki

Język klasycznego rachunku zdań Alfabet: zmienne zdaniowe: p, q, r… spójniki: , , , ,  (lub, i, nie, jeżeli…to, wtedy i tylko wtedy gdy) nawiasy Pojęcia logiki

Język klasycznego rachunku zdań Alfabet: zmienne zdaniowe: p, q, r… spójniki: , , , ,  (lub, i, nie, jeżeli…to, wtedy i tylko wtedy gdy) nawiasy Reguły tworzenia wyrażeń poprawnych: jeżeli A jest zmienną zdaniowa, to A jest formułą poprawnie zbudowaną Pojęcia logiki

Język klasycznego rachunku zdań Alfabet: zmienne zdaniowe: p, q, r… spójniki: , , , ,  (lub, i, nie, jeżeli…to, wtedy i tylko wtedy gdy) nawiasy Reguły tworzenia wyrażeń poprawnych: jeżeli A jest zmienną zdaniowa, to A jest formułą poprawnie zbudowaną jeżeli A i B są formułami poprawnie zbudowanymi to poprawnie zbudowane są: A  B, A  B, A, A  B, A  B Pojęcia logiki

Język klasycznego rachunku zdań Alfabet: zmienne zdaniowe: p, q, r… spójniki: , , , ,  (lub, i, nie, jeżeli…to, wtedy i tylko wtedy gdy) nawiasy Reguły tworzenia wyrażeń poprawnych: jeżeli A jest zmienną zdaniowa, to A jest formułą poprawnie zbudowaną jeżeli A i B są formułami poprawnie zbudowanymi to poprawnie zbudowane są: A  B, A  B, A, A  B, A  B Przykłady: p  q  r, Pojęcia logiki

Język klasycznego rachunku zdań Alfabet: zmienne zdaniowe: p, q, r… spójniki: , , , ,  (lub, i, nie, jeżeli…to, wtedy i tylko wtedy gdy) nawiasy Reguły tworzenia wyrażeń poprawnych: jeżeli A jest zmienną zdaniowa, to A jest formułą poprawnie zbudowaną jeżeli A i B są formułami poprawnie zbudowanymi to poprawnie zbudowane są: A  B, A  B, A, A  B, A  B Przykłady: p  q  r, p  (q  r) Pojęcia logiki

Język klasycznego rachunku zdań Alfabet: zmienne zdaniowe: p, q, r… spójniki: , , , ,  (lub, i, nie, jeżeli…to, wtedy i tylko wtedy gdy) nawiasy Reguły tworzenia wyrażeń poprawnych: jeżeli A jest zmienną zdaniowa, to A jest formułą poprawnie zbudowaną jeżeli A i B są formułami poprawnie zbudowanymi to poprawnie zbudowane są: A  B, A  B, A, A  B, A  B Przykłady: p  q  r, p  (q  r), p  r, Pojęcia logiki

Język klasycznego rachunku zdań Alfabet: zmienne zdaniowe: p, q, r… spójniki: , , , ,  (lub, i, nie, jeżeli…to, wtedy i tylko wtedy gdy) nawiasy Reguły tworzenia wyrażeń poprawnych: jeżeli A jest zmienną zdaniowa, to A jest formułą poprawnie zbudowaną jeżeli A i B są formułami poprawnie zbudowanymi to poprawnie zbudowane są: A  B, A  B, A, A  B, A  B Przykłady: p  q  r, p  (q  r), p  r, p  q  r, Pojęcia logiki

Język klasycznego rachunku zdań Alfabet: zmienne zdaniowe: p, q, r… spójniki: , , , ,  (lub, i, nie, jeżeli…to, wtedy i tylko wtedy gdy) nawiasy Reguły tworzenia wyrażeń poprawnych: jeżeli A jest zmienną zdaniowa, to A jest formułą poprawnie zbudowaną jeżeli A i B są formułami poprawnie zbudowanymi to poprawnie zbudowane są: A  B, A  B, A, A  B, A  B Przykłady: p  q  r, p  (q  r), p  r, p  q  r, (p  q)  r, p  (q  r). Pojęcia logiki

Konwencje notacyjne Hierarchia spójników: , , , , . , , , . Pojęcia logiki

Konwencje notacyjne Hierarchia spójników: , , , , . , , , . Alternatywne oznaczenia: ~ …, & , ; ,  Pojęcia logiki

Język klasycznego rachunku zdań Reguły wnioskowania: reguła odrywania: A A  B --------- B Pojęcia logiki

Język klasycznego rachunku zdań Reguły wnioskowania: reguła odrywania: A A  B --------- B reguła podstawiania: A(α|β) Pojęcia logiki

Język klasycznego rachunku zdań Reguły wnioskowania: reguła odrywania: A A  B --------- B reguła podstawiania: A(α|β) Na przykład: p  q  p |- (p  q)  q  p  q Pojęcia logiki

Język klasycznego rachunku zdań Reguły wnioskowania: reguła odrywania: A A  B --------- B reguła podstawiania: A(α|β) Na przykład: p  q  p |- (p  q)  q  p  q jest wyprowadzalne z Pojęcia logiki

Pojęcie dowodu DF: Dowodem formuły A na gruncie zbioru aksjomatów X nazywa się ciąg formuł B1, …, Bn taki, że Bn = A oraz Pojęcia logiki

Pojęcie dowodu DF: Dowodem formuły A na gruncie zbioru aksjomatów X nazywa się ciąg formuł B1, …, Bn taki, że Bn = A oraz dla każdej formuły Bi B1, …, Bi-1 |- Bi lub Pojęcia logiki

Pojęcie dowodu DF: Dowodem formuły A na gruncie zbioru aksjomatów X nazywa się ciąg formuł B1, …, Bn taki, że Bn = A oraz dla każdej formuły Bi B1, …, Bi-1 |- Bi lub Bi  X Pojęcia logiki

Funkcje prawdziwościowe q p  q 1 Pojęcia logiki

Funkcje prawdziwościowe q p  q 1 p q p  q 1 Pojęcia logiki

Funkcje prawdziwościowe q p  q 1 p q p  q 1 p q p  q 1 Pojęcia logiki

Funkcje prawdziwościowe q p  q 1 p q p  q 1 p q p  q 1 p q p  q 1 Pojęcia logiki

Wynikanie logiczne DF: X |= A wtw nie istnieje taka interpretacja, w której wszystkie zdania ze zbioru X (przesłanki) są prawdziwe, a (wniosek) A jest fałszywy. Pojęcia logiki

Wynikanie logiczne DF: X |= A wtw nie istnieje taka interpretacja, w której wszystkie zdania ze zbioru X (przesłanki) są prawdziwe, a (wniosek) A jest fałszywy. Na przykład: Jeżeli Funio kocha Kundzię, to się z nią ożeni. Funio nie żeni się z Kundzią. Zatem Funio nie kocha Kundzi. Pojęcia logiki

Wynikanie logiczne DF: X |= A wtw nie istnieje taka interpretacja, w której wszystkie zdania ze zbioru X (przesłanki) są prawdziwe, a (wniosek) A jest fałszywy. Na przykład: Jeżeli Funio kocha Kundzię, to się z nią ożeni. Funio nie żeni się z Kundzią. Zatem Funio nie kocha Kundzi. Ale nie: Jeżeli Funio kocha Kundzię, to się z nią ożeni. Funio nie kocha Kundzi. Zatem Funio nie ożeni się z Kundzią. Pojęcia logiki

Prawa logiki DF: Prawem logiki nazywa się formuła prawdziwa w dowolnej interpretacji. Przykład: prawo kontrapozycji: (p  q)  ( q   p) Pojęcia logiki

Prawa logiki DF: Prawem logiki nazywa się formuła prawdziwa w dowolnej interpretacji. Przykład: prawo kontrapozycji: (p  q)  ( q   p) p q 1 Pojęcia logiki

Prawa logiki DF: Prawem logiki nazywa się formuła prawdziwa w dowolnej interpretacji. Przykład: prawo kontrapozycji: (p  q)  ( q   p) p q p  q 1 Pojęcia logiki

Prawa logiki DF: Prawem logiki nazywa się formuła prawdziwa w dowolnej interpretacji. Przykład: prawo kontrapozycji: (p  q)  ( q   p) p q p  q p 1 Pojęcia logiki

Prawa logiki DF: Prawem logiki nazywa się formuła prawdziwa w dowolnej interpretacji. Przykład: prawo kontrapozycji: (p  q)  ( q   p) p q p  q p 1 Pojęcia logiki

Prawa logiki DF: Prawem logiki nazywa się formuła prawdziwa w dowolnej interpretacji. Przykład: prawo kontrapozycji: (p  q)  ( q   p) p q p  q p q 1 Pojęcia logiki

Prawa logiki DF: Prawem logiki nazywa się formuła prawdziwa w dowolnej interpretacji. Przykład: prawo kontrapozycji: (p  q)  ( q   p) p q p  q p q 1 Pojęcia logiki

Prawa logiki DF: Prawem logiki nazywa się formuła prawdziwa w dowolnej interpretacji. Przykład: prawo kontrapozycji: (p  q)  ( q   p) p q p  q p q  q   p 1 Pojęcia logiki

Prawa logiki DF: Prawem logiki nazywa się formuła prawdziwa w dowolnej interpretacji. Przykład: prawo kontrapozycji: (p  q)  ( q   p) p q p  q p q  q   p 1 Pojęcia logiki

Prawa logiki DF: Prawem logiki nazywa się formuła prawdziwa w dowolnej interpretacji. Przykład: prawo kontrapozycji: (p  q)  ( q   p) p q p  q p q  q   p (p  q)  ( q   p) 1 Pojęcia logiki

Prawa logiki DF: Prawem logiki nazywa się formuła prawdziwa w dowolnej interpretacji. Przykład: prawo kontrapozycji: (p  q)  ( q   p) p q p  q p q  q   p (p  q)  ( q   p) 1 Pojęcia logiki

Twierdzenie o dedukcji X1, …, Xn |= A wtw X1  …  Xn  A jest prawem logiki Pojęcia logiki

Twierdzenie o dedukcji X1, …, Xn |= A wtw X1  …  Xn  A jest prawem logiki Twierdzenie o pełności X |= A wtw X |- A przy odpowiednim doborze aksjomatów i reguł wnioskowania (takie reguły nazywają się niezawodne) Pojęcia logiki

Język rachunku predykatów Alfabet: stałe i zmienne indywiduowe: a, b, c…, x, y, z… Pojęcia logiki

Język rachunku predykatów Alfabet: stałe i zmienne indywiduowe: a, b, c…, x, y, z… stałe predykatowe: P, Q, R… Pojęcia logiki

Język rachunku predykatów Alfabet: stałe i zmienne indywiduowe: a, b, c…, x, y, z… stałe predykatowe: P, Q, R… spójniki: , , , ,  Pojęcia logiki

Język rachunku predykatów Alfabet: stałe i zmienne indywiduowe: a, b, c…, x, y, z… stałe predykatowe: P, Q, R… spójniki: , , , ,  kwantyfikatory: ,  (dla każdego, istnieje) Pojęcia logiki

Język rachunku predykatów Alfabet: stałe i zmienne indywiduowe: a, b, c…, x, y, z… stałe predykatowe: P, Q, R… spójniki: , , , ,  kwantyfikatory: ,  (dla każdego, istnieje) nawiasy Pojęcia logiki

Język rachunku predykatów Alfabet: stałe i zmienne indywiduowe: a, b, c…, x, y, z… stałe predykatowe: P, Q, R… spójniki: , , , ,  kwantyfikatory: ,  (dla każdego, istnieje) nawiasy Reguły tworzenia wyrażeń poprawnych: P(t1, …, tn) jest formułą poprawnie zbudowaną Pojęcia logiki

Język rachunku predykatów Alfabet: stałe i zmienne indywiduowe: a, b, c…, x, y, z… stałe predykatowe: P, Q, R… spójniki: , , , ,  kwantyfikatory: ,  (dla każdego, istnieje) nawiasy Reguły tworzenia wyrażeń poprawnych: P(t1, …, tn) jest formułą poprawnie zbudowaną jeżeli A i B są formułami poprawnie zbudowanymi, to poprawnie zbudowane są: A  B, A  B, A, A  B, A  B Pojęcia logiki

Język rachunku predykatów Alfabet: stałe i zmienne indywiduowe: a, b, c…, x, y, z… stałe predykatowe: P, Q, R… spójniki: , , , ,  kwantyfikatory: ,  (dla każdego, istnieje) nawiasy Reguły tworzenia wyrażeń poprawnych: P(t1, …, tn) jest formułą poprawnie zbudowaną jeżeli A i B są formułami poprawnie zbudowanymi, to poprawnie zbudowane są: A  B, A  B, A, A  B, A  B jeżeli A jest formułą poprawnie zbudowaną, to poprawnie zbudowane są: xA, xA Pojęcia logiki

Przykłady zapisu symbolicznego zdań języka potocznego P = „…jest krukiem”, Q = „…jest czarny” x (P(x)  Q(x)) Pojęcia logiki

Przykłady zapisu symbolicznego zdań języka potocznego P = „…jest krukiem”, Q = „…jest czarny” x (P(x)  Q(x)) Wszystkie kruki są czarne. Pojęcia logiki

Przykłady zapisu symbolicznego zdań języka potocznego P = „…jest krukiem”, Q = „…jest czarny” x (P(x)  Q(x)) x (P(x)  Q(x)) Wszystkie kruki są czarne. Pojęcia logiki

Przykłady zapisu symbolicznego zdań języka potocznego P = „…jest krukiem”, Q = „…jest czarny” x (P(x)  Q(x)) x (P(x)  Q(x)) Wszystkie kruki są czarne. Każda rzecz jest czarnym krukiem. Pojęcia logiki

Przykłady zapisu symbolicznego zdań języka potocznego P = „…jest krukiem”, Q = „…jest czarny” x (P(x)  Q(x)) x (P(x)  Q(x)) x (P(x)  Q(x)) Wszystkie kruki są czarne. Każda rzecz jest czarnym krukiem. Pojęcia logiki

Przykłady zapisu symbolicznego zdań języka potocznego P = „…jest krukiem”, Q = „…jest czarny” x (P(x)  Q(x)) x (P(x)  Q(x)) x (P(x)  Q(x)) Wszystkie kruki są czarne. Każda rzecz jest czarnym krukiem. Niektóre kruki są czarne. Pojęcia logiki

Przykłady zapisu symbolicznego zdań języka potocznego P = „…jest krukiem”, Q = „…jest czarny” x (P(x)  Q(x)) x (P(x)  Q(x)) x (P(x)  Q(x)) x (P(x)  Q(x)) Wszystkie kruki są czarne. Każda rzecz jest czarnym krukiem. Niektóre kruki są czarne. Pojęcia logiki

Przykłady zapisu symbolicznego zdań języka potocznego P = „…jest krukiem”, Q = „…jest czarny” x (P(x)  Q(x)) x (P(x)  Q(x)) x (P(x)  Q(x)) x (P(x)  Q(x)) Wszystkie kruki są czarne. Każda rzecz jest czarnym krukiem. Niektóre kruki są czarne. Istnieje coś, co jeżeli jest krukiem, to jest czarne (co jest prawdą, gdy kruków w ogóle nie ma). Pojęcia logiki

Przykłady zapisu symbolicznego zdań języka potocznego Każda pliszka swój ogonek chwali. Pojęcia logiki

Przykłady zapisu symbolicznego zdań języka potocznego Każda pliszka swój ogonek chwali. P = „…jest pliszką”, Pojęcia logiki

Przykłady zapisu symbolicznego zdań języka potocznego Każda pliszka swój ogonek chwali. P = „…jest pliszką”, Q = „…jest ogonkiem …(czyimś)”, Pojęcia logiki

Przykłady zapisu symbolicznego zdań języka potocznego Każda pliszka swój ogonek chwali. P = „…jest pliszką”, Q = „…jest ogonkiem …(czyimś)”, R = „…chwali …(coś)” Pojęcia logiki

Przykłady zapisu symbolicznego zdań języka potocznego Każda pliszka swój ogonek chwali. P = „…jest pliszką”, Q = „…jest ogonkiem …(czyimś)”, R = „…chwali …(coś)” x(P(x)  Pojęcia logiki

Przykłady zapisu symbolicznego zdań języka potocznego Każda pliszka swój ogonek chwali. P = „…jest pliszką”, Q = „…jest ogonkiem …(czyimś)”, R = „…chwali …(coś)” x(P(x)  y(Q(y, x)  R(x, y))) Pojęcia logiki

Przykłady zapisu symbolicznego zdań języka potocznego Każda pliszka swój ogonek chwali. P = „…jest pliszką”, Q = „…jest ogonkiem …(czyimś)”, R = „…chwali …(coś)” x(P(x)  y(Q(y, x)  R(x, y))) x(P(x)  y(Q(y, x)  R(x, y))) Pojęcia logiki

Przykłady zapisu symbolicznego zdań języka potocznego Każda pliszka swój ogonek chwali. P = „…jest pliszką”, Q = „…jest ogonkiem …(czyimś)”, R = „…chwali …(coś)” x(P(x)  y(Q(y, x)  R(x, y))) x(P(x)  y(Q(y, x)  R(x, y))) Każda pliszka chwali wszystkie swoje ogonki. Pojęcia logiki

Przykłady zapisu symbolicznego zdań języka potocznego Każda pliszka swój ogonek chwali. P = „…jest pliszką”, Q = „…jest ogonkiem …(czyimś)”, R = „…chwali …(coś)” x(P(x)  y(Q(y, x)  R(x, y))) x(P(x)  y(Q(y, x)  R(x, y))) Każda pliszka chwali wszystkie swoje ogonki. Niektóre pliszki chwalą tylko cudze ogonki. Pojęcia logiki

Przykłady zapisu symbolicznego zdań języka potocznego Każda pliszka swój ogonek chwali. P = „…jest pliszką”, Q = „…jest ogonkiem …(czyimś)”, R = „…chwali …(coś)” x(P(x)  y(Q(y, x)  R(x, y))) x(P(x)  y(Q(y, x)  R(x, y))) Każda pliszka chwali wszystkie swoje ogonki. Niektóre pliszki chwalą tylko cudze ogonki. x(P(x)  Pojęcia logiki

Przykłady zapisu symbolicznego zdań języka potocznego Każda pliszka swój ogonek chwali. P = „…jest pliszką”, Q = „…jest ogonkiem …(czyimś)”, R = „…chwali …(coś)” x(P(x)  y(Q(y, x)  R(x, y))) x(P(x)  y(Q(y, x)  R(x, y))) Każda pliszka chwali wszystkie swoje ogonki. Niektóre pliszki chwalą tylko cudze ogonki. x(P(x)  y(R(x, y)  Pojęcia logiki

Przykłady zapisu symbolicznego zdań języka potocznego Każda pliszka swój ogonek chwali. P = „…jest pliszką”, Q = „…jest ogonkiem …(czyimś)”, R = „…chwali …(coś)” x(P(x)  y(Q(y, x)  R(x, y))) x(P(x)  y(Q(y, x)  R(x, y))) Każda pliszka chwali wszystkie swoje ogonki. Niektóre pliszki chwalą tylko cudze ogonki. x(P(x)  y(R(x, y)  z(Q(y, z) Pojęcia logiki

Przykłady zapisu symbolicznego zdań języka potocznego Każda pliszka swój ogonek chwali. P = „…jest pliszką”, Q = „…jest ogonkiem …(czyimś)”, R = „…chwali …(coś)” x(P(x)  y(Q(y, x)  R(x, y))) x(P(x)  y(Q(y, x)  R(x, y))) Każda pliszka chwali wszystkie swoje ogonki. Niektóre pliszki chwalą tylko cudze ogonki. x(P(x)  y(R(x, y)  z(Q(y, z)  z  x))) Pojęcia logiki

Przykłady zapisu symbolicznego zdań języka potocznego Każda pliszka swój ogonek chwali. P = „…jest pliszką”, Q = „…jest ogonkiem …(czyimś)”, R = „…chwali …(coś)” x(P(x)  y(Q(y, x)  R(x, y))) x(P(x)  y(Q(y, x)  R(x, y))) Każda pliszka chwali wszystkie swoje ogonki. Niektóre pliszki chwalą tylko cudze ogonki (jeżeli w ogóle). x(P(x)  y(R(x, y)  z(Q(y, z)  z  x))) Pojęcia logiki

Przykłady zapisu symbolicznego zdań języka potocznego Każda pliszka swój ogonek chwali. P = „…jest pliszką”, Q = „…jest ogonkiem …(czyimś)”, R = „…chwali …(coś)” x(P(x)  y(Q(y, x)  R(x, y))) x(P(x)  y(Q(y, x)  R(x, y))) Każda pliszka chwali wszystkie swoje ogonki. Niektóre pliszki chwalą tylko cudze ogonki (jeżeli w ogóle). x(P(x)  y(R(x, y)  z(Q(y, z)  z  x))) x(P(x)  y(R(x, y)  z(Q(y, z)  z  x))) Pojęcia logiki

Przykłady zapisu symbolicznego zdań języka potocznego Każda pliszka swój ogonek chwali. P = „…jest pliszką”, Q = „…jest ogonkiem …(czyimś)”, R = „…chwali …(coś)” x(P(x)  y(Q(y, x)  R(x, y))) x(P(x)  y(Q(y, x)  R(x, y))) Każda pliszka chwali wszystkie swoje ogonki. Niektóre pliszki chwalą tylko cudze ogonki (jeżeli w ogóle). x(P(x)  y(R(x, y)  z(Q(y, z)  z  x))) x(P(x)  y(R(x, y)  z(Q(y, z)  z  x))) Niektóre pliszki chwalą jakiś cudzy ogonek. Pojęcia logiki