SlideShare a Scribd company logo
1 of 1
Download to read offline
II. Construct proofs for the following more challenging problems, justifying each step that is not a
premise. 1) (FG)H,(FH)&(HT),TW,W&S/:GSS 2) (BC)A,A(ST),B&S,(T&A)(WS)/:., 3) (XY)(YZ),X&(
YY),ZZ:.YZ 4) (AB)(CD),(FA)(AB),A(FA),A&C/DF 5) (AB)(CD),CA,(A&F),F/:D 6) (AB)(CD),(CW)&(
DA),A&W/:(XY) 7) A(BE),E(DH),F,DF/:AB 8) DB,CB,DC/:DC 9) (AB)C,AF,F(D&E),(DH),(EH)/:C
10) (A(BT)), (A & C) (ZD),(PT)D,P(T&S)/Z

More Related Content

More from adilmobileshopee

Kindly Answer all Questions from 11 to 14 Question One 55.pdf
Kindly Answer all Questions from 11 to 14 Question One 55.pdfKindly Answer all Questions from 11 to 14 Question One 55.pdf
Kindly Answer all Questions from 11 to 14 Question One 55.pdf
adilmobileshopee
 
John and Georgia are married file jointly and have three d.pdf
John and Georgia are married file jointly and have three d.pdfJohn and Georgia are married file jointly and have three d.pdf
John and Georgia are married file jointly and have three d.pdf
adilmobileshopee
 
Kemik dokusu mhendisliinde IPCSlerin belirli bir uygulamas.pdf
Kemik dokusu mhendisliinde IPCSlerin belirli bir uygulamas.pdfKemik dokusu mhendisliinde IPCSlerin belirli bir uygulamas.pdf
Kemik dokusu mhendisliinde IPCSlerin belirli bir uygulamas.pdf
adilmobileshopee
 
Kelly found US 140 in her attic and sold it to a bank that .pdf
Kelly found US 140 in her attic and sold it to a bank that .pdfKelly found US 140 in her attic and sold it to a bank that .pdf
Kelly found US 140 in her attic and sold it to a bank that .pdf
adilmobileshopee
 
Kevin Magnus is a payroll accountant for Mama Bear Trading C.pdf
Kevin Magnus is a payroll accountant for Mama Bear Trading C.pdfKevin Magnus is a payroll accountant for Mama Bear Trading C.pdf
Kevin Magnus is a payroll accountant for Mama Bear Trading C.pdf
adilmobileshopee
 
karyotik hcrelerin evrimi byk olaslkla unlar ieriyordu.pdf
karyotik hcrelerin evrimi byk olaslkla unlar ieriyordu.pdfkaryotik hcrelerin evrimi byk olaslkla unlar ieriyordu.pdf
karyotik hcrelerin evrimi byk olaslkla unlar ieriyordu.pdf
adilmobileshopee
 
Karyotype1 1f What is the picture to the left called I.pdf
Karyotype1 1f  What is the picture to the left called I.pdfKaryotype1 1f  What is the picture to the left called I.pdf
Karyotype1 1f What is the picture to the left called I.pdf
adilmobileshopee
 

More from adilmobileshopee (20)

Kindly Answer all Questions from 11 to 14 Question One 55.pdf
Kindly Answer all Questions from 11 to 14 Question One 55.pdfKindly Answer all Questions from 11 to 14 Question One 55.pdf
Kindly Answer all Questions from 11 to 14 Question One 55.pdf
 
John and Georgia are married file jointly and have three d.pdf
John and Georgia are married file jointly and have three d.pdfJohn and Georgia are married file jointly and have three d.pdf
John and Georgia are married file jointly and have three d.pdf
 
Kindly solve these questions Can DHCP support remote access.pdf
Kindly solve these questions Can DHCP support remote access.pdfKindly solve these questions Can DHCP support remote access.pdf
Kindly solve these questions Can DHCP support remote access.pdf
 
