SlideShare a Scribd company logo
1 of 1
Download to read offline
Translate each of the following propositions into symbolic form. Dene the universe
of discourse and the predicates you use. Then negate each of the propositions
(a) All leaves are green.
Solution
In the universe of foliage, L(x) := x is a leaf G(x) := x is green For all x, L(x) -->
G(x) Translated: For all pieces of foliage, if a piece of foliage is a leaf, then it is green.

More Related Content

More from discountonly4u

Transportation Planning.1.What is the future direction of the Trav.pdf
Transportation Planning.1.What is the future direction of the Trav.pdfTransportation Planning.1.What is the future direction of the Trav.pdf
Transportation Planning.1.What is the future direction of the Trav.pdf
discountonly4u
 
To what extent can a country be 100 independent from the rest of th.pdf
To what extent can a country be 100 independent from the rest of th.pdfTo what extent can a country be 100 independent from the rest of th.pdf
To what extent can a country be 100 independent from the rest of th.pdf
discountonly4u
 

More from discountonly4u (16)

Transportation Planning.1.What is the future direction of the Trav.pdf
Transportation Planning.1.What is the future direction of the Trav.pdfTransportation Planning.1.What is the future direction of the Trav.pdf
Transportation Planning.1.What is the future direction of the Trav.pdf
 
Transportation ProblemThe following table shows the production cap.pdf
Transportation ProblemThe following table shows the production cap.pdfTransportation ProblemThe following table shows the production cap.pdf
Transportation ProblemThe following table shows the production cap.pdf
 
translate the following sentence into symbols using propositional .pdf
translate the following sentence into symbols using propositional .pdftranslate the following sentence into symbols using propositional .pdf
translate the following sentence into symbols using propositional .pdf
 
Translate statement into a logical expression in three differentways.pdf
Translate statement into a logical expression in three differentways.pdfTranslate statement into a logical expression in three differentways.pdf
Translate statement into a logical expression in three differentways.pdf
 
Traditionally Americans have placed value on the nuclear family beca.pdf
Traditionally Americans have placed value on the nuclear family beca.pdfTraditionally Americans have placed value on the nuclear family beca.pdf
Traditionally Americans have placed value on the nuclear family beca.pdf
 
Total sources of funds are calculated as-operating cash flows + n.pdf
Total sources of funds are calculated as-operating cash flows + n.pdfTotal sources of funds are calculated as-operating cash flows + n.pdf
Total sources of funds are calculated as-operating cash flows + n.pdf
 
Total current liabilitiesYear-end stock price$43.39Refer.pdf
Total current liabilitiesYear-end stock price$43.39Refer.pdfTotal current liabilitiesYear-end stock price$43.39Refer.pdf
Total current liabilitiesYear-end stock price$43.39Refer.pdf
 
toss a coin with a probability of heads 0.3 Five times. Let X be the.pdf
toss a coin with a probability of heads 0.3 Five times. Let X be the.pdftoss a coin with a probability of heads 0.3 Five times. Let X be the.pdf
toss a coin with a probability of heads 0.3 Five times. Let X be the.pdf
 
To what extent can a country be 100 independent from the rest of th.pdf
To what extent can a country be 100 independent from the rest of th.pdfTo what extent can a country be 100 independent from the rest of th.pdf
To what extent can a country be 100 independent from the rest of th.pdf
 
To test whether Internet use increases depression score, we measure .pdf
To test whether Internet use increases depression score, we measure .pdfTo test whether Internet use increases depression score, we measure .pdf
To test whether Internet use increases depression score, we measure .pdf
 
To study the long-term effects of preschool programs for poor c.pdf
To study the long-term effects of preschool  programs for poor c.pdfTo study the long-term effects of preschool  programs for poor c.pdf
To study the long-term effects of preschool programs for poor c.pdf
 
To select a _________ sample, the population is divided into disjoin.pdf
To select a _________ sample, the population is divided into disjoin.pdfTo select a _________ sample, the population is divided into disjoin.pdf
To select a _________ sample, the population is divided into disjoin.pdf
 
