SlideShare a Scribd company logo
Finish the following natural deduction proofs:
Solution
The two sets L and K are such that G is a subset of LUK
As~O is a subset of G, it follows that ~O is a sub set of LvK
Again it follows that any element not in O is in either L or K
which implies If an element is in L or K it necessarily is not in O
Or O/~x is a subset of X

More Related Content

More from armsnoida

Find the most general f. Use C for the constant of the first anti-de.pdf
Find the most general f. Use C for the constant of the first anti-de.pdfFind the most general f. Use C for the constant of the first anti-de.pdf
Find the most general f. Use C for the constant of the first anti-de.pdf
armsnoida
 
Explain the concept of diaspora and distinguish between voluntary and.pdf
Explain the concept of diaspora and distinguish between voluntary and.pdfExplain the concept of diaspora and distinguish between voluntary and.pdf
Explain the concept of diaspora and distinguish between voluntary and.pdf
armsnoida
 
Does S_2 span P_2 Solutionlets calculate the dimension of S_2.pdf
Does S_2 span P_2 Solutionlets calculate the dimension of S_2.pdfDoes S_2 span P_2 Solutionlets calculate the dimension of S_2.pdf
Does S_2 span P_2 Solutionlets calculate the dimension of S_2.pdf
armsnoida
 
Describe one exception to Mendelian inheritance In what year did Cha.pdf
Describe one exception to Mendelian inheritance  In what year did Cha.pdfDescribe one exception to Mendelian inheritance  In what year did Cha.pdf
Describe one exception to Mendelian inheritance In what year did Cha.pdf
armsnoida
 
Describe Norman’s 7 Stages of Action and Four Principles of Good Des.pdf
Describe Norman’s 7 Stages of Action and Four Principles of Good Des.pdfDescribe Norman’s 7 Stages of Action and Four Principles of Good Des.pdf
Describe Norman’s 7 Stages of Action and Four Principles of Good Des.pdf
armsnoida
 
Consider a system of two components, connected as shown in the diagr.pdf
Consider a system of two components, connected as shown in the diagr.pdfConsider a system of two components, connected as shown in the diagr.pdf
Consider a system of two components, connected as shown in the diagr.pdf
armsnoida
 
Bullying has become increasingly problematic for school aged childre.pdf
Bullying has become increasingly problematic for school aged childre.pdfBullying has become increasingly problematic for school aged childre.pdf
Bullying has become increasingly problematic for school aged childre.pdf
armsnoida
 
An experiment was conducted to determine whether a deficiency of carb.pdf
An experiment was conducted to determine whether a deficiency of carb.pdfAn experiment was conducted to determine whether a deficiency of carb.pdf
An experiment was conducted to determine whether a deficiency of carb.pdf
armsnoida
 
An abject is orbiting the Earth at 215 miles in altitude. It takes o.pdf
An abject is orbiting the Earth at 215 miles in altitude. It takes o.pdfAn abject is orbiting the Earth at 215 miles in altitude. It takes o.pdf
An abject is orbiting the Earth at 215 miles in altitude. It takes o.pdf
armsnoida
 
A protein that was isolated by a team of university scientists is su.pdf
A protein that was isolated by a team of university scientists is su.pdfA protein that was isolated by a team of university scientists is su.pdf
A protein that was isolated by a team of university scientists is su.pdf
armsnoida
 
3 Quiz Question 10 (of 11) If the cash is received before the related.pdf
3 Quiz Question 10 (of 11) If the cash is received before the related.pdf3 Quiz Question 10 (of 11) If the cash is received before the related.pdf
3 Quiz Question 10 (of 11) If the cash is received before the related.pdf
armsnoida
 
1.0 Points The coefficient of determination is theA. square root o.pdf
1.0 Points The coefficient of determination is theA. square root o.pdf1.0 Points The coefficient of determination is theA. square root o.pdf
1.0 Points The coefficient of determination is theA. square root o.pdf
armsnoida
 
1. Before installing PHP, you need to install a ____. 2.In ____ dire.pdf
1. Before installing PHP, you need to install a ____. 2.In ____ dire.pdf1. Before installing PHP, you need to install a ____. 2.In ____ dire.pdf
1. Before installing PHP, you need to install a ____. 2.In ____ dire.pdf
armsnoida
 
why is the ability to transmit action potentials bidirectionaly bene.pdf
why is the ability to transmit action potentials bidirectionaly bene.pdfwhy is the ability to transmit action potentials bidirectionaly bene.pdf
why is the ability to transmit action potentials bidirectionaly bene.pdf
armsnoida
 
