Funktor
Z Wikipedii
[edytuj] Funktor
[edytuj] Funktor zdaniotwórczy
Funktory zdaniotwórcze (inaczej spójniki logiczne) - służą do łączenia ze sobą zdań lub funkcji zdaniowych.
Należą do nich:
Symbol | Nazwa | Przykład | Opis |
---|---|---|---|
Negacja | nieprawda że P (nie P ) | ||
Dysjunkcja | nieprawda że P lub nieprawda że Q | ||
Alternatywa | P lub Q | ||
Koniunkcja | P i Q | ||
Implikacja | z P wynika Q | ||
Równoważność | P wtedy i tylko wtedy gdy Q (P równoważne Q) | ||
Spójnik Sheffera | ani P ani Q |