Kimlik av iin hangi ifade dorudur Belirli bir zaman veya .pdf
Kimlik av iin hangi ifade dorudur  Belirli bir zaman veya .pdfKimlik av iin hangi ifade dorudur  Belirli bir zaman veya .pdf
Kimlik av iin hangi ifade dorudur Belirli bir zaman veya .pdf
 
Killer Whale Inc has the following balance sheet statement.pdf
Killer Whale Inc has the following balance sheet statement.pdfKiller Whale Inc has the following balance sheet statement.pdf
Killer Whale Inc has the following balance sheet statement.pdf
 
Kemik dokusu mhendisliinde IPCSlerin belirli bir uygulamas.pdf
Kemik dokusu mhendisliinde IPCSlerin belirli bir uygulamas.pdfKemik dokusu mhendisliinde IPCSlerin belirli bir uygulamas.pdf
Kemik dokusu mhendisliinde IPCSlerin belirli bir uygulamas.pdf
 
Kelly found US 140 in her attic and sold it to a bank that .pdf
Kelly found US 140 in her attic and sold it to a bank that .pdfKelly found US 140 in her attic and sold it to a bank that .pdf
Kelly found US 140 in her attic and sold it to a bank that .pdf
 
Kevin Magnus is a payroll accountant for Mama Bear Trading C.pdf
Kevin Magnus is a payroll accountant for Mama Bear Trading C.pdfKevin Magnus is a payroll accountant for Mama Bear Trading C.pdf
Kevin Magnus is a payroll accountant for Mama Bear Trading C.pdf
 
Kesterson Corporation has provided the following information.pdf
Kesterson Corporation has provided the following information.pdfKesterson Corporation has provided the following information.pdf
Kesterson Corporation has provided the following information.pdf
 
John Rebinson single has cumulative eamings before this bi.pdf
John Rebinson single has cumulative eamings before this bi.pdfJohn Rebinson single has cumulative eamings before this bi.pdf
John Rebinson single has cumulative eamings before this bi.pdf
 
KellyAnne Public Relations acaba de pagar un dividendo anual.pdf
KellyAnne Public Relations acaba de pagar un dividendo anual.pdfKellyAnne Public Relations acaba de pagar un dividendo anual.pdf
KellyAnne Public Relations acaba de pagar un dividendo anual.pdf
 
Keisha is in the market for a new tablet computer She has s.pdf
Keisha is in the market for a new tablet computer She has s.pdfKeisha is in the market for a new tablet computer She has s.pdf
Keisha is in the market for a new tablet computer She has s.pdf
 
karyotik hcrelerin evrimi byk olaslkla unlar ieriyordu.pdf
karyotik hcrelerin evrimi byk olaslkla unlar ieriyordu.pdfkaryotik hcrelerin evrimi byk olaslkla unlar ieriyordu.pdf
karyotik hcrelerin evrimi byk olaslkla unlar ieriyordu.pdf
 
John F Kennedy International Airport JFK is a major airpo.pdf
John F Kennedy International Airport JFK is a major airpo.pdfJohn F Kennedy International Airport JFK is a major airpo.pdf
John F Kennedy International Airport JFK is a major airpo.pdf
 
Karyotype1 1f What is the picture to the left called I.pdf
Karyotype1 1f  What is the picture to the left called I.pdfKaryotype1 1f  What is the picture to the left called I.pdf
Karyotype1 1f What is the picture to the left called I.pdf
 
Kaynak Cristina A Cedillo Torres Mercedes GarciaFrench .pdf
Kaynak Cristina A Cedillo Torres Mercedes GarciaFrench .pdfKaynak Cristina A Cedillo Torres Mercedes GarciaFrench .pdf
Kaynak Cristina A Cedillo Torres Mercedes GarciaFrench .pdf
 
Kalite yaylma farkn QSD hesaplamak iin aadaki bilgileri k.pdf
Kalite yaylma farkn QSD hesaplamak iin aadaki bilgileri k.pdfKalite yaylma farkn QSD hesaplamak iin aadaki bilgileri k.pdf
Kalite yaylma farkn QSD hesaplamak iin aadaki bilgileri k.pdf
 