To peg its currency (CHF) to the Euro (EUR), the Swiss National Bank.pdf
To peg its currency (CHF) to the Euro (EUR), the Swiss National Bank.pdfTo peg its currency (CHF) to the Euro (EUR), the Swiss National Bank.pdf
To peg its currency (CHF) to the Euro (EUR), the Swiss National Bank.pdf
 
To what extent are clientscustomers satisfied with 3PL services Wh.pdf
To what extent are clientscustomers satisfied with 3PL services Wh.pdfTo what extent are clientscustomers satisfied with 3PL services Wh.pdf
To what extent are clientscustomers satisfied with 3PL services Wh.pdf
 
Today Carlys band account contains $111. Yesterday she made a with.pdf
Today Carlys band account contains $111. Yesterday she made a with.pdfToday Carlys band account contains $111. Yesterday she made a with.pdf
Today Carlys band account contains $111. Yesterday she made a with.pdf
 
To meet OBD-II regulations, central multiport injection (CMFI) syste.pdf
To meet OBD-II regulations, central multiport injection (CMFI) syste.pdfTo meet OBD-II regulations, central multiport injection (CMFI) syste.pdf
To meet OBD-II regulations, central multiport injection (CMFI) syste.pdf
 

Recently uploaded

SPLICE Working Group: Reusable Code Examples
SPLICE Working Group:Reusable Code ExamplesSPLICE Working Group:Reusable Code Examples
SPLICE Working Group: Reusable Code Examples
Peter Brusilovsky
 
Spellings Wk 4 and Wk 5 for Grade 4 at CAPS
Spellings Wk 4 and Wk 5 for Grade 4 at CAPSSpellings Wk 4 and Wk 5 for Grade 4 at CAPS
Spellings Wk 4 and Wk 5 for Grade 4 at CAPS
AnaAcapella
 
會考英文會考英文會考英文會考英文會考英文會考英文會考英文會考英文會考英文會考英文會考英文
會考英文會考英文會考英文會考英文會考英文會考英文會考英文會考英文會考英文會考英文會考英文會考英文會考英文會考英文會考英文會考英文會考英文會考英文會考英文會考英文會考英文會考英文
會考英文會考英文會考英文會考英文會考英文會考英文會考英文會考英文會考英文會考英文會考英文
中 央社
 

Recently uploaded (20)

Including Mental Health Support in Project Delivery, 14 May.pdf
Including Mental Health Support in Project Delivery, 14 May.pdfIncluding Mental Health Support in Project Delivery, 14 May.pdf
Including Mental Health Support in Project Delivery, 14 May.pdf
 
SPLICE Working Group: Reusable Code Examples
SPLICE Working Group:Reusable Code ExamplesSPLICE Working Group:Reusable Code Examples
SPLICE Working Group: Reusable Code Examples
 
VAMOS CUIDAR DO NOSSO PLANETA! .
VAMOS CUIDAR DO NOSSO PLANETA!                    .VAMOS CUIDAR DO NOSSO PLANETA!                    .
VAMOS CUIDAR DO NOSSO PLANETA! .
 
24 ĐỀ THAM KHẢO KÌ THI TUYỂN SINH VÀO LỚP 10 MÔN TIẾNG ANH SỞ GIÁO DỤC HẢI DƯ...
24 ĐỀ THAM KHẢO KÌ THI TUYỂN SINH VÀO LỚP 10 MÔN TIẾNG ANH SỞ GIÁO DỤC HẢI DƯ...24 ĐỀ THAM KHẢO KÌ THI TUYỂN SINH VÀO LỚP 10 MÔN TIẾNG ANH SỞ GIÁO DỤC HẢI DƯ...
24 ĐỀ THAM KHẢO KÌ THI TUYỂN SINH VÀO LỚP 10 MÔN TIẾNG ANH SỞ GIÁO DỤC HẢI DƯ...
 
Đề tieng anh thpt 2024 danh cho cac ban hoc sinh
Đề tieng anh thpt 2024 danh cho cac ban hoc sinhĐề tieng anh thpt 2024 danh cho cac ban hoc sinh
Đề tieng anh thpt 2024 danh cho cac ban hoc sinh
 
ANTI PARKISON DRUGS.pptx
ANTI         PARKISON          DRUGS.pptxANTI         PARKISON          DRUGS.pptx
ANTI PARKISON DRUGS.pptx
 
