Earn Higher Grades With Instant Assignment Help.Ask Question!

Computer Science
(5/5)

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

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

  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

Attachments:
(5/5)

Related Questions

CSI 1420 Introduction to C Programming & 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 majorconstructs of the C programming language – Fu

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

Ask This Assignment To Be Done By Our ExpertsGet A+ Grade Solution Guaranteed

expert
joyComputer science
(4/5)
12 Answers Hire Me
expert
Robert DLaw
(4.8/5)
587 Answers Hire Me
expert
Dr Samuel BarberaStatistics
(5/5)
501 Answers Hire Me
expert
Tutor For YouEconomics
(5/5)
828 Answers Hire Me