The Gateway to Computer Science Excellence
First time here? Checkout the FAQ!
0 votes
1. What is good for corporations is good for the United States.

2. What is good for the United States is good for you.

3. What is good for the corporations is for you to buy lots of stuffs


What are the valid conclusions? Please explain the solution
asked in Mathematical Logic by Veteran (17.3k points) | 72 views

1 Answer

+1 vote

The first two conditional statements can be phrased as

"If x is good for corporations, then x is good for the U.S." and "If x is good for the U.S., then x is good for you."

If we now apply universal instantiation with x being "for you to buy lots of stuff,'' then we can conclude using modus ponens twice that for you to buy lots of stuff is good for the U.S. and is good for you.

Universal instantiation : is the rule of inference used to conclude that P(c) is true, where c
is a particular member of the domain, given the premise ∀xP(x). Universal instantiation is used
when we conclude from the statement “All women are wise” that “Lisa is wise,” where Lisa is
a member of the domain of all women.


answered by Boss (5.5k points)

Quick search syntax
tags tag:apple
author user:martin
title title:apple
content content:apple
exclude -tag:apple
force match +apple
views views:100
score score:10
answers answers:2
is accepted isaccepted:true
is closed isclosed:true

28,834 questions
36,688 answers
34,641 users