6 kontakty: Ekstensjonalność, Funktor intensjonalny, Funktor zdaniotwórczy, Klasyczny rachunek zdań, Wartość logiczna, Zdanie logiczne.
Ekstensjonalność
Ekstensjonalność to własność języka lub pewnych jego struktur, polegająca na tym, że w języku tym bądź w otoczeniu owych struktur językowych podstawienia terminów mających ten sam zbiór desygnatów nie zmieniająprawdziwości zdań.
Nowy!!: Funktor ekstensjonalny i Ekstensjonalność · Zobacz więcej »
Funktor intensjonalny
Funktor intensjonalny, spójnik intensjonalny – funktor zdaniotwórczy od argumentów zdaniowych taki, że wartość logiczna zdania utworzonego za jego pomocązależy nie tylko od wartości logicznych zdań składowych, lecz także od ich treści.
Nowy!!: Funktor ekstensjonalny i Funktor intensjonalny · Zobacz więcej »
Funktor zdaniotwórczy
Funktor zdaniotwórczy – wyrażenie, które wraz z innymi wyrażeniami, nazywanymi argumentami funktora, tworzy zdanie lub funkcję zdaniową.
Nowy!!: Funktor ekstensjonalny i Funktor zdaniotwórczy · Zobacz więcej »
Klasyczny rachunek zdań
Klasyczny rachunek zdań – najpopularniejszy system formalny logiki matematycznej, w którym formuły reprezentujące zdania logiczne mogąbyć tworzone z formuł atomowych za pomocąwymienionego niżej zbioru aksjomatów.
Nowy!!: Funktor ekstensjonalny i Klasyczny rachunek zdań · Zobacz więcej »
Wartość logiczna
Wartość logiczna – podstawowa cecha zdania określająca jego stosunek do faktów.
Nowy!!: Funktor ekstensjonalny i Wartość logiczna · Zobacz więcej »
Zdanie logiczne
Zdanie logiczne – podstawowa kategoria syntaktyczna, będąca jednocześnie formąwypowiedzi, mającej na celu określenie stanu faktycznego danej rzeczy.
Nowy!!: Funktor ekstensjonalny i Zdanie logiczne · Zobacz więcej »