Why do sterols work as rigidity buffers in the cell membraneSol.pdf
Why do sterols work as rigidity buffers in the cell membraneSol.pdfWhy do sterols work as rigidity buffers in the cell membraneSol.pdf
Why do sterols work as rigidity buffers in the cell membraneSol.pdf
armsnoida
 
When a sample is taken from a larger population, this suggests that .pdf
When a sample is taken from a larger population, this suggests that .pdfWhen a sample is taken from a larger population, this suggests that .pdf
When a sample is taken from a larger population, this suggests that .pdf
armsnoida
 
What type of DNA structure is recognized by RecG and RuvABC Do you .pdf
What type of DNA structure is recognized by RecG and RuvABC Do you .pdfWhat type of DNA structure is recognized by RecG and RuvABC Do you .pdf
What type of DNA structure is recognized by RecG and RuvABC Do you .pdf
armsnoida
 
What is wrong with my source file that it will not compile Is P.pdf
What is wrong with my source file that it will not compile Is P.pdfWhat is wrong with my source file that it will not compile Is P.pdf
What is wrong with my source file that it will not compile Is P.pdf
armsnoida
 
What are two possible causes of B12 deficiency Provide a detialed a.pdf
What are two possible causes of B12 deficiency Provide a detialed a.pdfWhat are two possible causes of B12 deficiency Provide a detialed a.pdf
What are two possible causes of B12 deficiency Provide a detialed a.pdf
armsnoida
 
What are arguments for and against a user program building additiona.pdf
What are arguments for and against a user program building additiona.pdfWhat are arguments for and against a user program building additiona.pdf
What are arguments for and against a user program building additiona.pdf
armsnoida
 

More from armsnoida (20)

Find the most general f. Use C for the constant of the first anti-de.pdf
Find the most general f. Use C for the constant of the first anti-de.pdfFind the most general f. Use C for the constant of the first anti-de.pdf
Find the most general f. Use C for the constant of the first anti-de.pdf
 
Explain the concept of diaspora and distinguish between voluntary and.pdf
Explain the concept of diaspora and distinguish between voluntary and.pdfExplain the concept of diaspora and distinguish between voluntary and.pdf
Explain the concept of diaspora and distinguish between voluntary and.pdf
 
Does S_2 span P_2 Solutionlets calculate the dimension of S_2.pdf
Does S_2 span P_2 Solutionlets calculate the dimension of S_2.pdfDoes S_2 span P_2 Solutionlets calculate the dimension of S_2.pdf
Does S_2 span P_2 Solutionlets calculate the dimension of S_2.pdf
 
Describe one exception to Mendelian inheritance In what year did Cha.pdf
Describe one exception to Mendelian inheritance  In what year did Cha.pdfDescribe one exception to Mendelian inheritance  In what year did Cha.pdf
Describe one exception to Mendelian inheritance In what year did Cha.pdf
 
Describe Norman’s 7 Stages of Action and Four Principles of Good Des.pdf
Describe Norman’s 7 Stages of Action and Four Principles of Good Des.pdfDescribe Norman’s 7 Stages of Action and Four Principles of Good Des.pdf
Describe Norman’s 7 Stages of Action and Four Principles of Good Des.pdf
 
Consider a system of two components, connected as shown in the diagr.pdf
Consider a system of two components, connected as shown in the diagr.pdfConsider a system of two components, connected as shown in the diagr.pdf
Consider a system of two components, connected as shown in the diagr.pdf
 
Bullying has become increasingly problematic for school aged childre.pdf
Bullying has become increasingly problematic for school aged childre.pdfBullying has become increasingly problematic for school aged childre.pdf
Bullying has become increasingly problematic for school aged childre.pdf
 
An experiment was conducted to determine whether a deficiency of carb.pdf
An experiment was conducted to determine whether a deficiency of carb.pdfAn experiment was conducted to determine whether a deficiency of carb.pdf
An experiment was conducted to determine whether a deficiency of carb.pdf
 
An abject is orbiting the Earth at 215 miles in altitude. It takes o.pdf
An abject is orbiting the Earth at 215 miles in altitude. It takes o.pdfAn abject is orbiting the Earth at 215 miles in altitude. It takes o.pdf
An abject is orbiting the Earth at 215 miles in altitude. It takes o.pdf
 
A protein that was isolated by a team of university scientists is su.pdf
A protein that was isolated by a team of university scientists is su.pdfA protein that was isolated by a team of university scientists is su.pdf
A protein that was isolated by a team of university scientists is su.pdf
 
