Logic 1 2. Proof by Contradiction RobiMalik COMP140e04BII.11

 !!"!#$ %!%!&!'!(*)+%!,!- $ .!/10 2 - 0 %!,
35476 8 9;: < 8 =
+O .!- P!$ .!Q7R+S!/!P!2 - 0 %!,
TU,U.!Q - S!$ ,!.!- 0 V7SU/!S1/!P!27- 0 V SUW (7W - S!X
& %!$ZY!$ %!Y!%!W70 - 0 %!,!.1Q7Q %![!0 27"
\]U!^ _!bU`Z$ a P!Q S!W*& %!$Z- c!SU2 %!,!,!S!2 - 0 V7S!W
∧ ∨ → ↔
d ]!e!_ fgaih $ P!Q S!W& %!$
¬
D E F G H G G I G > ? @ A @ ? B C > > JK L M N
k %!P!,!/Ul+P!Q S!W*& %!$
m falsen o p q r s t
m falsen u v o w5t
m ¬n o p q r s t
D E F G ¬
# $ %!%!&!'!()%!,!- $ .!/!0 27- 0 %!,
€ &!+SU+.!,!-!- %UY!$ %!V S ¬A‚
ƒ „ …5† † ‡7ˆ+‰+Š ‹ Œ Š A  †Š Ž ‡ ‰!„
1„ Z†  ‘ ’ Š ‹ ‰;Œ † † ‡ ˆ;“ Š  ”7‘7•
“7Ž ” – ‰;Œ — ”7‘ Š Ž Œ ˜  — Š  ”1‘ •
„ ‰!„ • “7Ž ” – ‰+Š ‹ Œ Š false ™” ‡ š ˜+› ” š š ” ™ „

œ1„  ”7‘ — š ‡ ˜7‰+Š ‹ Œ Š A — Œ ‘ ‘ ” Š1ž ‰+Š Ž ‡ ‰ •
 „ ‰!„ • A ˆ;‡ † Š1ž ‰+› Œ7š † ‰1„
D E F G H G G I G > ? @ A @ ? B C > > J KL M ?
#$ %!%!&!l+P!Q S!W* +W70 ,![U)+%!,!- $ .!/!0 27- 0 %!,U¡ !¢
¡ false¦ S!Q 0 XU¢
€ ,U%!$ /!S!$£- %UY!$ %!V S A¤
+SU.!W W7P!XUSU- c!.!- A /!%!S!W*,!%!-!c!%!Q /U.!,!/
W7c!%!¥- c!.!-1- c!0 W*( 0 S!Q /!W*.U2 %!,!- $ .!/!0 27- 0 %!,!"
D E F G H G G I G > ? @ A @ ? B C > > J KL M Ÿ
#$ %!%!&!l+P!Q S!W* +W70 ,![U)+%!,!- $ .!/!0 27- 0 %!,U¡ !¢
A ¬A
false
¬A
false
A
A
false
H ¬G A G I x ` ]!]!^!y f
z ]!{!| ` _!e!} ~7| } ]!{
G > ? @ A @ ? B C > > JK L M j
¬A
false
A
¡ ¬¦ 0 ,!- $ %!¢
A
false
¬A
€ ,U%!$ /!S!$Z- %UY!$ %!V7S ¤
+ SU.!W W P!XUSU- c!.!- A c!%!¬A
Q /!W*.!,!/
W7c!%!¥- c!.!-1- c!0 W*( 0 S!Q /!W*.U2 %!,!- $ .!/!0 27- 0 %!,!"
D E F G H G G I G > ? @ A @ ? B C > > J KL M §
#$ %!%!&!'!()%!,!- $ .!/!0 27- 0 %!, ‚ !. ,7.!XUY!Q S
rs u p w
vo u o s p p¬q→→q ¬p
p→q
¬q
r u w w o u q o s p
w q os p
p
q
w →n u v o false
falsen o p q r s ¬n o p q r s ¬p
D E ¬q
F →G ¬p
H G G I G → n o p q r s > ? @ A @ ? B C > > J K L M +) %!,!- $ .!Y!%!W 0 - 0 %!,U.!,!/U€ ,!/!0 $ S!2 -!#$ %!%!&
)+%!,!- $ .!Y!%!W 0 - 0 %!,
£‹ ‰+› ” Ž ˆ;‡7š Œ7† A → B Œ ‘ ˜ ¬B → ¬A Œ1Ž ‰
š ” ’1 — Œ7š š +‰ 7‡  – Œ7š ‰ ‘ Š „  Š Ž Œ1“ † Š
”7‘ › ”   ”7‘
€ ,!/!0 $ S!27-!#$ %!%!&
” A→B
‘ † Š ‰ Œ7˜ ” ›1“7Ž ” –  ‘ ’ A → B
„
™£‹ ‰;† — Œ †‘ † Œ1š †ˆ+” ‰ “Š Žˆ+” ‰7– †‰ ‰7¬Œ B† →
¬A
  ” 
 ‰1Ž „
D E F G H G G I G > ? @ A @ ? B C > > JK L M T ,!%!- c!S!$7.!XUY!Q S
ƒ „ p ∧ ¬p
Œ7† † ‡ ˆ;“ Š  ”7‘
!„ ¬q
Œ7† † ‡ ˆ;“ Š  ”7‘
œ!„ p
‰7š ˆ ƒ ! ƒ
∧ 
‰7š ˆ  ! ƒ
#$ „„ ¬p
∧ 
Š Ž ” ! œ •#
false
false  ‘ "
'!„ q
‰1š ˆ  & $
false  !
ŠŽ ƒ & '
( „ (p ∧ ¬p) → q
→  ‘ ”%!
D E F G H G G I G > ? @ A @ ? B C > > JK L M T '!%!P!-!)+%!,!- $ .!/!0 27- 0 %!,!W
) ” Љ !
‹ ‰+› ” Ž ˆ;‡ š Œ false → A  † – Œ7š  ˜!„
… ‘ › ” Ž ˆ;‡ š Œ  †Œ*š ” ’1 — Œ7š — ”1‘ † ‰ 1‡ ‰ ‘ — ‰ ” ›
Š ‹ ‰+› ” Ž ˆ;‡ š Œ false „
›7Œ;† ‰ Š ›7› Ž ˆ;‡ š Œ † †+‡ † Œ Š † › Œ7ž7š ‰ Œ › ” Ž ˆ;‡ š Œ*” š ” ’1”  — Œ7š š  › ” š š ” ™ †‘ › Ž ” ˆ   Š „ • ‘
› ‰;— Œ ‰ ‰7Ž!“ Ž ‰ • ™ ‰;— Œ ‘; ‘ › ‰7Ž
Œ ‘ ™ › ” Ž ˆ;‘ ‡7š Œ+– › Ž ” ˆg” Š – ‹  † false
„
D E F G H G G I G > ? @ A @ ? B C > > J KL M > @
* ∀# ∃ + . #$ %!%!& TUW7W 0 W - .!,!-
D E F G H G G I G > ? @ A @ ? B C > > J KL M > >
l+S!.!/!0 ,![
,.- /10%0324/6554798- :62<;= /1>@?
A4:B%C D EF5<G1H I
JJ H KL1M%NO6H
D E F G H G G I G > ? @ A @ ? B C > > J KL M > N