Treść książki
Przejdź do opcji czytnikaPrzejdź do nawigacjiPrzejdź do informacjiPrzejdź do stopki
Wykazsymbolilogicznych
(zodpowiednikamisłownymi)
~
↓
∧
∨
negacja(nnieprawda,że”)
binegacja(nani…ani”)
koniunkcja(ni”)
alternatywazwykła(nlub”)
⊥
alternatywarozłączna(nalbo…albo”)
ąimplikacja(njeżeli…to…”)
←implikacjaodwrotna(ntylkojeżeli…to…”)
≡
równoważność(nzawszeitylkowtedy,gdy”)
⋀
kwantyfikatorogólny(ndlakażdego”)
⋁
kwantyfikatorszczegółowy(ndlaniektórych”)
Noperatordeontycznynakazu(nnakazanejest”)
Ooperatordeontycznyobowiązku(nprzedmiotemobowiązku
jest”)
Z
operatordeontycznyzakazu(nzakazanejest”)
11