(5/5)

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

INSTRUCTIONS TO CANDIDATES

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).
• 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

2. (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

1. (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)

1. (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

(5/5)

## Related Questions

##### . Introgramming & Unix Fall 2018, CRN 44882, Oakland University Homework Assignment 6 - Using Arrays and Functions in C

DescriptionIn this final assignment, the students will demonstrate their ability to apply two ma

##### . The standard path finding involves finding the (shortest) path from an origin to a destination, typically on a map. This is an

Path finding involves finding a path from A to B. Typically we want the path to have certain properties,such as being the shortest or to avoid going t

##### . 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. The LineItem class will represent an individual

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

##### . SeaPort Project series For this set of projects for the course, we wish to simulate some of the aspects of a number of Sea Ports. Here are the classes and their instance variables we wish to define:

1 Project 1 Introduction - the SeaPort Project series For this set of projects for the course, we wish to simulate some of the aspects of a number of

##### . Project 2 Introduction - the SeaPort Project series For this set of projects for the course, we wish to simulate some of the aspects of a number of Sea Ports. Here are the classes and their instance variables we wish to define:

1 Project 2 Introduction - the SeaPort Project series For this set of projects for the course, we wish to simulate some of the aspects of a number of

Hire Me

Hire Me