Home / first order logic proof calculator / Resolution Proof Example. - Department of …
Resolution Proof Example. - Department of … - first order logic proof calculator
Resolution Proof Example.
(a) Marcus was a man.
(b) Marcus was a Roman.
(c) All men are people.
(d) Caesar was a ruler.
(e) All Romans were either loyal to Caesar or hated him (or both).
(f) Everyone is loyal to someone.
(g) People only try to assassinate rulers they are not loyal to.
(h) Marcus tried to assassinate Caesar.
Convert to First order Logic.
(a) Marcus was a man. (a) man(marcus)
(b) Marcus was a Roman.
(c) All men are people.
(d) Caesar was a ruler.
(e) All Romans were either loyal to Caesar or
hated him (or both).
(f) Everyone is loyal to someone.
(g) People only try to assassinate rulers they are
not loyal to.
(h) Marcus tried to assassinate Caesar.
Convert to First order Logic
(a) Marcus was a man. (a) man(marcus)
(b) Marcus was a Roman. (b) roman(marcus)
(c) All men are people.
(d) Caesar was a ruler.
(e) All Romans were either loyal to Caesar or
hated him (or both).
(f) Everyone is loyal to someone.
(g) People only try to assassinate rulers they are
not loyal to.
(h) Marcus tried to assassinate Caesar.
Pdf INFO
Title: Resolution Proof Example.
Author: fahiem
Creator: Microsoft® PowerPoint® 2013
Producer: Microsoft® PowerPoint® 2013
CreationDate: Fri Nov 8 11:15:02 2013
ModDate: Fri Nov 8 11:15:02 2013
Tagged: yes
Form: none
Pages: 32
Encrypted: no
Page size: 960 x 540 pts (rotated 0 degrees)
File size: 331589 bytes
Optimized: no
PDF version: 1.5