3 Quiz Question 10 (of 11) If the cash is received before the related.pdf
3 Quiz Question 10 (of 11) If the cash is received before the related.pdf3 Quiz Question 10 (of 11) If the cash is received before the related.pdf
3 Quiz Question 10 (of 11) If the cash is received before the related.pdf
 
1.0 Points The coefficient of determination is theA. square root o.pdf
1.0 Points The coefficient of determination is theA. square root o.pdf1.0 Points The coefficient of determination is theA. square root o.pdf
1.0 Points The coefficient of determination is theA. square root o.pdf
 
1. Before installing PHP, you need to install a ____. 2.In ____ dire.pdf
1. Before installing PHP, you need to install a ____. 2.In ____ dire.pdf1. Before installing PHP, you need to install a ____. 2.In ____ dire.pdf
1. Before installing PHP, you need to install a ____. 2.In ____ dire.pdf
 
why is the ability to transmit action potentials bidirectionaly bene.pdf
why is the ability to transmit action potentials bidirectionaly bene.pdfwhy is the ability to transmit action potentials bidirectionaly bene.pdf
why is the ability to transmit action potentials bidirectionaly bene.pdf
 
Why do sterols work as rigidity buffers in the cell membraneSol.pdf
Why do sterols work as rigidity buffers in the cell membraneSol.pdfWhy do sterols work as rigidity buffers in the cell membraneSol.pdf
Why do sterols work as rigidity buffers in the cell membraneSol.pdf
 
When a sample is taken from a larger population, this suggests that .pdf
When a sample is taken from a larger population, this suggests that .pdfWhen a sample is taken from a larger population, this suggests that .pdf
When a sample is taken from a larger population, this suggests that .pdf
 
What type of DNA structure is recognized by RecG and RuvABC Do you .pdf
What type of DNA structure is recognized by RecG and RuvABC Do you .pdfWhat type of DNA structure is recognized by RecG and RuvABC Do you .pdf
What type of DNA structure is recognized by RecG and RuvABC Do you .pdf
 
What is wrong with my source file that it will not compile Is P.pdf
What is wrong with my source file that it will not compile Is P.pdfWhat is wrong with my source file that it will not compile Is P.pdf
What is wrong with my source file that it will not compile Is P.pdf
 
What are two possible causes of B12 deficiency Provide a detialed a.pdf
What are two possible causes of B12 deficiency Provide a detialed a.pdfWhat are two possible causes of B12 deficiency Provide a detialed a.pdf
What are two possible causes of B12 deficiency Provide a detialed a.pdf
 
What are arguments for and against a user program building additiona.pdf
What are arguments for and against a user program building additiona.pdfWhat are arguments for and against a user program building additiona.pdf
What are arguments for and against a user program building additiona.pdf
 

Recently uploaded

1.4 modern child centered education - mahatma gandhi-2.pptx
1.4 modern child centered education - mahatma gandhi-2.pptx1.4 modern child centered education - mahatma gandhi-2.pptx
1.4 modern child centered education - mahatma gandhi-2.pptx
JosvitaDsouza2
 
2024.06.01 Introducing a competency framework for languag learning materials ...
2024.06.01 Introducing a competency framework for languag learning materials ...2024.06.01 Introducing a competency framework for languag learning materials ...
2024.06.01 Introducing a competency framework for languag learning materials ...
Sandy Millin
 
aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
siemaillard
 
TESDA TM1 REVIEWER FOR NATIONAL ASSESSMENT WRITTEN AND ORAL QUESTIONS WITH A...
TESDA TM1 REVIEWER  FOR NATIONAL ASSESSMENT WRITTEN AND ORAL QUESTIONS WITH A...TESDA TM1 REVIEWER  FOR NATIONAL ASSESSMENT WRITTEN AND ORAL QUESTIONS WITH A...
TESDA TM1 REVIEWER FOR NATIONAL ASSESSMENT WRITTEN AND ORAL QUESTIONS WITH A...
EugeneSaldivar
 
Francesca Gottschalk - How can education support child empowerment.pptx
Francesca Gottschalk - How can education support child empowerment.pptxFrancesca Gottschalk - How can education support child empowerment.pptx
Francesca Gottschalk - How can education support child empowerment.pptx
EduSkills OECD
 
Unit 8 - Information and Communication Technology (Paper I).pdf
Unit 8 - Information and Communication Technology (Paper I).pdfUnit 8 - Information and Communication Technology (Paper I).pdf
Unit 8 - Information and Communication Technology (Paper I).pdf
Thiyagu K
 
