Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Wyszukujesz frazę "implikacja" wg kryterium: Temat


Wyświetlanie 1-3 z 3
Tytuł:
O implikacji kauzalnej
On Causal Implication
Autorzy:
Modrzejewska, Anna
Powiązania:
https://bibliotekanauki.pl/articles/2015669.pdf
Data publikacji:
2004
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:
logika
A. W. Burks
implikacja kauzalna
logic
causal implication
Opis:
The first part of the paper characterises two new non-extensional functors: functor of counterfactual implication and functor of causal implication. The latter functor was used by Arthur W. Burks in his early considerations on the construction of a system of the logic of causal propositions, the formal inscription of conditional propositions in the colloquial language and the language of empirical sciences. The second part traces down the mutual relations between the functors of counterfactual implication, causal implication, material implication and strict implication. Special attention is paid to the fact that causal implication implies material implication (a converse relationship does not occur), and strict implication implies causal implication (a converse relationship does not occur).
Źródło:
Roczniki Filozoficzne; 2004, 52, 1; 215-225
0035-7685
Pojawia się w:
Roczniki Filozoficzne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Uwagi o implikacji materialnej
Autorzy:
Kiczuk, Stanisław
Powiązania:
https://bibliotekanauki.pl/articles/2013479.pdf
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
Opis:
In the initial part of the article texts of some authors are analyzed concerning material implication. In the further part of the article the proposition is justified that the operator of material implication differs in quality from other truth-functional operators. The final part of the article is devoted to considerations aiming at presenting what the thesis of the classical propositional calculus, in which the main operator is the operator of material implication, denote.
Źródło:
Roczniki Filozoficzne; 2006, 54, 1; 69-80
0035-7685
Pojawia się w:
Roczniki Filozoficzne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Wnioskowanie logiczne za pomocą DNA. Reguła kontrapozycji
Logical deduction with DNA. The rule of contraposition
Autorzy:
Rogowski, Łukasz
Powiązania:
https://bibliotekanauki.pl/articles/41205160.pdf
Data publikacji:
2013
Wydawca:
Uniwersytet Kazimierza Wielkiego w Bydgoszczy
Tematy:
obliczenia DNA
komputer DNA
logika
wnioskowanie
implikacja
implementacja
reguła kontrapozycji
DNA computing
computer DNA
logic
deduction
implication
implementation
rule of contraposition
Opis:
Obliczenia DNA (z ang. DNA computing) to nowa dziedzina informatyki, będąca alternatywą dla tradycyjnych systemów komputerowych, polegająca na wykorzystaniu cząsteczek molekularnych do rozwiązywania problemów algorytmicznych, matematycznych i logicznych. Niniejszy artykuł przedstawia istniejące implementacje systemów wnioskowania realizowanych za pomocą DNA oraz nową koncepcję takiego systemu, uwzględniającą nowe elementy: negację i regułę kontrapozycji w implikacji.
DNA computing is one of new computational paradigms which are alternative to traditional computer systems. Biological molecules in special laboratory conditions can be used to solve mathematical, logical and algorithmic purposes. This paper describes some already existing models of logical inference systems and the new proposal – DNA deduction system using new elements: negation and rule of contraposition.
Źródło:
Studia i Materiały Informatyki Stosowanej; 2013, 12; 11-18
1689-6300
Pojawia się w:
Studia i Materiały Informatyki Stosowanej
Dostawca treści:
Biblioteka Nauki
Artykuł
    Wyświetlanie 1-3 z 3

    Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies