Formal Logic III (COS3761)
University of South Africa (Unisa)
All 17 results
Sort by
-
COS3761 Assignment 3 (DETAILED ANSWERS) 2025 - DISTINCTION GUARANTEED
- Exam (elaborations) • 9 pages • 2025
-
- R50,00
- + learn more
COS3761 Assignment 3 (DETAILED ANSWERS) 2025 - DISTINCTION GUARANTEED - DISTINCTION GUARANTEED - DISTINCTION GUARANTEED Answers, guidelines, workings and references ,... QUESTION 1 
In which world of the Kripke model in Figure 1 is the formula ◊ p □ q true? 
Option 1: world x₁ 
Option 2: world x₂ 
Option 3: world x₃, 
Option 4: Option 1 and Option 3 are true. 
UESTION 2 
Which of the following does not hold in the Kripke model in Figure 1? 
Option 1: x₁ ╟ ◊ ◊ p 
.Option 2: ...
COS3711 ASSIGNMENT 2 (QUESTIONS AND ANSWERS) SEMESTER 2 2025
COS3761 Assignment 2 Solutions/Answers 2025
-
COS3761 Bundle latest exam paper and memo
- Package deal • 2 items • 2024
-
- R272,00
- + learn more
COS3761 is an extension of Cos2661 where we focus on Logic its importance in Computer Science and its roots from Discrete Mathematics 

Logic helps us design AI systems and Logic circuits for CPUs


In COS3761 we build on propositional and predicate logic in COS2661 
Propositional Logic : HORN algorithm
Predicate Logic Parse trees
Modal Logic:



-
COS3761 OCT/NOV 2024 Exam paper
- Exam (elaborations) • 6 pages • 2024
- Available in package deal
-
- R163,33
- + learn more
The exam paper for COS3761 October 2024 (Monday 21 October 2024) 
 
Based on 2021 Oct/Nov paper
-
My attempt to COS3761 OCT/NOV 2024 exam
- Exam (elaborations) • 13 pages • 2024
- Available in package deal
-
- R157,33
- + learn more
Formal logic 3 builds on three important aspects of Logic 
 
In the prescribed book , if you done cos2661 it would be very helpful for you 
 
We focus on 
Propositional Logic : Your And,Or, Implies 
Predicate Logic: Your For all , there exists, every .. 
Modal Logic : It is necessary that...possible that 
 
The document can be used a memo its my attempt to the exam I wrote on Monday 21 October 2024 it was based on the same structure as the 2021 October paper
Get the assignments from 2023
R115 for your summary multiplied by 100 fellow students... Do the math: that's a lot of money! Don't be a thief of your own wallet and start uploading yours now. Discover all about earning on Stuvia