Polski Serwis Naukowy - OnLine od 1999 roku RSS RSS
Regulaminy
  auto?
Dodaj do: 
Dodaj link do serwisu Facebook   Dodaj link do opisu GG  Dodaj link do serwisu Wykop   Dodaj link do serwisu Google   Dodaj link do serwisu Twitter  Dodaj link do serwisu Wyczaj.to   Dodaj link do serwisu Gwar   Dodaj link do serwisu Delicious  Dodaj link do serwisu Digg   Dodaj link do serwisu Furl   Dodaj link do serwisu Magnolia  Dodaj link do serwisu Reddit   Dodaj link do serwisu Simpy   Dodaj link do serwisu Slashdot  Dodaj link do serwisu Technorati   Dodaj link do serwisu YahooMyWeb
Warto przeczytać:
 
Komórki NK: modus operandi
W nowym, finansowanym ze środków UE badaniu grupa brytyjskich naukowców wykazuje, że krwinki białe zabijają chorą tkankę, wykorzystując śmiercionośne granulki. Zespół badaczy z Imperial College w Londynie i Uniwersytetu w Ok...
 
Warsztaty nt. rachunku sieciowego, Kaiserslautern, Niemcy
W dniach 19 - 21 marca 2012 r. w Kaiserslautern, Niemcy, odbędą się warsztaty nt. rachunku sieciowego. Ruch przechodzący przez sieć komputerową podlega ograniczeniom narzucanym przez poszczególne komponenty systemu. Ograniczenia te można wyrazić i zanaliz...
 
Historyk: Polska była zaangażowana w przygotowanie III Powstania Śląskiego
Polskie społeczeństwo, a przede wszystkim struktury wojskowe Państwa Polskiego, były zdecydowanie zaangażowane w przygotowanie i przeprowadzenie III Powstania Śląskiego - mówi PAP dyrektor Centralnego Archiwum Wojskowego dr Andrzej Żak. Powstanie wybuchło w nocy z 2 na 3 ma...
 
Konferencja nt. wytwarzania i migracji gazu oraz implikacji w kontekście wydajności geologicznych składowisk odpadów radioaktywnych, miasto Luksemburg, Luksemburg
W dniach 5 - 7 lutego 2013 r. w mieście Luksemburg, Luksemburg, odbędzie się konferencja nt. wytwarzania i migracji gazu oraz implikacji w kontekście wydajności geologicznych składowisk przeznaczonych na utylizację odpadów radioaktywnych. Osiągnięto znaczny stopień rozwoju w wielu obszarach naukowo-technicznych istotnych dla geologicznej utylizacji długożyci...
 
Slowacki minister opowiada sie za gospodarka oparta na wiedzy
Przewagą konkurencyjną Słowacji jest obecnie niskokosztowa oraz wydajna produkcja. Ale gdy gospodarka zbliży się do poziomu reszty UE to przewaga ta zostanie stracona. Jak wyjaśnił słowacki wicepremier Pál Csáky, podczas wystąpienia 17 stycznia w Bułgarii, rz...

Reklama:


Reguła odrywania

Czy wiesz że...?
Rachunek zdań to dział logiki matematycznej badający związki między zdaniami (zmiennymi zdaniowymi) lub funkcjami zdaniowymi utworzonymi za pomocą spójników zdaniowych ze zdań lub funkcji zdaniowych prostszych. Rachunek zdań określa sposoby stosowania spójników zdaniowych w poprawnym wnioskowaniu.

Reguła (dyrektywa) dedukcyjna, także reguła (dyrektywa) inferencyjna, reguła (dyrektywa) dowodzenia - właściwa dla danego systemu dedukcyjnego reguła pozwalająca uznawać zdania o określonej strukturze na podstawie zdań już uprzednio uznanych. Stanowi strukturalną regułę wnioskowania dedukcyjnego.

Reguła odrywania – oparta na prawie rachunku zdań modus ponens reguła przekształcania jednych formuł zdaniowych w inne formuły zdaniowe przyjmowana na gruncie rachunku zdań. W pierwotnej formie sformułowana w logice stoików. Część autorów termin „reguła odrywania” rozumie szerzej, mianowicie regułę odrywania dla równoważności o analogicznej do reguły odrywania (dla implikacji) postaci.

System formalny – w logice i matematyce język formuł (logiki) wraz ze zbiorem reguł wyprowadzania (wywodu) i zwykle zbiorem aksjomatów. Systemy formalne są tworzone i badane zarówno jako samodzielne abstrakcyjne twory, jak i systemy opisu rzeczywistości.

Reguła głosi, że jeżeli tezami systemu są wyrażenie o postaci \alpha \Rightarrow \beta i wyrażenie α, to do systemu wolno dołączyć wyrażenie β. Schemat reguły wyglada więc następująco: \qquad\frac{(\alpha \Rightarrow \beta), \alpha}{\beta}

Definicja

Niech \mathcal{L}=\langle P,\mathfrak{F},\varsigma\rangle będzie językiem zdaniowym i niech \mathfrak{f}\in\mathfrak{F} będzie spójnikiem dwuargumentowym, tj. \varsigma(\mathfrak{f})=2.

Regułą odrywania dla spójnika \mathfrak{f} nazywamy regułę wnioskowania: \frac{\alpha,\;\mathfrak{f}\alpha\beta}{\beta}, gdzie \alpha,\beta\in\operatorname{Frm}(\mathcal L)

Zobacz też

  • twierdzenie o dedukcji
  • system formalny





    • Powyższa treść oraz zamieszczone w niej powiązane definicje/pojęcia - udostępniane są na licencji Creative Commons: uznanie autorstwa, na tych samych warunkach, z możliwością obowiązywania dodatkowych ograniczeń. Zobacz szczegółowe informacje o warunkach korzystania

    Wszystkie hasła znajdujące się w naszym mirrorze Wikipedii mają znaczenie informacyjne i edukacyjne.
    Nie mogą być traktowane jako porady.