Temat: truth-functional operator

Skocz do pozycji: 1.

Tytuł:: Logicy i logika a poznanie przyrody
Logicians and Logic on Study of Nature
Autorzy:: Kiczuk, Stanisław
Data publikacji:: 2005
Wydawca:: Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:: logika
funktor prawdziwościowy
funktor nieprawdziwościowy
dwuwartościowy rachunek zdań
wielowartościowy rachunek zdań
logic
truth-functional operator
not truth-functional operator
two valued propositional calculus
many-valued propositional calculus; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Uwagi o implikacji materialnej
Autorzy:: Kiczuk, Stanisław
Data publikacji:: 2006
Wydawca:: Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:: logika
funktor prawdziwościowy
znak negacji
znak alternatywy
implikacja materialna
koniunkcja
logic
truth-functional operator
negation sign
disjunction sign
material implication
conjunction; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

Szczegóły

Skocz do pozycji: 3.

Tytuł:: Logika formalna czy logiki formalne?
Formal Logic or Formal Logics?
Autorzy:: Kiczuk, Stanisław
Data publikacji:: 2007
Wydawca:: Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:: logika
funktor prawdziwościowy
logika standardowa
logika nieklasyczna
wielowartościowy rachunek zdań
logika klasyczna
logic
truth-functional operator
standard logic
non-classical logic
many-valued propositional calculus
classical logic; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

Szczegóły

Informacja