Добавил:

Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.

Вуз:

Национальный медицинский университет им. А.А. Богомольца

Предмет:

[НЕСОРТИРОВАННОЕ]

Файл:

Logika-Homenko

.pdf

Скачиваний:

Добавлен:

20.03.2015

Размер:

1.25 Mб

Скачать

☆

<<< < Предыдущая 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 3031 / 3431 32 33 34 > Следующая >>>

%(<% :<-' ( / , F+

%(<% :<-' ( / , F+ — F+ ,%:<% ,%(<% -? ,-'F%E , :/ ; < / * / -& / :<-' ( / , F+ .

) " " -:

	;
	’-		.
					15

	):<-=+<<; %&+<%				12
	&’; — F+ & (<)* :<-', J :<-=-L ,+ &+ .
	&’; — F+ & (<)* :<-', J :<-=-L ,+ &+ .				16
					16

	% < >+<<; %&+< (-<<;.
	,)<F) ) + ,%E %&+< (-<<;
	(			( )
	- %		, ++ -
	" :
		" ;
		" ;
301
301		" - +		.	17
		" - +		.	17

):<-=+<<; <; ;. , ' ,- <; ;
<; ; — F+		&'-, ;'- > ;0 & '-:%(') <-				+;'
:<-' () ',+& PL : <%(+, & * :-/-<PL (
'- ,+ &+ ), ;')& ,)-&-<<- F; :<-'-.


#
						18
			) ) <; .
/%=<- 0-,-' +,) )'- <;
):<-=) ),	;' / () <-+G) <; ;, :<-=-L
-) * & /%=< 0-,-' +,) )' .

#	A	:	# /	/	M-	19
						19

302	) ) (% < >+< &%G &% <)&) <; ;&)
	&% <% <; ; — F+ <; ;, ;'% &-P % <% + +-
	&+< ) ? ;/ , ? E0<% ? ;/) (<% P -? =-' (
	:?%/-P ;.	' %
		' %
	%	%	%
	(
	:,	:	:

				20
	) ) (% < >+< &%G <+ &% <)&) <; ;&)
	+ &% <% <; ; — F+ <; ;, ;'% <+ &-P %-
	<)0 + +&+< %( ? ;/ , ? E0<% ? ;/) <+ :?%/--
	P ;.	' %
		' %
	%	%	%
	-	(-

	:		:: -
		:	:: -
				21

	/%=<% +,-F%E <-		<; ;&)
	;			;
(	;		,
;		.
;
! " ;
! " ;					22
					22

":-/-<+<<; <;

":-/-<+<<; <; — F+ /%=<- +,-F%;, (<-%-

' ;' E : %* <PP +,+0%		12
	(% +;' / <; ;
<; ; : ?% >)& ? ;/ &, -+ &+<>)& :&% &.
(	—
		23

?&+G+<<; <;

?&+G+<<; <; — F+ /%=<- +,-F%;, (<-% '

;' E : %* <PP +,+0%	(% +;' / <; ; -
<; ; : &+<>)& ? ;/ &, -+ ?% >)& :&% &.
( (	—
( (	—	24
		24

303

% <; . , ' ,- %
% <; — F+ /%=<- +,-F%;, (<-% ' ;' E
: %* <PP +,+0%	(%	, ( / <; ;	&< G)-
<) () ()0 <; .

		R

			25
	) ) %

+ ;

$ .

		,-()- % . ) (% &) ')
	1	-		1	« »
					« -
*					»
*		-
	2	-		2	«
:	2	+		2	«		-
		-+ +			»
		R	•
	3	R		3
•	3	+ +		3
•						+

			A
		-	A
	4	-		4	«		-
:	4		•	4	«		-
:			•		»
							27
		-)D%'-F%; - EE () )
-)D%'-F%; — F+ ?-/-,%(<+(), % (<) -
% ? ;/ <; ; : &+ P ) +&-):-F%E, / )?-
+<<; - ,)&-<<; < ()0 :<-< (< = +<%(
% .
		! " &:

;

% .
	28

304	):<-=+<<; <; . , ' ,- ():<-=+<<;
	):<-=+<<; ( +D%<%F%;) — F+ /%=<- +,-F%;, :-				-
	& / P ;' E , :',)(-P :&% <; ;.

	! -		!	-	29
	) ) ():<-=+<
	# ! +	+		:	12
	;				12
	;
	.
					30
	(<% ():<-=+<<; - E0<% () )

(<+ ():<-=+<<; — F+ ():<-=+<<;, ;'+ &-L D ,& G< % +D%<%L< & - +D%<%L< .

$ :

-" ;

;

" .
" .	31

		+;(<% ():<-=+<<; - E0<% () )
+;(<+ ():<-=+<<; — F+ ():<-=+<<;, ;'+ <+ &-L D ,-
&) G< %			+D%<%L< & -				+D%<%L< .
		$				:
								;
		;
					.						32
		,-()- ():<-=+< . ) (% &) ')
	1	B ! "-					1	«		%
		! -	+							»
		- -						«