Supporting (UKRI) OA monographs at Salford.pptx
Supporting (UKRI) OA monographs at Salford.pptxSupporting (UKRI) OA monographs at Salford.pptx
Supporting (UKRI) OA monographs at Salford.pptx
Jisc
 
Guidance_and_Counselling.pdf B.Ed. 4th Semester
Guidance_and_Counselling.pdf B.Ed. 4th SemesterGuidance_and_Counselling.pdf B.Ed. 4th Semester
Guidance_and_Counselling.pdf B.Ed. 4th Semester
Atul Kumar Singh
 
How to Make a Field invisible in Odoo 17
How to Make a Field invisible in Odoo 17How to Make a Field invisible in Odoo 17
How to Make a Field invisible in Odoo 17
Celine George
 
Palestine last event orientationfvgnh .pptx
Palestine last event orientationfvgnh .pptxPalestine last event orientationfvgnh .pptx
Palestine last event orientationfvgnh .pptx
RaedMohamed3
 
Instructions for Submissions thorugh G- Classroom.pptx
Instructions for Submissions thorugh G- Classroom.pptxInstructions for Submissions thorugh G- Classroom.pptx
Instructions for Submissions thorugh G- Classroom.pptx
Jheel Barad
 
The basics of sentences session 5pptx.pptx
The basics of sentences session 5pptx.pptxThe basics of sentences session 5pptx.pptx
The basics of sentences session 5pptx.pptx
heathfieldcps1
 
Synthetic Fiber Construction in lab .pptx
Synthetic Fiber Construction in lab .pptxSynthetic Fiber Construction in lab .pptx
Synthetic Fiber Construction in lab .pptx
Pavel ( NSTU)
 
Operation Blue Star - Saka Neela Tara
Operation Blue Star   -  Saka Neela TaraOperation Blue Star   -  Saka Neela Tara
Operation Blue Star - Saka Neela Tara
Balvir Singh
 
Model Attribute Check Company Auto Property
Model Attribute  Check Company Auto PropertyModel Attribute  Check Company Auto Property
Model Attribute Check Company Auto Property
Celine George
 
Acetabularia Information For Class 9 .docx
Acetabularia Information For Class 9  .docxAcetabularia Information For Class 9  .docx
Acetabularia Information For Class 9 .docx
vaibhavrinwa19
 
Welcome to TechSoup New Member Orientation and Q&A (May 2024).pdf
Welcome to TechSoup   New Member Orientation and Q&A (May 2024).pdfWelcome to TechSoup   New Member Orientation and Q&A (May 2024).pdf
Welcome to TechSoup New Member Orientation and Q&A (May 2024).pdf
TechSoup
 
June 3, 2024 Anti-Semitism Letter Sent to MIT President Kornbluth and MIT Cor...
June 3, 2024 Anti-Semitism Letter Sent to MIT President Kornbluth and MIT Cor...June 3, 2024 Anti-Semitism Letter Sent to MIT President Kornbluth and MIT Cor...
June 3, 2024 Anti-Semitism Letter Sent to MIT President Kornbluth and MIT Cor...
Levi Shapiro
 
Biological Screening of Herbal Drugs in detailed.
Biological Screening of Herbal Drugs in detailed.Biological Screening of Herbal Drugs in detailed.
Biological Screening of Herbal Drugs in detailed.
Ashokrao Mane college of Pharmacy Peth-Vadgaon
 
Introduction to AI for Nonprofits with Tapp Network
Introduction to AI for Nonprofits with Tapp NetworkIntroduction to AI for Nonprofits with Tapp Network
Introduction to AI for Nonprofits with Tapp Network
TechSoup
 

Recently uploaded (20)

1.4 modern child centered education - mahatma gandhi-2.pptx
1.4 modern child centered education - mahatma gandhi-2.pptx1.4 modern child centered education - mahatma gandhi-2.pptx
1.4 modern child centered education - mahatma gandhi-2.pptx
 
2024.06.01 Introducing a competency framework for languag learning materials ...
2024.06.01 Introducing a competency framework for languag learning materials ...2024.06.01 Introducing a competency framework for languag learning materials ...
2024.06.01 Introducing a competency framework for languag learning materials ...
 
aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
 
