Download presentation
Presentation is loading. Please wait.
1
Another Example -#x(Ax&Bx) 1) -#x(Ax&Bx) A $x(Ax>-Bx) The 2 ways to
translate ‘No’ 1) -#x(Ax&Bx) A $x(Ax>-Bx) GOAL Quantifier Exchange: -$x = #x- -#x = $x-
2
Another Example -#x(Ax&Bx) 1) -#x(Ax&Bx) A $x(Ax>-Bx)
The 2 ways to translate ‘No’ 1) -#x(Ax&Bx) A 2) -$x(Ax>-Bx) PA ?&-? ?,? &I $x(Ax>-Bx) 2-? -O Quantifier Exchange: -$x = #x- -#x = $x-
3
Another Example -#x(Ax&Bx) 1) -#x(Ax&Bx) A $x(Ax>-Bx)
The 2 ways to translate ‘No’ 1) -#x(Ax&Bx) A 2) -$x(Ax>-Bx) PA ?&-? ?,? &I $x(Ax>-Bx) 2-? -O Quantifier Exchange: -$x = #x- -#x = $x-
4
Another Example -#x(Ax&Bx) 1) -#x(Ax&Bx) A $x(Ax>-Bx)
The 2 ways to translate ‘No’ 1) -#x(Ax&Bx) A 2) -$x(Ax>-Bx) PA 3) $x-(Ax&Bx) 1 QE ?&-? ?,? &I $x(Ax>-Bx) 2-? -O Quantifier Exchange: -$x = #x- -#x = $x-
5
Another Example -#x(Ax&Bx) 1) -#x(Ax&Bx) A $x(Ax>-Bx)
The 2 ways to translate ‘No’ 1) -#x(Ax&Bx) A 2) -$x(Ax>-Bx) PA 3) $x-(Ax&Bx) 1 QE ?&-? ?,? &I $x(Ax>-Bx) 2-? -O Quantifier Exchange: -$x = #x- -#x = $x-
6
Another Example -#x(Ax&Bx) 1) -#x(Ax&Bx) A $x(Ax>-Bx)
The 2 ways to translate ‘No’ 1) -#x(Ax&Bx) A 2) -$x(Ax>-Bx) PA 3) $x-(Ax&Bx) 1 QE 4) #x-(Ax>-Bx) 2 QE ?&-? ?,? &I $x(Ax>-Bx) 2-? -O Quantifier Exchange: -$x = #x- -#x = $x-
7
Another Example -#x(Ax&Bx) 1) -#x(Ax&Bx) A $x(Ax>-Bx)
The 2 ways to translate ‘No’ 1) -#x(Ax&Bx) A 2) -$x(Ax>-Bx) PA 3) $x-(Ax&Bx) 1 QE 4) #x-(Ax>-Bx) 2 QE ?&-? ?,? &I $x(Ax>-Bx) 2-? -O Quantifier Exchange: -$x = #x- -#x = $x-
8
Another Example -#x(Ax&Bx) 1) -#x(Ax&Bx) A $x(Ax>-Bx)
The 2 ways to translate ‘No’ 1) -#x(Ax&Bx) A 2) -$x(Ax>-Bx) PA 3) $x-(Ax&Bx) 1 QE 4) #x-(Ax>-Bx) 2 QE 5) -(Aa>-Ba) 4 #O ?&-? ?,? &I $x(Ax>-Bx) 2-? -O Quantifier Exchange: -$x = #x- -#x = $x-
9
Another Example -#x(Ax&Bx) 1) -#x(Ax&Bx) A $x(Ax>-Bx)
The 2 ways to translate ‘No’ 1) -#x(Ax&Bx) A 2) -$x(Ax>-Bx) PA 3) $x-(Ax&Bx) 1 QE 4) #x-(Ax>-Bx) 2 QE 5) -(Aa>-Ba) 4 #O 6) -(Aa&Ba) 3 $O ?&-? ?,? &I $x(Ax>-Bx) 2-? -O Quantifier Exchange: -$x = #x- -#x = $x-
10
Another Example -#x(Ax&Bx) 1) -#x(Ax&Bx) A $x(Ax>-Bx)
The 2 ways to translate ‘No’ 1) -#x(Ax&Bx) A 2) -$x(Ax>-Bx) PA 3) $x-(Ax&Bx) 1 QE 4) #x-(Ax>-Bx) 2 QE 5) -(Aa>-Ba) 4 #O 6) -(Aa&Ba) 3 $O 7) Aa&Ba 5 AR ?&-? ?,? &I $x(Ax>-Bx) 2-? -O Quantifier Exchange: -$x = #x- -#x = $x-
11
Another Example -#x(Ax&Bx) 1) -#x(Ax&Bx) A $x(Ax>-Bx)
The 2 ways to translate ‘No’ 1) -#x(Ax&Bx) A 2) -$x(Ax>-Bx) PA 3) $x-(Ax&Bx) 1 QE 4) #x-(Ax>-Bx) 2 QE 5) -(Aa>-Ba) 4 #O 6) -(Aa&Ba) 3 $O 7) Aa&Ba 5 AR 8) (Aa&Ba)&-(Aa&Ba) 7,6 &I 9) $x(Ax>-Bx) 2-8 -O Quantifier Exchange: -$x = #x- -#x = $x-
Similar presentations
![Happy Birthday, Darwin!. Show that {(A v ~C) ~B, [~B (Q &~Q)], ~C & A} ⊦ is inconsistent in SD 1 (A v ~C) ~BA 2 ~B (Q & ~Q)A 3 ~C & AA.](/16/5099456/big_thumb.jpg "Happy Birthday, Darwin!. Show that {(A v ~C) ~B, [~B (Q &~Q)], ~C & A} ⊦ is inconsistent in SD 1 (A v ~C) ~BA 2 ~B (Q & ~Q)A 3 ~C & AA.>")
