Answered: Given the following function on lists:…

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

See similar textbooks

Related questions

Question

This question is concerned with Booleans and Lists using predicate logic in Lean

Given the following function on lists:

def foo : list A → list (list A)
| [] := [[]]
| (a :: as) := (a :: as) :: (foo as)

Which of the following properties hold?

i) ∀ xs : list A, ∃ ys : list (list A), ys = foo xs
ii) ∀ ys : list (list A), ∃ xs:list A , ys = foo xs
iii) ∀ xs : list A, ∃ yys : list (list A), foo xs = xs :: yys
iv) ∀ xs ys : list A, foo (xs ++ ys) = foo xs ++ foo ys
v) ∀ xs ys : list A, xs = ys → foo xs = foo ys
vi) ∀ xs ys : list A, foo xs = foo ys → xs = ys

You are not required to prove them

Expert Solution

Step by step

Solved in 2 steps with 1 images

SEE SOLUTION Check out a sample Q&A here

Knowledge Booster

Learn more about

Need a deep-dive on the concept behind this application? Look no further. Learn more about this topic, computer-science and related others by exploring similar questions and additional content below.

Similar questions