ÿþW s t p d o l o g i k i
K l a s y c z n y R a c h u n e k Z d a D I I I
K R Z : r e g u By w n i o s k o w a n i a
P r z y p o m n i j m y : L o g i k a : = T e o r i a f o r m ( s c h e m a t ó w , r e g u B) p o p r a w n y c h w n i o s k o w a D.
W n i o s k o w a n i e m n a z y w a m y j a k k o l w i e k s k o Dc z o n c o n a j m n i e j d w u w y r a z o w s e k w e n c j
z d a D, z k t ó r y c h o s t a t n i e j e s t w n i o s k i e m , a w c z e [n i e j s z e s p r z e s Ba n k a m i . W n i o s k o w a n i e
n a z y w a m y f o r m a l n i e p o p r a w n y m l u b d e d u k c y j n y m w t w j e g o s c h e m a t e m j e s t n i e z a w o d n a r e g u Ba
w n i o s k o w a n i a , c z y l i t a k a k t ó r a o d p r z e s Ba n e k p r a w d z i w y c h p r o w a d z i z a w s z e d o p r a w d z i w e g o
w n i o s k u . O g ó l n i e m ó w i c , p r z e z r e g u B w n i o s k o w a n i a r o z u m i e s i i n s t r u k c j s t w i e r d z a j c z
j a k i e g o r o d z a j u z d a D j a k o p r z e s Ba n e k , j a k i e z d a n i e m o |n a o t r z y m a j a k o w n i o s e k . P r z y t y m
i n s t r u k c j a t a p o d a j e n a o g ó B t y l k o s t r u k t u r o w y c h z d a D, n i e w n i k a j c w i c h t r e [.
R e g u By w n i o s k o w a n i a z w y k l e n o t u j e s i w p o s t a c i u Ba m k o w e j :
A , . . . , A
1 n
,
B
g d z i e A 1 , . . . , A n o r a z B s d o w o l n y m i f o r m u Ba m i K R Z . F o r m u By A 1 , . . . , A n i n t e r p r e t u j e m y j a k o
s c h e m a t y p r z e s Ba n e k , a f o r m u B B j a k o s c h e m a t w n i o s k u .
2
K R Z : r e g u By w n i o s k o w a n i a
P r z y k Ba d .
S u b s t a n c j a s j e s t k w a s e m l u b z a s a d .
J e |e l i s u b s t a n c j a s j e s t k w a s e m , t o b a r w i p a p i e r e k l a k m u s o w y n a c z e r w o n o .
J e d n a k s u b s t a n c j a s n i e b a r w i p a p i e r k a l a k m u s o w e g o n a c z e r w o n o .
A z a t e m : S u b s t a n c j a s j e s t z a s a d .
R e g u Ba : p (" q
p ’! r
~ r
q
P o z o s t a j e s p r a w d z i , c z y p o d a n a r e g u Ba j e s t n i e z a w o d n a . %
F o r m a l n i e :
3
K R Z : r e g u By w n i o s k o w a n i a
D E F . 7 ( R e g u Ba w n i o s k o w a n i a ) . R e g u B ( s c h e m a t e m ) w n i o s k o w a n i a n a z y w a m y d o w o l n y
s k o Dc z o n y , c o n a j m n i e j d w u w y r a z o w y c i g f o r m u B j z y k a K R Z . O s t a t n i f o r m u B n a z y w a m y
s c h e m a t e m w n i o s k u , a f o r m u By w c z e [n i e j s z e s c h e m a t a m i p r z e s Ba n e k .
P r z y k Ba d y .
p , q p a" ~ q , ~ p a" q p ’!q , p
, ,
p '"q ( p a" ~ q ) '" ( ~ p a" q ) q
Z a u w a |m y , |e d w i e p i e r w s z e r e g u By m o |n a p o t r a k t o w a j a k o s z c z e g ó l n e p r z y p a d k i r e g u By o
s c h e m a c i e
A , B
A '"B
P o w s t a j o n e z t e g o s c h e m a t u w w y n i k u w s t a w i e n i a z a ( m e t a z m i e n n e ) A i B p e w n y c h
k o n k r e t n y c h f o r m u B j z y k a K R Z . O w e s c h e m a t y r e g u B t e | b d z i e m y n a z y w a r e g u Ba m i . %
4
K R Z : r e g u By w n i o s k o w a n i a
A 1 , . . . , A n
D E F . 8 ( R e g u Ba n i e z a w o d n a ) . R e g u Ba w n i o s k o w a n i a
j e s t n i e z a w o d n a n a g r u n c i e K R Z
B
w t w i m p l i k a c j a
A 1 '" . . . '" A n ’! B
j e s t t a u t o l o g i K R Z ( r ó w n i e | i m p l i k a c j a : A 1 ’! [ A 2 ’! . . . ( A n ’! B ) ] ) .
W p r z e c i w n y m p r z y p a d k u j e s t o n a z a w o d n a .
A l t e r n a t y w n i e ( z u w a g i n a d e f i n i c j w y n i k a n i e l o g i c z n e g o ) :
A 1 , . . . , A n
D E F 8 a . R e g u Ba w n i o s k o w a n i a j e s t n i e z a w o d n a ( n a g r u n c i e K R Z ) w t w w n i o s e k B
B
w y n i k a l o g i c z n i e z p r z e s Ba n e k A 1 , . . . , A n ( n a g r u n c i e K R Z ) .
A z a t e m , n a k a |d e j t a u t o l o g i i ( o p o s t a c i i m p l i k a c j i ) m o |n a o p r z e p e w n n i e z a w o d n r e g u B
w n i o s k o w a n i a .
5
K R Z : r e g u By w n i o s k o w a n i a
P r z y k Ba d y .
R e g u Ba P r a w o
p ’!q , p
( p ’! q ) '" p ’! q m o d u s p o n e n d o p o n e n s
q
p ’!q , ~ q
( p ’! q ) '" ~ q ’! ~ p m o d u s t o l l e n d o t o l l e n s
~ p
p '"q
( p '" q ) ’! p p r . s y m p l i f i k a c j i
p
p ’!q , q ’!r
( p ’! q ) ’! [ ( q ’! r ) ’! ( p ’! r ) ]
p ’!r
p r . s y l o g i z m u h i p o t e t y c z n e g o
p , ~ p
p ’! ( ~ p ’! q ) p r . p r z e p e Bn i e n i a %
q
6
K R Z : r e g u By w n i o s k o w a n i a
Aa t w o m o |n a s p r a w d z i p r a w d z i w o [ n a s t p u j c e g o t w i e r d z e n i a :
A 1 , . . . , A n
T w i e r d z e n i e . J e [l i r e g u Ba j e s t n i e z a w o d n a , a f o r m u By A 1 , . . . , A n u z y s k u j w a r t o [ 1 , t o
B
f o r m u Ba B t e | u z y s k u j e w a r t o [ 1 .
A 1 , . . . , A n
D o w ó d . Z a Bó |m y , |e r e g u Ba j e s t n i e z a w o d n a , a f o r m u By A 1 , . . . , A n u z y s k u j w a r t o [ 1 ,
B
z a [ d l a d o w o d u n i e w p r o s t z a Bó |m y , |e f o r m u Ba B u z y s k u j e w a r t o [ 0 . W t e d y i m p l i k a c j a
A 1 '" . . . '" A n ’! B
u z y s k u j e w a r t o [ 0 ( b o p o p r z e d n i k u z y s k u j e w a r t o [ 1 , a n a s t p n i k w a r t o [ 0 ) , c z y l i n i e j e s t
A 1 , . . . , A n
t a u t o l o g i K R Z . W t a k i m r a z i e z u w a g i n a D E F . 8 r e g u Ba ( o p a r t a n a t e j
B
i m p l i k a c j i ) j e s t z a w o d n a , w b r e w t e m u , c o z a Bo |y l i [m y n a p o c z t k u . %
7
K R Z : r e g u By w n i o s k o w a n i a
K o n s e k w e n c j a t e g o t w i e r d z e n i a j e s t s t w i e r d z e n i e , |e j e [l i w n i o s k o w a n i e o p i e r a s i n a r e g u l e
n i e z a w o d n e j , a p r z e s Ba n k i t e g o w n i o s k o w a n i a s p r a w d z i w e , t o w n i o s e k t e | b d z i e p r a w d z i w y ;
k r ó t k o : w n i o s k o w a n i e j e s t n i e z a w o d n e ( z a c h o w u j e p r a w d z i w o [) .
D E F . 9 ( D e d u k c j a ) . D e d u k c j n a z y w a s i w n i o s k o w a n i e o p a r t e n a j a k i e [ r e g u l e n i e z a w o d n e j ,
c z y l i t a k i e , w k t ó r y m w n i o s e k w y n i k a l o g i c z n i e z p r z e s Ba n e k .
L o g i k a d a j e n a r z d z i e d o k o n t r o l i n i e z a w o d n o [c i w n i o s k o w a D, p r z e d e w s z y s t k i m d e d u k c y j n y c h .
W y s t a r c z y s p r a w d z i , c z y w n i o s k o w a n i e o p i e r a s i n a r e g u l e n i e z a w o d n e j . J e |e l i w n i o s k o w a n i e
d e d u k c y j n e n i e o p i e r a s i n a t a k i e j r e g u l e , t o m ó w i m y , |e p o p e Bn i o n o b Bd f o r m a l n y .
8
Wyszukiwarka
Podobne podstrony:
Wykład 7 KRZ preliminariawyklad krz cz3wyklad krz cz1wyklad krz cz2Wykład II Metody wnioskowania w naukach empirycznychWykład 10 Zastosowanie KRZ[PRAWOZNAWSTWO] 7 Wykladnia prawa i wnioskowania prawnicze! z wykładu wnioski o podk więzwyklad 7 Wnioskowanie o proporcjachsemiotyka i wnioskowanie wyklad 2Manipulacja edukacją – wykład oraz wnioski po wykładziewyklad 9 Wnioskowanie o proporcjach PL [tryb zgodności]krz 01 wyklad 5Wyklad 6 Reguly polityki pienieznejkrz nd wyklad 7Wnioskowanie statystyczne (wykład ASZ)Sieci komputerowe wyklady dr Furtakwięcej podobnych podstron