Home
Search
Documents
Subjects
Assertions
Theorems
Users
Log In
Help

A20

Related Documents

D2: Jack owns a dog.

Related Theorems

Theorem T2 by David

Equivalence Assertions

(none)

Related Subjects

S4: “Dog”
S5: “Cat”
S6: “Animal”
S7: “AnimalLover”
S8: “Kills”
S9: “Owns”
S10: “Jack”
S11: “Tuna”
S12: “Curiosity”

Favorite Subjects

(none)

A20: ∀x: ∃y: Dog_S4, (y)∧ Owns_S9, (x, y)⇒ AnimalLover_S7, (x)

By User 1 on on 2011-08-26

Create a theorem from this assertion.

Related Assertions

A19: ∃x: Dog_S4, (x)∧ Owns_S9, (Jack_F10, x)
A21: ∀x: AnimalLover_S7, (x)⇒ ∀y: Animal_S6, (y)⇒ ¬Kills_S8, (x, y)
A22: Kills_S8, (Jack_F10, Tuna_F11)∨ Kills_S8, (Curiosity_F12, Tuna_F11)
A23: Cat_S5, (Tuna_F11)
A24: ∀x: Cat_S5, (x)⇒ Animal_S6, (x)
A25: Kills_S8, (Jack_F10, Tuna_F11)
A26: Kills_S8, (Curiosity_F12, Tuna_F11)

0 Comments on A20

No comments yet.

©2011 SeeReason Partners