100% tevredenheidsgarantie Direct beschikbaar na betaling Zowel online als in PDF Je zit nergens aan vast
logo-home
Eerder door jou gezocht
Eerder door jou gezocht
logo
COS2661 Assignment 3 memo 2024 €5,70   In winkelwagen
Snel navigeren naar
Voorbeeld
  2.  
  3. University Of South Africa (Unisa)
  4.  
  5. Formal Logic II (COS2661)

Overig

COS2661 Assignment 3 memo 2024

3 beoordelingen
 141 keer bekeken  19 keer verkocht
  • Vak
  • Formal Logic II (COS2661)
  • Instelling
  • University Of South Africa (Unisa)

COS2661 Assignment 3 memo 2024: QUESTION 1 [15] In this question you have to translate sentences of English sentences into First-Order Logic, using the predicates and names given in Table 1. English FOLComment TabisoTabisoThe name of a boy. StudentstudentTafaratafaraPetpet Names The name ...

[Meer zien]

Voorbeeld 2 van de 6  pagina's

Document informatie

  • 23 augustus 2024
  • 6
  • 2024/2025
  • Overig
  • Onbekend

Onderwerpen

  • cos2661

Geschreven voor

  • University of South Africa (Unisa)
  • Formal Logic II (COS2661)
Alle documenten voor dit vak (9)

3  beoordelingen

review-writer-avatar

Door: sibanyonimichael • 2 maanden geleden

review-writer-avatar

Door: Rio12345 • 2 maanden geleden

review-writer-avatar

Door: ntlantla594 • 2 maanden geleden

Verkoper

avatar-seller
CrystalIndigo

Ontvangen beoordelingen

Voorbeeld van de inhoud

COS2661 Assignment 3 2024
solutions
Crystal Indigo!
Crystal Indigo!
Providing all solutions you need anytime
+27 76 626 8187

, QUESTION 1 In this question you have to translate sentences of English
sentences into First-Order Logic, using the predicates and names given
in Table 1

1.1 Nothing to the left of Tabiso is larger than everything to the left of
Tafara.
¬∃x (LeftOf(x, Tabiso) ∧ ∀y (LeftOf(y, Tafara) → Larger(x, y)))

1.2 Anything to the left of Tabiso is smaller than something that is in
back of every pet to the right of Tafara.
∀x (LeftOf(x, Tabiso) → ∃y (Pet(y) ∧ RightOf(Tafara, y) ∧ BackOf(y, z) ∧ Smaller(x, z)))

1.3 Every student gave a pet to some other student sometime or other.
∀x (Student(x) → ∃y ∃z (Student(y) ∧ Pet(z) ∧ x ≠ y ∧ Gave(x, z, y)))

1.4 No student fed every pet.
¬∃x (Student(x) ∧ ∀y (Pet(y) → Fed(x, y)))

1.5 If Tabiso ever gave Tafara a pet, she owned it then, and he didn’t.
∃z (Pet(z) ∧ Gave(Tabiso, z, Tafara) → (Own(Tafara, z) ∧ ¬Own(Tabiso, z)))


Question 2

2.1 ∀x (¬∃y FrontOf(y, x) → Large(x))
If nothing is in front of something, then that thing is large.

2.2 ∀x ((Student(x) ∧ ∃y (Pet(y) ∧ LeftOf(x, y))) → Own(x, y))
Every student who has a pet to their left owns that pet.

2.3 ∀x∀y ((Between(tafara, x, y) ∧ x ≠ y) → (Small(x) ∧ Small(y)))
If Tafara is between two distinct objects, then both objects are small.


2.4 ∀x ((Pet(x) ∧ ∀y ¬BackOf(y, z))→¬∃z (Pet(z) ∧ x ≠ z ∧ Smaller(x, z))
If a pet has nothing behind it, then there is no other pet smaller than it.


2.5 ∃x∃y [Student(x) ∧ Student(y) ∧ x ≠ y ∧ ∀z(Student(z) → (z = x ˅ z
= y)) ∧ Smart(x) ∧ Smart(y)]
There are two distinct students who are the only smart students in the group.

Voordelen van het kopen van samenvattingen bij Stuvia op een rij:

Verzekerd van kwaliteit door reviews

Verzekerd van kwaliteit door reviews

Stuvia-klanten hebben meer dan 700.000 samenvattingen beoordeeld. Zo weet je zeker dat je de beste documenten koopt!

Snel en makkelijk kopen

Snel en makkelijk kopen

Je betaalt supersnel en eenmalig met iDeal, creditcard of Stuvia-tegoed voor de samenvatting. Zonder lidmaatschap.

Focus op de essentie

Focus op de essentie

Samenvattingen worden geschreven voor en door anderen. Daarom zijn de samenvattingen altijd betrouwbaar en actueel. Zo kom je snel tot de kern!

Veelgestelde vragen

Wat krijg ik als ik dit document koop?

Je krijgt een PDF, die direct beschikbaar is na je aankoop. Het gekochte document is altijd, overal en oneindig toegankelijk via je profiel.

Tevredenheidsgarantie: hoe werkt dat?

Onze tevredenheidsgarantie zorgt ervoor dat je altijd een studiedocument vindt dat goed bij je past. Je vult een formulier in en onze klantenservice regelt de rest.

Van wie koop ik deze samenvatting?

Stuvia is een marktplaats, je koop dit document dus niet van ons, maar van verkoper CrystalIndigo. Stuvia faciliteert de betaling aan de verkoper.

Zit ik meteen vast aan een abonnement?

Nee, je koopt alleen deze samenvatting voor €5,70. Je zit daarna nergens aan vast.

Is Stuvia te vertrouwen?

4,6 sterren op Google & Trustpilot (+1000 reviews)

Afgelopen 30 dagen zijn er 67474 samenvattingen verkocht

Opgericht in 2010, al 14 jaar dé plek om samenvattingen te kopen

Start met verkopen
€5,70  19x  verkocht
  • (3)
  Kopen