Date post: | 02-Jan-2016 |
Category: |
Documents |
Upload: | shaylee-kinsella |
View: | 14 times |
Download: | 0 times |
All
A road map for predicate logic translation.
Is the statementsingular?
YesNo
General
All A B No A BSome A BPn
#x(Ax&Bx)
All
A road map for predicate logic translation.
Is the statementsingular?
YesNo
General
All A B No A BSome A BPn
#x(Ax&Bx) $x(Ax Bx)
All
A road map for predicate logic translation.
Is the statementsingular?
YesNo
General
All A B No A BSome A BPn
#x(Ax&Bx) $x(Ax & Bx)
WRONG!
All
A road map for predicate logic translation.
Is the statementsingular?
YesNo
General
All A B No A BSome A BPn
#x(Ax&Bx) $x(Dx & Lx)
WRONG!This says that everything isboth a DOG and LOYAL.
All
A road map for predicate logic translation.
Is the statementsingular?
YesNo
General
All A B No A BSome A BPn
#x(Ax&Bx) $x(Dx>Lx)
RIGHTFor every x, if x is a DOG then x is LOYAL.
No
A road map for predicate logic translation.
Is the statementsingular?
YesNo
General
All A B No A BSome A BPn
#x(Ax&Bx) $x(Ax>Bx)
No
A road map for predicate logic translation.
Is the statementsingular?
YesNo
General
All A B No A BSome A BPn
#x(Ax&Bx) -$x(Ax>Bx)
WRONG!
$x(Ax>Bx)
No
A road map for predicate logic translation.
Is the statementsingular?
YesNo
General
All A B No A BSome A BPn
#x(Ax&Bx)
WRONG!‘no’ isn’t ‘not all’
$x(Ax>Bx) -$x(Ax>Bx)
No
A road map for predicate logic translation.
Is the statementsingular?
YesNo
General
All A B No A BSome A BPn
#x(Ax&Bx)
WRONG!‘no’ isn’t ‘not all’
No men are good tennis players. FNot all men are good tennis players. T
$x(Ax>Bx) -$x(Ax>Bx)
No
A road map for predicate logic translation.
Is the statementsingular?
YesNo
General
All A B No A BSome A BPn
#x(Ax&Bx) -#x(Ax&Bx)
Right‘no’ is ‘not some’
$x(Ax>Bx)
No
A road map for predicate logic translation.
Is the statementsingular?
YesNo
General
All A B No A BSome A BPn
#x(Ax&Bx) -#x(Ax&Bx)$x(Ax>-Bx)
$x(Ax>Bx)
Not All
General
All A B No A BSome A B
#x(Ax&Bx)
Not all A B- all A B
$x(Ax>Bx) -#x(Ax&Bx)$x(Ax>-Bx)
Not All
General
All A B No A BSome A B
#x(Ax&Bx)
Not all A B- all A B
-$x(Ax>Bx)
$x(Ax>Bx) -#x(Ax&Bx)$x(Ax>-Bx)
Not All
General
All A B No A BSome A B
#x(Ax&Bx)
Not all A B- all A B
-$x(Ax>Bx)#x(Ax&-Bx)
$x(Ax>Bx) -#x(Ax&Bx)$x(Ax>-Bx)
Not All
General
All A B No A BSome A B
#x(Ax&Bx) $x(Ax>Bx) -#x(Ax&Bx)$x(Ax>-Bx)
Not all A B- all A B
-$x(Ax>Bx)#x(Ax&-Bx)
For more click here