FICTIONAL SALESMAN/SALESMAN SNSW 2024.pdf
FICTIONAL SALESMAN/SALESMAN SNSW 2024.pdfFICTIONAL SALESMAN/SALESMAN SNSW 2024.pdf
FICTIONAL SALESMAN/SALESMAN SNSW 2024.pdf
 
8 Tips for Effective Working Capital Management
8 Tips for Effective Working Capital Management8 Tips for Effective Working Capital Management
8 Tips for Effective Working Capital Management
 
When Quality Assurance Meets Innovation in Higher Education - Report launch w...
When Quality Assurance Meets Innovation in Higher Education - Report launch w...When Quality Assurance Meets Innovation in Higher Education - Report launch w...
When Quality Assurance Meets Innovation in Higher Education - Report launch w...
 
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
 
Spellings Wk 4 and Wk 5 for Grade 4 at CAPS
Spellings Wk 4 and Wk 5 for Grade 4 at CAPSSpellings Wk 4 and Wk 5 for Grade 4 at CAPS
Spellings Wk 4 and Wk 5 for Grade 4 at CAPS
 
DEMONSTRATION LESSON IN ENGLISH 4 MATATAG CURRICULUM
DEMONSTRATION LESSON IN ENGLISH 4 MATATAG CURRICULUMDEMONSTRATION LESSON IN ENGLISH 4 MATATAG CURRICULUM
DEMONSTRATION LESSON IN ENGLISH 4 MATATAG CURRICULUM
 
AIM of Education-Teachers Training-2024.ppt
AIM of Education-Teachers Training-2024.pptAIM of Education-Teachers Training-2024.ppt
AIM of Education-Teachers Training-2024.ppt
 
Basic Civil Engineering notes on Transportation Engineering & Modes of Transport
Basic Civil Engineering notes on Transportation Engineering & Modes of TransportBasic Civil Engineering notes on Transportation Engineering & Modes of Transport
Basic Civil Engineering notes on Transportation Engineering & Modes of Transport
 
UChicago CMSC 23320 - The Best Commit Messages of 2024
UChicago CMSC 23320 - The Best Commit Messages of 2024UChicago CMSC 23320 - The Best Commit Messages of 2024
UChicago CMSC 23320 - The Best Commit Messages of 2024
 
Mattingly "AI & Prompt Design: Named Entity Recognition"
Mattingly "AI & Prompt Design: Named Entity Recognition"Mattingly "AI & Prompt Design: Named Entity Recognition"
Mattingly "AI & Prompt Design: Named Entity Recognition"
 
Major project report on Tata Motors and its marketing strategies
Major project report on Tata Motors and its marketing strategiesMajor project report on Tata Motors and its marketing strategies
Major project report on Tata Motors and its marketing strategies
 
會考英文會考英文會考英文會考英文會考英文會考英文會考英文會考英文會考英文會考英文會考英文
會考英文會考英文會考英文會考英文會考英文會考英文會考英文會考英文會考英文會考英文會考英文會考英文會考英文會考英文會考英文會考英文會考英文會考英文會考英文會考英文會考英文會考英文
會考英文會考英文會考英文會考英文會考英文會考英文會考英文會考英文會考英文會考英文會考英文
 
Analyzing and resolving a communication crisis in Dhaka textiles LTD.pptx
Analyzing and resolving a communication crisis in Dhaka textiles LTD.pptxAnalyzing and resolving a communication crisis in Dhaka textiles LTD.pptx
Analyzing and resolving a communication crisis in Dhaka textiles LTD.pptx
 
Improved Approval Flow in Odoo 17 Studio App
Improved Approval Flow in Odoo 17 Studio AppImproved Approval Flow in Odoo 17 Studio App
Improved Approval Flow in Odoo 17 Studio App
 

Translate each of the following propositions into symbolic form. Den.pdf

  • 1. Translate each of the following propositions into symbolic form. Dene the universe of discourse and the predicates you use. Then negate each of the propositions (a) All leaves are green. Solution In the universe of foliage, L(x) := x is a leaf G(x) := x is green For all x, L(x) --> G(x) Translated: For all pieces of foliage, if a piece of foliage is a leaf, then it is green.