SlideShare a Scribd company logo
1 of 1
Download to read offline
Unicorn
A formalisation of the argument about the unicorn, an intuitive explanation of why it appears to
be valid and a formal, deductive proof of its validity
If the unicorn is mythical, then it is immortal, but if it is not mythical, then it is a mortal
mammal.
If the unicorn is either immortal or a mammal, then it is horned.
The unicorn is magical if it is horned.
The document also contains the following conclusion.
The unicorn is magical.
1. Identify the atomic propositions.
2. Formalise the argument in propositional logic.
3. Using your intuition and your own words, explain (in English) why the argument appears to be
valid.
4. Provide a formal, deductive proof of the validity of the argument. Every step of your proof
must be numbered and fully annotated

More Related Content

More from sales87

Use the pervious question to answer question 4. Suppose that in car.pdf
Use the pervious question to answer question 4.  Suppose that in car.pdfUse the pervious question to answer question 4.  Suppose that in car.pdf
Use the pervious question to answer question 4. Suppose that in car.pdf
sales87
 
Use the information below to Developdraw a Systemigram for enviro.pdf
Use the information below to Developdraw a Systemigram for enviro.pdfUse the information below to Developdraw a Systemigram for enviro.pdf
Use the information below to Developdraw a Systemigram for enviro.pdf
sales87
 
Use the code below from the previous assignment that we need to exte.pdf
Use the code below from the previous assignment that we need to exte.pdfUse the code below from the previous assignment that we need to exte.pdf
Use the code below from the previous assignment that we need to exte.pdf
sales87
 
Use este estudio de caso para responder las siguientes preguntas. .pdf
Use este estudio de caso para responder las siguientes preguntas. .pdfUse este estudio de caso para responder las siguientes preguntas. .pdf
Use este estudio de caso para responder las siguientes preguntas. .pdf
sales87
 
Usando la teor�a de la expectativa de la motivaci�n como marco para .pdf
Usando la teor�a de la expectativa de la motivaci�n como marco para .pdfUsando la teor�a de la expectativa de la motivaci�n como marco para .pdf
Usando la teor�a de la expectativa de la motivaci�n como marco para .pdf
sales87
 
Unit VII Case StudyThe employees at your organization have formed .pdf
Unit VII Case StudyThe employees at your organization have formed .pdfUnit VII Case StudyThe employees at your organization have formed .pdf
Unit VII Case StudyThe employees at your organization have formed .pdf
sales87
 

More from sales87 (20)

Use the Plan X and Plan Y tax schemes to complete the following tabl.pdf
Use the Plan X and Plan Y tax schemes to complete the following tabl.pdfUse the Plan X and Plan Y tax schemes to complete the following tabl.pdf
Use the Plan X and Plan Y tax schemes to complete the following tabl.pdf
 
Use the pervious question to answer question 4. Suppose that in car.pdf
Use the pervious question to answer question 4.  Suppose that in car.pdfUse the pervious question to answer question 4.  Suppose that in car.pdf
Use the pervious question to answer question 4. Suppose that in car.pdf
 
Use the information below to Developdraw a Systemigram for enviro.pdf
Use the information below to Developdraw a Systemigram for enviro.pdfUse the information below to Developdraw a Systemigram for enviro.pdf
Use the information below to Developdraw a Systemigram for enviro.pdf
 
Use the phylogeny below to determine whether each statement is true .pdf
Use the phylogeny below to determine whether each statement is true .pdfUse the phylogeny below to determine whether each statement is true .pdf
Use the phylogeny below to determine whether each statement is true .pdf
 
Use the input function to ask the user for a positive, whole number..pdf
Use the input function to ask the user for a positive, whole number..pdfUse the input function to ask the user for a positive, whole number..pdf
Use the input function to ask the user for a positive, whole number..pdf
 
Use the code below from the previous assignment that we need to exte.pdf
Use the code below from the previous assignment that we need to exte.pdfUse the code below from the previous assignment that we need to exte.pdf
Use the code below from the previous assignment that we need to exte.pdf
 