Karar verme becerisine sahip teknik profesyoneller karar ve.pdf
Karar verme becerisine sahip teknik profesyoneller karar ve.pdfKarar verme becerisine sahip teknik profesyoneller karar ve.pdf
Karar verme becerisine sahip teknik profesyoneller karar ve.pdf
 
Kalastaa Inc yaklak on drt yldr yerel Fin su kltr end.pdf
Kalastaa Inc yaklak on drt yldr yerel Fin su kltr end.pdfKalastaa Inc yaklak on drt yldr yerel Fin su kltr end.pdf
Kalastaa Inc yaklak on drt yldr yerel Fin su kltr end.pdf
 
Kamu Maliyesinin lkeleri Kamu sektr tarafndan mal ve hizme.pdf
Kamu Maliyesinin lkeleri Kamu sektr tarafndan mal ve hizme.pdfKamu Maliyesinin lkeleri Kamu sektr tarafndan mal ve hizme.pdf
Kamu Maliyesinin lkeleri Kamu sektr tarafndan mal ve hizme.pdf
 

Recently uploaded

SURVEY I created for uni project research
SURVEY I created for uni project researchSURVEY I created for uni project research
SURVEY I created for uni project research
CaitlinCummins3
 
The basics of sentences session 4pptx.pptx
The basics of sentences session 4pptx.pptxThe basics of sentences session 4pptx.pptx
The basics of sentences session 4pptx.pptx
heathfieldcps1
 

Recently uploaded (20)

How to Analyse Profit of a Sales Order in Odoo 17
How to Analyse Profit of a Sales Order in Odoo 17How to Analyse Profit of a Sales Order in Odoo 17
How to Analyse Profit of a Sales Order in Odoo 17
 
....................Muslim-Law notes.pdf
....................Muslim-Law notes.pdf....................Muslim-Law notes.pdf
....................Muslim-Law notes.pdf
 
An overview of the various scriptures in Hinduism
An overview of the various scriptures in HinduismAn overview of the various scriptures in Hinduism
An overview of the various scriptures in Hinduism
 
Basic Civil Engineering notes on Transportation Engineering, Modes of Transpo...
Basic Civil Engineering notes on Transportation Engineering, Modes of Transpo...Basic Civil Engineering notes on Transportation Engineering, Modes of Transpo...
Basic Civil Engineering notes on Transportation Engineering, Modes of Transpo...
 
ANTI PARKISON DRUGS.pptx
ANTI         PARKISON          DRUGS.pptxANTI         PARKISON          DRUGS.pptx
ANTI PARKISON DRUGS.pptx
 
SURVEY I created for uni project research
SURVEY I created for uni project researchSURVEY I created for uni project research
SURVEY I created for uni project research
 
Mattingly "AI and Prompt Design: LLMs with Text Classification and Open Source"
Mattingly "AI and Prompt Design: LLMs with Text Classification and Open Source"Mattingly "AI and Prompt Design: LLMs with Text Classification and Open Source"
Mattingly "AI and Prompt Design: LLMs with Text Classification and Open Source"
 
TỔNG HỢP HƠN 100 ĐỀ THI THỬ TỐT NGHIỆP THPT VẬT LÝ 2024 - TỪ CÁC TRƯỜNG, TRƯ...
TỔNG HỢP HƠN 100 ĐỀ THI THỬ TỐT NGHIỆP THPT VẬT LÝ 2024 - TỪ CÁC TRƯỜNG, TRƯ...TỔNG HỢP HƠN 100 ĐỀ THI THỬ TỐT NGHIỆP THPT VẬT LÝ 2024 - TỪ CÁC TRƯỜNG, TRƯ...
TỔNG HỢP HƠN 100 ĐỀ THI THỬ TỐT NGHIỆP THPT VẬT LÝ 2024 - TỪ CÁC TRƯỜNG, TRƯ...
 
