Answered step by step
Verified Expert Solution
Link Copied!

Question

1 Approved Answer

Let a be a random assignment. Let's extend propositional logic L with a new operator *, which accepts two arguments and has the following properties:

image text in transcribed

Let a be a random assignment. Let's extend propositional logic L with a new operator *, which accepts two arguments and has the following properties: [T* 1]" + [1 *T]and [T*T]" # [1*1]. In other words, * evaluates differently if both its arguments evaluate to the same value and if both arguments evaluate to a different value. The set of propositional formulas, which uses only the operators from the set {T, 1, *}, is called L*. For each operator, that has the properties of *, show, that there's always a propositional formula WEL, for which no equivalent formula &' E * exists. Hint: Use structural induction for your proof. There are four different operators with the given pro- perties. Let a be a random assignment. Let's extend propositional logic L with a new operator *, which accepts two arguments and has the following properties: [T* 1]" + [1 *T]and [T*T]" # [1*1]. In other words, * evaluates differently if both its arguments evaluate to the same value and if both arguments evaluate to a different value. The set of propositional formulas, which uses only the operators from the set {T, 1, *}, is called L*. For each operator, that has the properties of *, show, that there's always a propositional formula WEL, for which no equivalent formula &' E * exists. Hint: Use structural induction for your proof. There are four different operators with the given pro- perties

Step by Step Solution

There are 3 Steps involved in it

Step: 1

blur-text-image

Get Instant Access to Expert-Tailored Solutions

See step-by-step solutions with expert insights and AI powered tools for academic success

Step: 2

blur-text-image

Step: 3

blur-text-image

Ace Your Homework with AI

Get the answers you need in no time with our AI-driven, step-by-step assistance

Get Started

Students also viewed these Databases questions