39592

Symbolem tym oznaczamy stosunek inferencji logicznej lub wynikanie logicznego zachodzącego między 2 zdaniami wtedy, gdy prawdziwość pierwszego wyłącza fałszywość drugiego (ale nie ze względu na treść, ale ze względu na budowę, kształt). Symbol ten ma charakter obiektywny

h"

Jest to modyfikacja uznawania zdania i przekształcania zdania w twierdzenie wyrażające czyjeś przekonanie. Może być również symbol ten rozumiany jako symbol czynności uznawania

Wnioskowanie dedukcyjne - oraz f=A—>B — f=B Wnioskowanie redukcyjne - f=B oraz (*A-»B — PmA

Wnioskowanie dedukcyjne jest niezawodne, wnioskowanie nie może być prawdziwe (to operacja), prawdziwy może być wniosek. Jeżeli przesłanki są zdaniami prawdziwymi to wniosek wynikając logicznie z przesłanek musi być (ze względu na definicję wynikania) zdaniem prawdziwym. Wnioskowanie redukcyjne nie w każdych przypadku prowadzi od prawdziwych zdań występujących w charakterze przesłanek do prawdziwych wniosków. Wnioskowania redukcyjne nie występują w naukach dedukcyjnych (matematyka, logika), natomiast występują we wszelkich naukach empirycznych.

Przykłady:

■ A: Przepaliły się bezpieczniki (obserwacja)

= A—»B : Jeżeli przepalą się bezpieczniki to zgaśnie żarówka (prawo empiiyczne)

= B : Żarówka zgasła

Wniosek jest prawdziwy więc jest to wnioskowanie dedukcyjne ^: B : Żarówka zgasła (obserwacja)

= A-»B : Jeżeli przepalą się bezpieczniki to zgaśnie żarówka (prawo empiiyczne)

* A : Prawdopodobnie przepaliły się bezpieczniki Jest to rozumowanie redukcyjne

Twierdzenie - zdanie uznane. Jest to rozumienie pojęcia twierdzenie w szerszym znaczeniu (liczy się dla nas). W węższym znaczeniu jest to zdanie posiadające dowód (dla matematyki i logiki). Warunkowanie - takie relacje, które pozwalają stosować regułę oderwania przy czym zachodzą miedzy zdaniami na mocy prawidłowości (logicznej, empirycznej, językowej, definicyjnej lub intuicyjnej).

Warunkowanie oparte na prawidłowości logicznej jest wynikaniem logicznym, które zachodzi między zdaniami zawsze i tylko wtedy, gdy mają one odpowiednią budowę poprzednika i następnika implikacyjnej tautologii logicznej. (II definicja wynikania logicznego).