Use este estudio de caso para responder las siguientes preguntas. .pdf
Use este estudio de caso para responder las siguientes preguntas. .pdfUse este estudio de caso para responder las siguientes preguntas. .pdf
Use este estudio de caso para responder las siguientes preguntas. .pdf
 
Usar su autoridad y poder formal para resolver un conflicto, mientra.pdf
Usar su autoridad y poder formal para resolver un conflicto, mientra.pdfUsar su autoridad y poder formal para resolver un conflicto, mientra.pdf
Usar su autoridad y poder formal para resolver un conflicto, mientra.pdf
 
Usando la teor�a de la expectativa de la motivaci�n como marco para .pdf
Usando la teor�a de la expectativa de la motivaci�n como marco para .pdfUsando la teor�a de la expectativa de la motivaci�n como marco para .pdf
Usando la teor�a de la expectativa de la motivaci�n como marco para .pdf
 
Usando Internet o fuentes de bibliotecas, seleccione cuatro organiza.pdf
Usando Internet o fuentes de bibliotecas, seleccione cuatro organiza.pdfUsando Internet o fuentes de bibliotecas, seleccione cuatro organiza.pdf
Usando Internet o fuentes de bibliotecas, seleccione cuatro organiza.pdf
 
URGENTAssignment 3 - Software DesginPauline is considering how.pdf
URGENTAssignment 3 - Software DesginPauline is considering how.pdfURGENTAssignment 3 - Software DesginPauline is considering how.pdf
URGENTAssignment 3 - Software DesginPauline is considering how.pdf
 
Uscinski and his co-authors describe how belief in political conspir.pdf
Uscinski and his co-authors describe how belief in political conspir.pdfUscinski and his co-authors describe how belief in political conspir.pdf
Uscinski and his co-authors describe how belief in political conspir.pdf
 
Uno de los beneficios del estado de flujos de efectivo es que ayuda .pdf
Uno de los beneficios del estado de flujos de efectivo es que ayuda .pdfUno de los beneficios del estado de flujos de efectivo es que ayuda .pdf
Uno de los beneficios del estado de flujos de efectivo es que ayuda .pdf
 
Uno de los m�dicos no se present� a trabajar sin llamar Los pacien.pdf
Uno de los m�dicos no se present� a trabajar sin llamar Los pacien.pdfUno de los m�dicos no se present� a trabajar sin llamar Los pacien.pdf
Uno de los m�dicos no se present� a trabajar sin llamar Los pacien.pdf
 
Unisa has invited labour unions, staff members and students to discu.pdf
Unisa has invited labour unions, staff members and students to discu.pdfUnisa has invited labour unions, staff members and students to discu.pdf
Unisa has invited labour unions, staff members and students to discu.pdf
 
Unit VII Case StudyThe employees at your organization have formed .pdf
Unit VII Case StudyThe employees at your organization have formed .pdfUnit VII Case StudyThe employees at your organization have formed .pdf
Unit VII Case StudyThe employees at your organization have formed .pdf
 
UQ�s Got Talent is a new talent show that is being launched in 2023 .pdf
UQ�s Got Talent is a new talent show that is being launched in 2023 .pdfUQ�s Got Talent is a new talent show that is being launched in 2023 .pdf
UQ�s Got Talent is a new talent show that is being launched in 2023 .pdf
 
Use python to answer Done on google colabortory. Dataset used Ol.pdf
Use python to answer Done on google colabortory. Dataset used Ol.pdfUse python to answer Done on google colabortory. Dataset used Ol.pdf
Use python to answer Done on google colabortory. Dataset used Ol.pdf
 
use PostgreSQL codeTask 2 a. Create a new database called realdb.pdf
use PostgreSQL codeTask 2 a. Create a new database called realdb.pdfuse PostgreSQL codeTask 2 a. Create a new database called realdb.pdf
use PostgreSQL codeTask 2 a. Create a new database called realdb.pdf
 
use partial fraction expansion and the inverse z-transform to find u.pdf
use partial fraction expansion and the inverse z-transform to find u.pdfuse partial fraction expansion and the inverse z-transform to find u.pdf
use partial fraction expansion and the inverse z-transform to find u.pdf
 

