100% de satisfacción garantizada Inmediatamente disponible después del pago Tanto en línea como en PDF No estas atado a nada
logo-home
Buscado previamente por ti
Buscado previamente por ti
logo
COS2661 Assignment 3 memo 2024 5,63 €   Añadir al carrito
Navegar rápidamente a
Vista previa
  2.  
  3. University Of South Africa (Unisa)
  4.  
  5. Formal Logic II (COS2661)

Otro

COS2661 Assignment 3 memo 2024

3 reseñas
 134 vistas  19 veces vendidas
  • Grado
  • Formal Logic II (COS2661)
  • Institución
  • 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 ...

[Mostrar más]

Vista previa 2 fuera de 6  páginas

Información del documento

  • 23 de agosto de 2024
  • 6
  • 2024/2025
  • Otro
  • Desconocido

Temas

  • cos2661

Escuela, estudio y materia

  • University of South Africa (Unisa)
  • Formal Logic II (COS2661)
Todos documentos para esta materia (6)

3  reseñas

review-writer-avatar

Por: sibanyonimichael • 1 mes hace

review-writer-avatar

Por: Rio12345 • 3 semanas hace

review-writer-avatar

Por: ntlantla594 • 1 mes hace

Vendedor

avatar-seller
CrystalIndigo

Comentarios recibidos

Vista previa del contenido

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.

Los beneficios de comprar resúmenes en Stuvia estan en línea:

Garantiza la calidad de los comentarios

Garantiza la calidad de los comentarios

Compradores de Stuvia evaluaron más de 700.000 resúmenes. Así estas seguro que compras los mejores documentos!

Compra fácil y rápido

Compra fácil y rápido

Puedes pagar rápidamente y en una vez con iDeal, tarjeta de crédito o con tu crédito de Stuvia. Sin tener que hacerte miembro.

Enfócate en lo más importante

Enfócate en lo más importante

Tus compañeros escriben los resúmenes. Por eso tienes la seguridad que tienes un resumen actual y confiable. Así llegas a la conclusión rapidamente!

Preguntas frecuentes

What do I get when I buy this document?

You get a PDF, available immediately after your purchase. The purchased document is accessible anytime, anywhere and indefinitely through your profile.

100% de satisfacción garantizada: ¿Cómo funciona?

Nuestra garantía de satisfacción le asegura que siempre encontrará un documento de estudio a tu medida. Tu rellenas un formulario y nuestro equipo de atención al cliente se encarga del resto.

Who am I buying this summary from?

Stuvia is a marketplace, so you are not buying this document from us, but from seller CrystalIndigo. Stuvia facilitates payment to the seller.

Will I be stuck with a subscription?

No, you only buy this summary for 5,63 €. You're not tied to anything after your purchase.

Can Stuvia be trusted?

4.6 stars on Google & Trustpilot (+1000 reviews)

45,681 summaries were sold in the last 30 days

Founded in 2010, the go-to place to buy summaries for 14 years now

Empieza a vender
5,63 €  19x  vendido
  • (3)
  Añadir