*		+								»
:	2						2	«		-
:	2								»
									»
		+				•		« »
				-		•
	3			-			3
•	3	, -					3	$			-
•		,

		/$		-		A		!
		/$		-		A
	4	, ; -					4				-
	4						4				-
:						•					33
											33

305

,)* &), %?<%	():<-=+<
;
$;
	;
	.
	.	34

):<-=+<<; G+<<;. , ' ,- G+<<;

G+<<; — F+ &'-, ;'- , :',)(-L :(’;: ' &%G ,+ &+-&) - E0<%&) :<-'-&) =+,+: (+, G+<<; -? :-+,+=+<<;.

(

’-				# ’

	) ) G+<
	(
# +			# +
			(


	# +
	+
		-
	(	(:)
		-
	(O)
	-
	(	( )
	-
	( )			36
				36
	):<-=+<<;	+ ',) )(< /
	() ( P(-<<;
+ ',) )(<+ () ( P(-<<; — F+ () ( P(-<<;,
( ;' & (+, G P -? :-+,+= P <-;(<% +(-
<)0 )-F%* D-' )=< / , ,+-< / 0-,-' +, .

306

/%=<% =<)')

-:(-			)&(		,-&-)=<)*
=<)'-					-<-/

			~	«	», « , ;...		»

’+	"			«...	...», «...	...»

’+	"			«...	...», «...	...»

"				« ; ,... ...		»

		"		«...	, ...		»,
				«...	; ;...»

								38

M-+,+=+<<;

M-+,+=+<<; — F+ /%=<)* =<)', ;')* (- ,) %: % )<< / () ( P(-<<; 0)?<+, - : 0)?<- / — % )<<+.

Z		~
:/

1		$
2	$

<’P<'F%;

<’P<'F%; — F+ /%=<)* =<)', ;')* L % )<- <)& )>+ ( & ()- ' , ' ) ( % * / '- <)') L % )<<)&). %0 %<>)0 ()- '-0 F+* /%=<)* - =<)' 0)?<)*.

Z
:/

1
2		$	$
3	$		$
4	$	$	$

& %'-F%;

& %'-F%; — F+ /%=<)* =<)', ;')* L 0)?<)& )>+ ( < & ()- ' , ' ) +,>+ () ( P(-<<; (-< +F+ +< ) % )<<+, - , /+ () ( P(-<<; (' < +'- (+< ) — 0)?<+. " ( %0 %<>)0 ()- '-0 %& %'-F%; %- )<<-.

Z
:/

1
2		$	$
3	$
4	$	$

307

						):’P<'F%;
			) " + 2 ’+								" &

		(			)		( )
			’+		"				’+		"
-?'-					(<+ , /-)		) <- ( , /-) ):’P<'-
	):’P<'F%; — F+ /%=-						F%; — F+ /%=<)* -
	<)* =<)', ;')* L						=<)', ;')* L % )<<)&
0)?<)& )>+ ( < &							)0 ()- '-0, ' )
()- ' , ' ) /%=<%							/%=<% :<-=+<<; * /
:<-=+<<; * / '- -							'- <)'%( <+ :?%/-P-
<)'%( 0)?<%. %0 %<-							;. +* /%=<)* -
	>)0 ()- '-0 F+* -						=<)' L 0)?<)&, ' ) -
/%=<)* =<)' % )<-							/%=<%		:<-=+<<;			* /
<)*.							'- <)'%( :?%/-P ;.

	Z							Z
	:/							:/

	1							1				$

	2			$				2			$

	3		$					3		$

	4		$	$		$		4		$	$	$


													42

'(%(-+<F%;

'(%(-+<F%; — F+ /%=<)* =<)', ;')* L % )<- <)& )0 ()- '-0, ' ) /%=<% :<-=+<<; * / '- - <)'%( :?%/-P ;. +* /%=<)* =<)' 0)?<)*, '- ) /%=<% :<-=+<<; * / '- <)'%( <+ :?%/-P ;.

		Z
	:/
	1
	2					$	$
	3			$			$
	4			$		$


								43

				) ) :-' <%(

