Exercise 2 Given KB = (X→Y) ^ (Y→Z), and a = (X→Z) Is KB |= a is valid or not?

Linear Algebra: A Modern Introduction
4th Edition
ISBN:9781285463247
Author:David Poole
Publisher:David Poole
Chapter7: Distance And Approximation
Section7.1: Inner Product Spaces
Problem 12EQ
icon
Related questions
Question
Exercise 2
Given KB = (X→Y) ^ (Y→Z), and a = (X→Z)
Is KB |= a is valid or not?
Transcribed Image Text:Exercise 2 Given KB = (X→Y) ^ (Y→Z), and a = (X→Z) Is KB |= a is valid or not?
Exercise 5
1. Using truth table prove that:
a) {(X O Y), Y} | = -X (where "O" designates the exclusive "or")
b) {(X ^ Y)} |= X
Transcribed Image Text:Exercise 5 1. Using truth table prove that: a) {(X O Y), Y} | = -X (where "O" designates the exclusive "or") b) {(X ^ Y)} |= X
Expert Solution
steps

Step by step

Solved in 3 steps with 1 images

Blurred answer