II BIOSENSOR PRINCIPLE APPLICATIONS AND WORKING II
II BIOSENSOR PRINCIPLE APPLICATIONS AND WORKING IIII BIOSENSOR PRINCIPLE APPLICATIONS AND WORKING II
II BIOSENSOR PRINCIPLE APPLICATIONS AND WORKING II
 
Navigating the Misinformation Minefield: The Role of Higher Education in the ...
Navigating the Misinformation Minefield: The Role of Higher Education in the ...Navigating the Misinformation Minefield: The Role of Higher Education in the ...
Navigating the Misinformation Minefield: The Role of Higher Education in the ...
 
HVAC System | Audit of HVAC System | Audit and regulatory Comploance.pptx
HVAC System | Audit of HVAC System | Audit and regulatory Comploance.pptxHVAC System | Audit of HVAC System | Audit and regulatory Comploance.pptx
HVAC System | Audit of HVAC System | Audit and regulatory Comploance.pptx
 
IPL Online Quiz by Pragya; Question Set.
IPL Online Quiz by Pragya; Question Set.IPL Online Quiz by Pragya; Question Set.
IPL Online Quiz by Pragya; Question Set.
 
demyelinated disorder: multiple sclerosis.pptx
demyelinated disorder: multiple sclerosis.pptxdemyelinated disorder: multiple sclerosis.pptx
demyelinated disorder: multiple sclerosis.pptx
 
PSYPACT- Practicing Over State Lines May 2024.pptx
PSYPACT- Practicing Over State Lines May 2024.pptxPSYPACT- Practicing Over State Lines May 2024.pptx
PSYPACT- Practicing Over State Lines May 2024.pptx
 
An Overview of the Odoo 17 Knowledge App
An Overview of the Odoo 17 Knowledge AppAn Overview of the Odoo 17 Knowledge App
An Overview of the Odoo 17 Knowledge App
 
Graduate Outcomes Presentation Slides - English (v3).pptx
Graduate Outcomes Presentation Slides - English (v3).pptxGraduate Outcomes Presentation Slides - English (v3).pptx
Graduate Outcomes Presentation Slides - English (v3).pptx
 
An Overview of the Odoo 17 Discuss App.pptx
An Overview of the Odoo 17 Discuss App.pptxAn Overview of the Odoo 17 Discuss App.pptx
An Overview of the Odoo 17 Discuss App.pptx
 
The basics of sentences session 4pptx.pptx
The basics of sentences session 4pptx.pptxThe basics of sentences session 4pptx.pptx
The basics of sentences session 4pptx.pptx
 
MOOD STABLIZERS DRUGS.pptx
MOOD     STABLIZERS           DRUGS.pptxMOOD     STABLIZERS           DRUGS.pptx
MOOD STABLIZERS DRUGS.pptx
 
MichaelStarkes_UncutGemsProjectSummary.pdf
MichaelStarkes_UncutGemsProjectSummary.pdfMichaelStarkes_UncutGemsProjectSummary.pdf
MichaelStarkes_UncutGemsProjectSummary.pdf
 

II Construct proofs for the following more challenging prob.pdf

  • 1. II. Construct proofs for the following more challenging problems, justifying each step that is not a premise. 1) (FG)H,(FH)&(HT),TW,W&S/:GSS 2) (BC)A,A(ST),B&S,(T&A)(WS)/:., 3) (XY)(YZ),X&( YY),ZZ:.YZ 4) (AB)(CD),(FA)(AB),A(FA),A&C/DF 5) (AB)(CD),CA,(A&F),F/:D 6) (AB)(CD),(CW)&( DA),A&W/:(XY) 7) A(BE),E(DH),F,DF/:AB 8) DB,CB,DC/:DC 9) (AB)C,AF,F(D&E),(DH),(EH)/:C 10) (A(BT)), (A & C) (ZD),(PT)D,P(T&S)/Z