Logica II

© All Rights Reserved

11 views

Ejercicios basicos

Logica II

© All Rights Reserved

- Luciano Floridi-The Philosophy of Information-Oxford University Press (2011).pdf
- 472-2-logics-1p
- A Hardware Semantics Based on Temporal Intervals
- KingYu C Dissertation 2008 9
- hw1
- Karnaugh Map 2
- Power_set
- Index to Philosophy, Computing and Information Science
- Qualification and Suntactic Ambiguity
- DEC7121 2018 Un1 LogicaAlgebraBoole
- CS_F214_1090
- OPC Security WP2
- Menachem Magidor and Saharon Shelah- The tree property at successors of singular cardinals
- BA Logic 19
- Logic and Law
- BonevacDanielCOLA092017.pdf
- Logic and Law
- 1746-2062-1-PB
- Deployment of Neutrosophic Technology to Retrieve Answer for Queries Posed in Natural Language
- Lecture06

You are on page 1of 2

Mary Ellen's World. This has been done above except for the packaging into a single

function.

DM = {b1, b2, b3, b4}

CubeM = {b1, b2, b3}

LargerM = {b3,b2, b3,b1, b3,b4, b2,b1, b2,b4}

=M = {b1,b1, b2,b2, b3,b3, b4,b4}

cM = b 1

18.2. (Simon says) Open Mary Ellen's World. The structure M that we have used to

model this world with respect to the sublanguage involving only Cube, Larger, and c, is

also a good model of many other worlds. What follows is a list of proposed changes to

the world. Some of them are allowable changes, in that if you make the change, the

model M still represents the world with respect to this language. Other changes are not.

Make the allowable changes, but not the others.

1. Move everything back one row.

2. Interchange the position of the tetrahedron and the large cube.

3. Make the tetrahedron a dodecahedron.

4. Make the large cube a dodecahedron.

5. Make the tetrahedron (or what was the tetrahedron, if you have changed it) large.

6. Add a cube to the world.

7. Add a dodecahedron to the world.

Now open Mary Ellen's Sentences. Check to see that all these sentences are true in the

world you

have built. If they are not, you have made some unallowable changes. Submit your

modied

world.

18.3. In the text we modeled Mary Ellen's World with respect to one sublanguage of

Tarski's World. How would our structure have to be modified if we added the following

to the language: Tet, Dodec, Between? That is, describe the first-order structure that

would represent Mary Ellen's World, in its original state, for this expanded language.

[Hint: One of your extensions will be the empty set.]

18.4 Consider a first-order language with one binary predicate Outgrabe. Suppose for

some reason we are interested in first-order structures M for this language which have

the particular domain {Alice; Mad Hatter}. List all the sets of ordered pairs that could

serve as the extension of the symbol Outgrabe. How many would there be if the

domain had three elements?

{Alice,Mad Hatter, Mad Hatter, Alice}, {Alice,Mad Hatter}, { Mad Hatter, Alice}

18.5. In Section 14.4 (page 387) we promised to show how to make the semantics of

generalized quantifiers rigorous. How could we extend the notion of a first-order

structure to accommodate the addition of a generalized quantifier Q? Intuitively, as we

have seen, a sentence like Qx (A(x); B(x)) asserts that a certain binary relation Q holds

between the set A of things that satisfy A(x) and the set B that satisfies B(x) in M. Thus,

the natural way to interpret them is by means of a binary relation on P(DM). What

quantifier corresponds to the each of the following binary relations on sets?

1. x (A(x)B(x))

2. x (A(x)B(x))

3. x (A(x)B(x))

18.6

.?

While we can't say with precision exactly which binary relation a speaker might have in

mind

with the use of some quantiers, like many, we can still use this framework to illustrate

the

nature of the logical properties like conservativity, monotonicity, and so forth discussed

in

Section 14.5. Each of the following properties of binary relations Q on subsets of D

correspond

to a property of quantiers. Identify them.

1. Q(A;B) if and only if Q(A;A \ B)

2. If Q(A;B) and A A0 then Q(A0;B)

3. If Q(A;B) and A0 A then Q(A0;B)

4. If Q(A;B) and B0 B then Q(A;B0)

5. If Q(A;B) and B B0 then Q(A;B0)

