Slide 1 Levels of Reasoning propositional p 1 = q 1 p 2 = q 2 ... p n = q n p = q schematic (1 st order uninterpreted) x := s ; x := t = x := t[x/s] 1 st order…
![Levels of Reasoning propositional p 1 = q 1 p 2 = q 2 ... p n = q n p = q schematic (1 st order uninterpreted) x := s ; x := t = x := t[x/s] 1 st.](https://static.cupdf.com/doc/330x215/56649d405503460f94a1a1b6/levels-of-reasoning-propositional-p-1-q-1-p-2-q-2-p-n-.jpg)