question  |
réponse |
|
commencer à apprendre
|
|
Zdanie oznajmujące któremu można przyporządkować wartość 1 lub 0
|
|
|
|
commencer à apprendre
|
|
zdania proste np. p, q, r
|
|
|
|
commencer à apprendre
|
|
Zdania złożone złożone z atomów, funktorów zdaniotwórczych i nawiasów np. A, B, C
|
|
|
|
commencer à apprendre
|
|
funkcja która każdemu układowi wartości argumentów przypisuje 0 lub 1
|
|
|
Liczba wszystkich funktorów wynosi commencer à apprendre
|
|
2^2^n (w praktyce są stosowane w funktory 1- i 2-argumentowe, czyli 2^2^1=4 i 2^2^2 =16)
|
|
|
Funktory jednoargumentowe commencer à apprendre
|
|
(unarne): tylko negacja ~
|
|
|
|
commencer à apprendre
|
|
(binarne): koniunkcja, nierównoważność, alternatywa, binegacja, równoważność, implikacja, dysjunkcja Sheffera
|
|
|
|
commencer à apprendre
|
|
(iloczyn logiczny) jest prawdziwa gdy oba jej czynniki są prawdziwe
|
|
|
|
commencer à apprendre
|
|
(dysjunkcja, suma logiczna) jest prawdziwa gdy przynajmniej jeden z jej składników jest prawdziwy
|
|
|
|
commencer à apprendre
|
|
jest fałszywa jedynie gdy poprzednik jest prawdziwy a następnik fałszywy
|
|
|
|
commencer à apprendre
|
|
jest prawdziwa gdy jej człony mają taką samą wartość logiczną
|
|
|
|
commencer à apprendre
|
|
(alternatywa wykluczająca) jest prawdziwa gdy jej argumenty mają różną wartość logiczną (XOR)
|
|
|
|
commencer à apprendre
|
|
(kreska Sheffera) jest prawdziwa gdy przynajmniej jeden element jest fałszywy
|
|
|
|
commencer à apprendre
|
|
(strzałka Peirce'a, jednoczesne zaprzeczenie) jest prawdziwa gdy obydwa argumenty są fałszywe
|
|
|
|
commencer à apprendre
|
|
|
|
|
|
commencer à apprendre
|
|
|
|
|
|
commencer à apprendre
|
|
|
|
|
|
commencer à apprendre
|
|
Wartościowaniem (interpretacją) nazywamy funkcje, która każdemu atomowi (formule) przypisuje 0 lub 1
|
|
|
Każde wartościowanie można commencer à apprendre
|
|
Każde wartościowanie można rozszerzyć do dokładnie jednej interpretacji
|
|
|
|
commencer à apprendre
|
|
Dwie formuły A i B nazywamy logicznie równoważnymi, jeśli mają takie same wartości logiczne dla wszystkich interpretacji, co oznaczamy A ≡ B
|
|
|
|
commencer à apprendre
|
|
A ≡ B wtw, gdy we wszystkich interpretacjach wartością formuły A <=> B jest 1 (A <=> B jest tautologią)
|
|
|
Przykłady formuł logicznie równoważnych commencer à apprendre
|
|
|
|
|
|
commencer à apprendre
|
|
Zbiór redundantny to taki, za pomocą którego podzbioru można zdefiniować wszystkie pozostałe funktory
|
|
|
|
commencer à apprendre
|
|
Zbiór funktorów nazywamy funkcjonalnie pełnym, jeśli dowolne zdanie możemy zapisać tylko za pomocą funktorów z tego zbioru Dysjunkcja Sheffera i binegacja tworzą osobne zbiory funkcjonalnie pełne {|}, {↓} Zbiorami funkcjonalnie pełnymi są np. {∨,∧,~}, {∨,~}< {∧,~}
|
|
|