Z			-:(-		( ,PP ;		, > P ;
:/			:-' <			P )< P	P )< P

1						–	–
		(	)
2		/		-	+		+
		( )
3						–	+

								44

308

(<% :-' <) /%')

	( ;
	;
	+ .
	+ .	45

M-' < G< %

$ -;'+ () ( P(-<<; L G<)& -&+ ?%.

A A, A A

M-' < , ),%==;

%;'+ () ( P(-<<; <+ & G+ ? ) % )<<)& <- =-< :% ( E& :-+,+=+<<;&.

~( ~ )

M-' < ()' P=+< / ,+ /

M ( 0 () ( P(-< , ( < & : ;')0 (+, G P +, J :-+,+= P , / & , <+ L <+ &%<< %- )<<)&, ? % )<<)& L -? -&+ () ( P(-<<;, -? * / :-+,+=+<<;.

~
	48

) ) /%=<)0 (% < >+< &%G () ( P(-<<;&)

%	& ;	;
%	&	;
%		.	49

) ) & -<)0 /%'. -< %. ) ) & -<)0 () ( P(-<

Z		) )					) )
Z	& -<)*		-< %			& -<)0
:/	& -<)*		-< %			& -<)0
:/		/%'				() ( P(-<
		/%'				() ( P(-<

1	:		/$	,	(-	: -
			,			+
2	O		B ,		-	O		-
			,	% ,		+
			, -
			-, -

3	'-		M , -, , -			'		(-
			% ,		,	)	+-
	( )		%

4	B	’ ,	-	B		-
		,		+		50
	):<-=+<<; :-)-<<;. , ' ,- :-)-<<;
M-)-<<; — F+ () ( P(-<<;, ( ;' & &% ) ;
()& /- +(< E %<D ,&-F%E (%			P )<),		;' E :(+,-
-P ;.
		A
						51

		) ) :-)-<


		#




			"

			:

			'	52
				52
		):<-=+<<; (% (% %
	% (% —	F+ () ( P(-<<;, ( ;' & P )<-,
	;' :-) P , <- -L +(< %<D ,&-F%P.			53
		) ) (% (% +*





			'
			'
		/
		/	/
309			/	54
309

	):<-=+<<; + ' )(< /
	&%,' (-<<;
+ ' )(<+ &%,' (-<<; — F+ &%,' (-<<;, ( ;' &
&%G :-< (<)'-&) - () < (' & % < L (% < >+<<;
/%=< / % (-<<;.			55
/%=< / % (-<<;.
	) ) + ' )(<)0 &%,' (-<


		) -


		*-
		*-


		) -






		«#
		«#
		»
		»
	/	«B
		«B
		( »
			56

310

0+&) + ' )(<)0 &%,' (-<

-:(- &%,' (-<<;

0+&- &%,' (-<<;

& (<% &%,'-

A B, B C

(-<<;

A C

"& (<-'-+/ ,)=<%

&%,' (-<<;

2.1

modus ponens

A B, A

2.2

modus tollens

* (, ~(

: % (-'-+/ ,)=<%

* (, ~*

* (, ~(

&%,' (-<<;

(

3.1

modus tollendo pone-

* (, ~*

* (, ~(

nes

(

3.2

modus ponendo tollens

* (, *

* (, (

4"& (<-, : % (% &%,' (-<<;

4.1		-		* 0, ( 0, * (

				0
4.2		-		* 0, ( D, * (
				C D
4.3			* B, A C, ~B ~C
			~*
4.4	-		* B, C D, ~B ~D
				~* ~C

):<-=+<<; ,-( %?< / &%,' (-<<;

,-( %?<+ &%,' (-<<; — F+ &%,' (-<<;, ( ;'- & &%G :-< ('-&) - () < (' & <+ % < L (% < >+<- <; /%=< / % (-<<;, - <-;(<+ (% < >+<<; % - (+, G+<<;.

) ) ,-( %?<)0 &%,' (-<

	;
	-+.

):<-=+<<; %< ' )(< / &%,' (-<<;

< ' )(<+ &%,' (-<<; — F+ ,-( %?<+ &%,'- (-<<;, ( ;' & : %* <PP +,+0% (% :<-<<; , ',+&% ,+ &+ ) -? =-)< ,+ &+ %( +(< / '--:-/-< / :<-<<; , (+ '- ,+ &+ %(.

<<< < Предыдущая 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 3031 / 3431 32 33 34 > Следующая >>>

Соседние файлы в предмете [НЕСОРТИРОВАННОЕ]

#
20.03.2015598.86 Кб8lecture03.pdf
#
20.03.20151.8 Mб30LEK luty 2014 wersja I ver. 1.01.pdf
#
23.11.201931.01 Кб2Lektsiya_8.docx
#
30.04.2015249.61 Кб16lekt_med_pravo.pdf
#
17.11.2019533.5 Кб3Leninger 4 ukr.doc
#
20.03.20151.25 Mб50Logika-Homenko.pdf
#
20.03.20154.05 Mб160Lohika_tradytsiina_ta_suchasna.pdf
#
20.03.2015202.68 Кб478LOR_OTLI4NA9_SHPORA.docx
#
05.12.2018149.5 Кб7M.Stelmah. Obraz chutlivogo do kr _asi hlopchik....doc
#
20.03.20151.43 Mб201m2832.doc
#
20.03.2015153.6 Кб20M2T08_Difteriya_dlya_vikladachiv.doc