Download presentation
Presentation is loading. Please wait.
1
A road map for predicate logic translation.
All A road map for predicate logic translation. Is the statement singular? No Yes General All A B No A B Some A B Pn #x(Ax&Bx)
2
A road map for predicate logic translation.
All A road map for predicate logic translation. Is the statement singular? No Yes General All A B No A B Some A B Pn #x(Ax&Bx) $x(Ax Bx)
3
A road map for predicate logic translation.
All A road map for predicate logic translation. Is the statement singular? No Yes General All A B No A B Some A B Pn #x(Ax&Bx) $x(Ax & Bx) WRONG!
4
All A road map for predicate logic translation. Is the statement
singular? No Yes General All A B No A B Some A B Pn #x(Ax&Bx) $x(Dx & Lx) WRONG! This says that everything is both a DOG and LOYAL.
5
All A road map for predicate logic translation. Is the statement
singular? No Yes General All A B No A B Some A B Pn #x(Ax&Bx) $x(Dx>Lx) RIGHT For every x, if x is a DOG then x is LOYAL.
6
A road map for predicate logic translation.
No A road map for predicate logic translation. Is the statement singular? No Yes General All A B No A B Some A B Pn #x(Ax&Bx) $x(Ax>Bx)
7
A road map for predicate logic translation.
No A road map for predicate logic translation. Is the statement singular? No Yes General All A B No A B Some A B Pn #x(Ax&Bx) $x(Ax>Bx) -$x(Ax>Bx) WRONG!
8
A road map for predicate logic translation.
No A road map for predicate logic translation. Is the statement singular? No Yes General All A B No A B Some A B Pn #x(Ax&Bx) $x(Ax>Bx) -$x(Ax>Bx) WRONG! ‘no’ isn’t ‘not all’
9
No A road map for predicate logic translation. Is the statement
singular? No Yes General All A B No A B Some A B Pn #x(Ax&Bx) $x(Ax>Bx) -$x(Ax>Bx) WRONG! ‘no’ isn’t ‘not all’ No men are good tennis players F Not all men are good tennis players. T
10
A road map for predicate logic translation.
No A road map for predicate logic translation. Is the statement singular? No Yes General All A B No A B Some A B Pn #x(Ax&Bx) $x(Ax>Bx) -#x(Ax&Bx) Right ‘no’ is ‘not some’
11
A road map for predicate logic translation.
No A road map for predicate logic translation. Is the statement singular? No Yes General All A B No A B Some A B Pn #x(Ax&Bx) $x(Ax>Bx) -#x(Ax&Bx) $x(Ax>-Bx)
12
Not All General All A B No A B Some A B -#x(Ax&Bx) $x(Ax>-Bx)
Not all A B
13
Not All General All A B No A B Some A B -#x(Ax&Bx) $x(Ax>-Bx)
Not all A B - all A B
14
Not All General All A B No A B Some A B -#x(Ax&Bx) $x(Ax>-Bx)
Not all A B - all A B -$x(Ax>Bx)
15
Not All General All A B No A B Some A B -#x(Ax&Bx) $x(Ax>-Bx)
Not all A B - all A B -$x(Ax>Bx) #x(Ax&-Bx)
16
For more click here Not All General All A B No A B Some A B -#x(Ax&Bx)
Not all A B - all A B -$x(Ax>Bx) #x(Ax&-Bx) For more click here
Similar presentations