- Luciano Floridi-The Philosophy of Information-Oxford University Press (2011).pdfUploaded bylosolores
- 472-2-logics-1pUploaded byFahim Nizam
- A Hardware Semantics Based on Temporal IntervalsUploaded byعلي علي
- KingYu C Dissertation 2008 9Uploaded byefmopapa
- hw1Uploaded byhellothere212
- Karnaugh Map 2Uploaded bysqdancefan
- Power_setUploaded bymars
- Index to Philosophy, Computing and Information ScienceUploaded byPickering and Chatto
- Qualification and Suntactic AmbiguityUploaded bygentle2507
- DEC7121 2018 Un1 LogicaAlgebraBooleUploaded byanieblanc
- CS_F214_1090Uploaded byAnkit Goyal
- OPC Security WP2Uploaded byselavilization
- Menachem Magidor and Saharon Shelah- The tree property at successors of singular cardinalsUploaded byHutsDM
- BA Logic 19Uploaded byIkki De Queero
- Logic and LawUploaded byRojan Alexei Granado
- BonevacDanielCOLA092017.pdfUploaded byAsharf Ali
- Logic and LawUploaded byAnonymous OZuNATf
- 1746-2062-1-PBUploaded byNarasimma Pallava Dudesim
- Deployment of Neutrosophic Technology to Retrieve Answer for Queries Posed in Natural LanguageUploaded byAnonymous 0U9j6BLllB
- Lecture06Uploaded bynomaddarcy
- Full TextUploaded byChiyoko Gonçalves
- AulaI-ALGORITMOUploaded byaah1970
- biUploaded by은혜응
- ALGOR mc-tutorialUploaded byprejppr
- 22897_ParadoxicalSuccessFuzzyLogicUploaded bypunxkoko
- Tan, EH 408Uploaded byVincent Tan
- WAter Jug ProblemUploaded bythakornikita001.nt10
- Latour With Greimas - Actor-Network TheoUploaded byAnonymous 2LPbeLYCma
- Cartwright 2007Uploaded byMiroslav Pulgar Corrotea
- writing equation of lines104072008Uploaded byapi-256331827

- Marxism, Feminism and Women's Liberation _ SocialistWorkerUploaded byDan Scatman
- Wagner & Strauss - The Programme of the Communist Manifesto and Its Theoretical FoundationsUploaded byDan Scatman
- Resumen de Resumen de GardnerUploaded byDan Scatman
- Marxism, Feminism and Women's LiberationUploaded bymekhmoori
- LiesUploaded byGeorges Jacotey
- Wolfgang Fritz Haug. "Immaterial Labour". 2009Uploaded byprekariat
- Selling Sexual Services_ a Socialist Feminist PerspectiveUploaded byDan Scatman
- Stutje - Ernest Mandel in ResistanceUploaded byDan Scatman
- Ben Lewis, Martov and Zinoviev, Head to Head in HalleUploaded byDan Scatman
- Monthlyreview.org-Monthly Review Crisis Theory the Law of the Tendency of the Profit Rate to Fall and Marxs Studies InUploaded byDan Scatman
- KLIMAN Et Al - Art2013-Heirich s Attempt to Eliminate Marxs Crisis TheoryUploaded byLaercio Monteiro Jr.
- Grossman web bib 060827Uploaded byrickkuhn
- The Punctuated Politics of Stephen Jay GouldUploaded byDan Scatman
- 234173815Uploaded byDan Scatman
- Organización metaestableUploaded byDan Scatman
- ComAesth-excerpt09Uploaded byDan Scatman
- ch3Uploaded byDan Scatman

- PD FalconUploaded byNahum Cortezzo
- Knowledge Management Program Implementation TipsUploaded byAshish Ranjan
- Aastha RESUMEUploaded bySuchitra Tonk
- Huawei RAN15 Documentation ImprovementsUploaded byİsmail Akkaş
- 11carl.pdfUploaded byPANKOPANK
- SPS2010NewlyDeprecatedUploaded byAshokkumar.j
- User Manual for NuBiz_GS8000B LSWUploaded byRavi Chaurasia
- csre1Uploaded bymichaelgodfather
- Preparing and Implementing Research InstrumentsUploaded byDana Althea Algabre
- Create Custom Hierarchy in SAP BWUploaded byCurut Kaskuss
- Ms Vega Project SummaryUploaded bySidra Mukhtar
- Arduino WorksheetUploaded byserkan1234
- Genetic AlgorithmUploaded byShashikant Chaurasia
- ng2introUploaded bymhenley8059
- d301606x012(1)Uploaded bybalaclafa
- IGCSE Theory Compilations 1-8Uploaded byHoward Gilmour
- Profile Builder Manual 1Uploaded byJennifer Casey
- Theory Manual Volume 1Uploaded byDario Manrique Gamarra
- cebeci2016Uploaded byAel Escalante
- RA_CIVILENG_DAVAO_May2019.pdfUploaded byPhilBoardResults
- DocumentUploaded bybatrung2906
- Networking UnityUploaded bysystel
- VisuALPM SamplerUploaded byEmad Al-Amad
- Goldman Sachs Data Center Techtonics ConferenceUploaded byZerohedge
- 31 Frameworks for UnderstandingUploaded byvaka_madhu
- 101908495_wincc_s71200_s71500_channel_v2_enUploaded byAmina Suljic
- Upgrading Autonomous Cisco Aironet Access Points to Lightweight Mode - Cisco SysUploaded byLan Wan
- CMQP AssignmentUploaded bytravi95
- A Practical System for Hydrodynamic Optimization of Ship Hull FormsUploaded bySalma Sherbaz
- 4Uploaded byamartyashankha