Funktor zdaniotwórczy: Różnice pomiędzy wersjami
[wersja przejrzana] | [wersja nieprzejrzana] |
Usunięta treść Dodana treść
Nie podano opisu zmian Znaczniki: VisualEditor Z urządzenia mobilnego Z wersji mobilnej (przeglądarkowej) |
Nie podano opisu zmian Znaczniki: Wycofane VisualEditor Z urządzenia mobilnego Z wersji mobilnej (przeglądarkowej) |
||
Linia 9:
Ze względu na ekstensjonalność spójników za ich argumenty podstawiać można dowolne inne wyrażenia o tej samej denotacji bez zmiany wartości logicznej całości tworzonej przez spójnik i jego argumenty.
Ekstensjonalność jest własnością wszystkich spójników KRZ, ale nie wszystkich spójników języka naturalnego, ani spójników wszystkich systemów dedukcyjnych. W języku naturalnym istnieje wiele spójników nieekstensjonalnych (inaczej: spójników intensjonalnych) – spośród funktorów jednoargumentowych np. „jest konieczne, że...”, „wiadomo, że...”, spośród dwuargumentowych np. „ponieważ...”.
== Spójniki klasycznego rachunku zdań ==
|