×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents tagged [v c proof]
1 Who Stole the Painting? In-class Resolution Refutation Problem N(x) – “x is a knight” K(x) – “x is a knave” R(x) – “x is a regular” N(A) -> ~N(A) = ~N(A)
215 views