Recently uploaded

Beyond the EU: DORA and NIS 2 Directive's Global Impact
Beyond the EU: DORA and NIS 2 Directive's Global ImpactBeyond the EU: DORA and NIS 2 Directive's Global Impact
Beyond the EU: DORA and NIS 2 Directive's Global Impact
PECB
 
Russian Escort Service in Delhi 11k Hotel Foreigner Russian Call Girls in Delhi
Russian Escort Service in Delhi 11k Hotel Foreigner Russian Call Girls in DelhiRussian Escort Service in Delhi 11k Hotel Foreigner Russian Call Girls in Delhi
Russian Escort Service in Delhi 11k Hotel Foreigner Russian Call Girls in Delhi
kauryashika82
 
1029-Danh muc Sach Giao Khoa khoi 6.pdf
1029-Danh muc Sach Giao Khoa khoi  6.pdf1029-Danh muc Sach Giao Khoa khoi  6.pdf
1029-Danh muc Sach Giao Khoa khoi 6.pdf
QucHHunhnh
 
The basics of sentences session 2pptx copy.pptx
The basics of sentences session 2pptx copy.pptxThe basics of sentences session 2pptx copy.pptx
The basics of sentences session 2pptx copy.pptx
heathfieldcps1
 
Seal of Good Local Governance (SGLG) 2024Final.pptx
Seal of Good Local Governance (SGLG) 2024Final.pptxSeal of Good Local Governance (SGLG) 2024Final.pptx
Seal of Good Local Governance (SGLG) 2024Final.pptx
negromaestrong
 
Activity 01 - Artificial Culture (1).pdf
Activity 01 - Artificial Culture (1).pdfActivity 01 - Artificial Culture (1).pdf
Activity 01 - Artificial Culture (1).pdf
ciinovamais
 

Recently uploaded (20)

Beyond the EU: DORA and NIS 2 Directive's Global Impact
Beyond the EU: DORA and NIS 2 Directive's Global ImpactBeyond the EU: DORA and NIS 2 Directive's Global Impact
Beyond the EU: DORA and NIS 2 Directive's Global Impact
 
SOCIAL AND HISTORICAL CONTEXT - LFTVD.pptx
SOCIAL AND HISTORICAL CONTEXT - LFTVD.pptxSOCIAL AND HISTORICAL CONTEXT - LFTVD.pptx
SOCIAL AND HISTORICAL CONTEXT - LFTVD.pptx
 
Mixin Classes in Odoo 17 How to Extend Models Using Mixin Classes
Mixin Classes in Odoo 17  How to Extend Models Using Mixin ClassesMixin Classes in Odoo 17  How to Extend Models Using Mixin Classes
Mixin Classes in Odoo 17 How to Extend Models Using Mixin Classes
 
ICT Role in 21st Century Education & its Challenges.pptx
ICT Role in 21st Century Education & its Challenges.pptxICT Role in 21st Century Education & its Challenges.pptx
ICT Role in 21st Century Education & its Challenges.pptx
 
Web & Social Media Analytics Previous Year Question Paper.pdf
Web & Social Media Analytics Previous Year Question Paper.pdfWeb & Social Media Analytics Previous Year Question Paper.pdf
Web & Social Media Analytics Previous Year Question Paper.pdf
 
Russian Escort Service in Delhi 11k Hotel Foreigner Russian Call Girls in Delhi
Russian Escort Service in Delhi 11k Hotel Foreigner Russian Call Girls in DelhiRussian Escort Service in Delhi 11k Hotel Foreigner Russian Call Girls in Delhi
Russian Escort Service in Delhi 11k Hotel Foreigner Russian Call Girls in Delhi
 
This PowerPoint helps students to consider the concept of infinity.
This PowerPoint helps students to consider the concept of infinity.This PowerPoint helps students to consider the concept of infinity.
This PowerPoint helps students to consider the concept of infinity.
 
1029-Danh muc Sach Giao Khoa khoi 6.pdf
1029-Danh muc Sach Giao Khoa khoi  6.pdf1029-Danh muc Sach Giao Khoa khoi  6.pdf
1029-Danh muc Sach Giao Khoa khoi 6.pdf
 
