Translate the following sentences to propositional logic, where atomic sentences are represented by uppercase letters

INSTRUCTIONS TO CANDIDATES

ANSWER ALL QUESTIONS

Introduction to Logic Homework assignment

1. (30 points) Translate the following sentences to propositional logic, where atomic sentences are represented by uppercase letters. Do not forget to provide the translation key (one translation key for the whole exercise).

2. • There will be more accidents if we do not drive

   • If we drive slower or we build less houses, then there will be less nitrogen

   • Either there will be more accidents or there will be less nitrogen

3. (30 points) Translate the following sentences to first-order logic. Do not forget to provide the translation key (one key for the whole exercise).

• Ludwig Wittgenstein is a scientist only if Ada Lovelace is a

• David Pinsent and Ludwig Wittgenstein both live in Norway, or David Pinsent lives in England but Ludwig Wittgenstein does not live in

• Ludwig Wittgenstein and Ada Lovelace are both scientists, but Ludwig Wittgen- stein admires David Pinsent more than he admires Ada Lovelace

3. (40 points) Give formal proofs for the following inferences. Do not forget to provide justifications. You may only use the Introduction and Elimination rules and the Reiteration rule:

d = a a = b c = b

d = c

(¬A → A) ↔ A A → B

¬(C ∧ B)

¬(A ∧ C)

(A ∨ (⊥ ∨ B)) (A ∨ B)

4. (Bonus exercise, 10 points) Give a formal proof for:

Do  not  forget  to provide justifications.You may Elimination rules and the Reiteration rule.

¬(A ↔ ¬B)

A ↔ B

Related Questions

. The fundamental operations of create, read, update, and delete (CRUD) in either Python or Java

CS 340 Milestone One Guidelines and Rubric  Overview: For this assignment, you will implement the fundamental operations of create, read, update,

. Develop a program to emulate a purchase transaction at a retail store. This  program will have two classes, a LineItem class and a Transaction class

Retail Transaction Programming Project  Project Requirements:  Develop a program to emulate a purchase transaction at a retail store. This

. The following program contains five errors. Identify the errors and fix them

7COM1028   Secure Systems Programming   Referral Coursework: Secure

. Accepts the following from a user: Item Name Item Quantity Item Price Allows the user to create a file to store the sales receipt contents

Create a GUI program that:Accepts the following from a user:Item NameItem QuantityItem PriceAllows the user to create a file to store the sales receip

. The final project will encompass developing a web service using a software stack and implementing an industry-standard interface. Regardless of whether you choose to pursue application development goals as a pure developer or as a software engineer

CS 340 Final Project Guidelines and Rubric  Overview The final project will encompass developing a web service using a software stack and impleme