example : A -(A A B) :=

Database System Concepts
7th Edition
ISBN:9780078022159
Author:Abraham Silberschatz Professor, Henry F. Korth, S. Sudarshan
Publisher:Abraham Silberschatz Professor, Henry F. Korth, S. Sudarshan
Chapter1: Introduction
Section: Chapter Questions
Problem 1PE
icon
Related questions
Question
Solve the second question on Lean (indicated
by a star)
4.7. Exercises
Prove the following in Lean:
variables ABC D : Prop
try it!
example : AA (A → B) - B :=
sorry
example : A - (- A A B) :=
sorry
example :
- (A A B)
(A - - B) :=
sorry
example (h1 : Av B) (h2 : A C) (h3 : B → D) : C v D :=
sorry
example (h : - A A - B) : - (A v B) :=
sorry
example :
- (A + - A) :=
sorry
Transcribed Image Text:Solve the second question on Lean (indicated by a star) 4.7. Exercises Prove the following in Lean: variables ABC D : Prop try it! example : AA (A → B) - B := sorry example : A - (- A A B) := sorry example : - (A A B) (A - - B) := sorry example (h1 : Av B) (h2 : A C) (h3 : B → D) : C v D := sorry example (h : - A A - B) : - (A v B) := sorry example : - (A + - A) := sorry
Expert Solution
trending now

Trending now

This is a popular solution!

steps

Step by step

Solved in 2 steps with 1 images

Blurred answer
Similar questions
Recommended textbooks for you
Database System Concepts
Database System Concepts
Computer Science
ISBN:
9780078022159
Author:
Abraham Silberschatz Professor, Henry F. Korth, S. Sudarshan
Publisher:
McGraw-Hill Education
Starting Out with Python (4th Edition)
Starting Out with Python (4th Edition)
Computer Science
ISBN:
9780134444321
Author:
Tony Gaddis
Publisher:
PEARSON
Digital Fundamentals (11th Edition)
Digital Fundamentals (11th Edition)
Computer Science
ISBN:
9780132737968
Author:
Thomas L. Floyd
Publisher:
PEARSON
C How to Program (8th Edition)
C How to Program (8th Edition)
Computer Science
ISBN:
9780133976892
Author:
Paul J. Deitel, Harvey Deitel
Publisher:
PEARSON
Database Systems: Design, Implementation, & Manag…
Database Systems: Design, Implementation, & Manag…
Computer Science
ISBN:
9781337627900
Author:
Carlos Coronel, Steven Morris
Publisher:
Cengage Learning
Programmable Logic Controllers
Programmable Logic Controllers
Computer Science
ISBN:
9780073373843
Author:
Frank D. Petruzella
Publisher:
McGraw-Hill Education