The basics of sentences session 2pptx copy.pptx
The basics of sentences session 2pptx copy.pptxThe basics of sentences session 2pptx copy.pptx
The basics of sentences session 2pptx copy.pptx
 
microwave assisted reaction. General introduction
microwave assisted reaction. General introductionmicrowave assisted reaction. General introduction
microwave assisted reaction. General introduction
 
Unit-IV- Pharma. Marketing Channels.pptx
Unit-IV- Pharma. Marketing Channels.pptxUnit-IV- Pharma. Marketing Channels.pptx
Unit-IV- Pharma. Marketing Channels.pptx
 
SECOND SEMESTER TOPIC COVERAGE SY 2023-2024 Trends, Networks, and Critical Th...
SECOND SEMESTER TOPIC COVERAGE SY 2023-2024 Trends, Networks, and Critical Th...SECOND SEMESTER TOPIC COVERAGE SY 2023-2024 Trends, Networks, and Critical Th...
SECOND SEMESTER TOPIC COVERAGE SY 2023-2024 Trends, Networks, and Critical Th...
 
Seal of Good Local Governance (SGLG) 2024Final.pptx
Seal of Good Local Governance (SGLG) 2024Final.pptxSeal of Good Local Governance (SGLG) 2024Final.pptx
Seal of Good Local Governance (SGLG) 2024Final.pptx
 
Basic Civil Engineering first year Notes- Chapter 4 Building.pptx
Basic Civil Engineering first year Notes- Chapter 4 Building.pptxBasic Civil Engineering first year Notes- Chapter 4 Building.pptx
Basic Civil Engineering first year Notes- Chapter 4 Building.pptx
 
How to Give a Domain for a Field in Odoo 17
How to Give a Domain for a Field in Odoo 17How to Give a Domain for a Field in Odoo 17
How to Give a Domain for a Field in Odoo 17
 
Mattingly "AI & Prompt Design: The Basics of Prompt Design"
Mattingly "AI & Prompt Design: The Basics of Prompt Design"Mattingly "AI & Prompt Design: The Basics of Prompt Design"
Mattingly "AI & Prompt Design: The Basics of Prompt Design"
 
Activity 01 - Artificial Culture (1).pdf
Activity 01 - Artificial Culture (1).pdfActivity 01 - Artificial Culture (1).pdf
Activity 01 - Artificial Culture (1).pdf
 
Ecological Succession. ( ECOSYSTEM, B. Pharmacy, 1st Year, Sem-II, Environmen...
Ecological Succession. ( ECOSYSTEM, B. Pharmacy, 1st Year, Sem-II, Environmen...Ecological Succession. ( ECOSYSTEM, B. Pharmacy, 1st Year, Sem-II, Environmen...
Ecological Succession. ( ECOSYSTEM, B. Pharmacy, 1st Year, Sem-II, Environmen...
 
Measures of Central Tendency: Mean, Median and Mode
Measures of Central Tendency: Mean, Median and ModeMeasures of Central Tendency: Mean, Median and Mode
Measures of Central Tendency: Mean, Median and Mode
 
Unit-IV; Professional Sales Representative (PSR).pptx
Unit-IV; Professional Sales Representative (PSR).pptxUnit-IV; Professional Sales Representative (PSR).pptx
Unit-IV; Professional Sales Representative (PSR).pptx
 

UnicornA formalisation of the argument about the unicorn, an int.pdf

  • 1. Unicorn A formalisation of the argument about the unicorn, an intuitive explanation of why it appears to be valid and a formal, deductive proof of its validity If the unicorn is mythical, then it is immortal, but if it is not mythical, then it is a mortal mammal. If the unicorn is either immortal or a mammal, then it is horned. The unicorn is magical if it is horned. The document also contains the following conclusion. The unicorn is magical. 1. Identify the atomic propositions. 2. Formalise the argument in propositional logic. 3. Using your intuition and your own words, explain (in English) why the argument appears to be valid. 4. Provide a formal, deductive proof of the validity of the argument. Every step of your proof must be numbered and fully annotated