TESDA TM1 REVIEWER FOR NATIONAL ASSESSMENT WRITTEN AND ORAL QUESTIONS WITH A...
TESDA TM1 REVIEWER  FOR NATIONAL ASSESSMENT WRITTEN AND ORAL QUESTIONS WITH A...TESDA TM1 REVIEWER  FOR NATIONAL ASSESSMENT WRITTEN AND ORAL QUESTIONS WITH A...
TESDA TM1 REVIEWER FOR NATIONAL ASSESSMENT WRITTEN AND ORAL QUESTIONS WITH A...
 
Francesca Gottschalk - How can education support child empowerment.pptx
Francesca Gottschalk - How can education support child empowerment.pptxFrancesca Gottschalk - How can education support child empowerment.pptx
Francesca Gottschalk - How can education support child empowerment.pptx
 
Unit 8 - Information and Communication Technology (Paper I).pdf
Unit 8 - Information and Communication Technology (Paper I).pdfUnit 8 - Information and Communication Technology (Paper I).pdf
Unit 8 - Information and Communication Technology (Paper I).pdf
 
Supporting (UKRI) OA monographs at Salford.pptx
Supporting (UKRI) OA monographs at Salford.pptxSupporting (UKRI) OA monographs at Salford.pptx
Supporting (UKRI) OA monographs at Salford.pptx
 
Guidance_and_Counselling.pdf B.Ed. 4th Semester
Guidance_and_Counselling.pdf B.Ed. 4th SemesterGuidance_and_Counselling.pdf B.Ed. 4th Semester
Guidance_and_Counselling.pdf B.Ed. 4th Semester
 
How to Make a Field invisible in Odoo 17
How to Make a Field invisible in Odoo 17How to Make a Field invisible in Odoo 17
How to Make a Field invisible in Odoo 17
 
Palestine last event orientationfvgnh .pptx
Palestine last event orientationfvgnh .pptxPalestine last event orientationfvgnh .pptx
Palestine last event orientationfvgnh .pptx
 
Instructions for Submissions thorugh G- Classroom.pptx
Instructions for Submissions thorugh G- Classroom.pptxInstructions for Submissions thorugh G- Classroom.pptx
Instructions for Submissions thorugh G- Classroom.pptx
 
The basics of sentences session 5pptx.pptx
The basics of sentences session 5pptx.pptxThe basics of sentences session 5pptx.pptx
The basics of sentences session 5pptx.pptx
 
Synthetic Fiber Construction in lab .pptx
Synthetic Fiber Construction in lab .pptxSynthetic Fiber Construction in lab .pptx
Synthetic Fiber Construction in lab .pptx
 
Operation Blue Star - Saka Neela Tara
Operation Blue Star   -  Saka Neela TaraOperation Blue Star   -  Saka Neela Tara
Operation Blue Star - Saka Neela Tara
 
Model Attribute Check Company Auto Property
Model Attribute  Check Company Auto PropertyModel Attribute  Check Company Auto Property
Model Attribute Check Company Auto Property
 
Acetabularia Information For Class 9 .docx
Acetabularia Information For Class 9  .docxAcetabularia Information For Class 9  .docx
Acetabularia Information For Class 9 .docx
 
Welcome to TechSoup New Member Orientation and Q&A (May 2024).pdf
Welcome to TechSoup   New Member Orientation and Q&A (May 2024).pdfWelcome to TechSoup   New Member Orientation and Q&A (May 2024).pdf
Welcome to TechSoup New Member Orientation and Q&A (May 2024).pdf
 
June 3, 2024 Anti-Semitism Letter Sent to MIT President Kornbluth and MIT Cor...
June 3, 2024 Anti-Semitism Letter Sent to MIT President Kornbluth and MIT Cor...June 3, 2024 Anti-Semitism Letter Sent to MIT President Kornbluth and MIT Cor...
June 3, 2024 Anti-Semitism Letter Sent to MIT President Kornbluth and MIT Cor...
 
Biological Screening of Herbal Drugs in detailed.
Biological Screening of Herbal Drugs in detailed.Biological Screening of Herbal Drugs in detailed.
Biological Screening of Herbal Drugs in detailed.
 
Introduction to AI for Nonprofits with Tapp Network
Introduction to AI for Nonprofits with Tapp NetworkIntroduction to AI for Nonprofits with Tapp Network
Introduction to AI for Nonprofits with Tapp Network
 

Finish the following natural deduction proofs SolutionThe two .pdf

  • 1. Finish the following natural deduction proofs: Solution The two sets L and K are such that G is a subset of LUK As~O is a subset of G, it follows that ~O is a sub set of LvK Again it follows that any element not in O is in either L or K which implies If an element is in L or K it necessarily is not in O Or O/~x is a subset of X