Scribd
Upload
95 views2 pages

COL703 IIT Delhi Assignment 4

This document provides details for Assignment 4, including information about due date, marks allocation, and zero tolerance for dishonest means like plagiarism. It then lists 5 questions related to first-order logic: 1) formalizing statements using predicates, 2) proving properties of assignments, 3) expressing statements using predicates and using resolution, 4) proving a formula with no quantifiers or functions is satisfiable in a 1-element universe, and 5) constructing formulas with models of certain sizes.

Uploaded by

Ramneet Singh
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
95 views2 pages

COL703 IIT Delhi Assignment 4

This document provides details for Assignment 4, including information about due date, marks allocation, and zero tolerance for dishonest means like plagiarism. It then lists 5 questions related to first-order logic: 1) formalizing statements using predicates, 2) proving properties of assignments, 3) expressing statements using predicates and using resolution, 4) proving a formula with no quantifiers or functions is satisfiable in a 1-element universe, and 5) constructing formulas with models of certain sizes.

Uploaded by

Ramneet Singh
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
You are on page 1/ 2

Assignment 4 (Marks: 7 Diwali Offer Marks: 14, Due date: Nov.

01 ) COL703, Aug-Nov 2022

Please note that there will be zero tolerance for dishonest means like copying solutions from others, and
even letting others copy your solution, in any assignment/quiz/exam. If you are found indulging in such
an activity, your answer-paper/code will not be evaluated and your participation/submission will not be
counted. Second-time offenders will be summarily awarded an F grade. The onus will be on the supposed
offender to prove his or her innocence.

1. [1 marks Diwali offer : 2 marks] Formalise the following as sentences of first order logic. Use
B(x) for “x is a barber”, and S(x, y) for “x shaves y”.

(a) Every barber shaves all persons who do not shave themselves.
(b) No barber shaves any person who shaves himself.

Convert your answers to Skolem form and use ground resolution to show that (c), given below, is
a consequence of (a) and (b).

(c) There are no barbers.

2. [1.5 marks Diwali offer : 3 marks] Fix a signature σ. Consider a relation ∼ on σ-assignments
that satisfies the following two properties.

• If A ∼ B then for every atomic formula F we have A |= F iff B |= F .


• If A ∼ B then for each variable x we have (i) for each a ∈ UA there exists b ∈ UB such that
A[x7→a] ∼ B[x7→b] , and (ii) for all b ∈ UB there exists a ∈ UA such that A[x7→a] ∼ B[x7→b] .

Prove that if A ∼ B then for any formula F , A |= F iff B |= F . You may assume that F is built
from atomic formulas using the connectives ∧ and ¬, and the quantifier ∃.
3. [1 marks Diwali offer : 2 marks] Express the following by formulas of first-order logic, using
predicates H(x) for “x is happy”, R(x) for “x is rich”, G(x) for “x is a graduate”, and C(x, y) for “y
is a child of x”.

(a) Any person is happy if all their children are rich.


(b) All graduates are rich.
(c) Someone is a graduate if they are a child of a graduate.
(d) All graduates are happy.

Use first-order resolution to show that (d) is entailed by (a), (b), and (c). Indicate the substitutions
in each resolution step.
4. [1 marks Diwali offer : 2 marks] Let A(x1 , . . . , xn ) be a formula with no quantifiers and no
function symbols. Prove that ∀x1 . . . ∀xn A(x1 , . . . , xn ) is satisfiable if and only if it is satisfiable in an
interpretation with there being just one element in the universe.
5. In this question, we work with first-order logic without equality.

(a) [1 marks Diwali offer : 2 marks] Consider a signature σ containing only a binary relation
R. For each positive integer n show that there is a satisfiable σ-formula Fn such that every model
A of Fn has at least n elements.
(b) [1.5 marks Diwali offer : 3 marks] Consider a signature σ containing only unary predicate
symbols P1 , . . . , Pk . Using the question 2 (above), or otherwise, show that any satisfiable σ-
formula has a model where the universe has at most 2k elements.

You might also like

pFad - Phonifier reborn

Pfad - The Proxy pFad of © 2024 Garber Painting. All rights reserved.

Note: This service is not intended for secure transactions such as banking, social media, email, or purchasing. Use at your own risk. We assume no liability whatsoever for broken pages.


Alternative Proxies:

Alternative Proxy

pFad Proxy

pFad v3 Proxy

pFad v4 Proxy