Search results 79 items matching your search terms. Filter the results Item type Select All/None Class Collection File Folder Image Integrator Profile Link Movie Page Parent Profile Parent-Child Link Question Quiz Quiz History Service Subscription Stats Student Profile Teacher Profile New items since Yesterday Last week Last month Ever Sort by relevance date (newest first) alphabetically Sociotechnical systems by Dr. Osama M. Khaled — published Sep 30, 2026 — last modified Oct 04, 2026 04:06 AM — filed under: Undergraduate, Year 11, Year 12 A sociotechnical system is a system where technology and human/organizational factors work together, and both must be considered to understand how the system ... Located in Computing / Software Engineering / Dependable Systems Exercise 1: Statements and Truth Values by Dr. Osama M. Khaled — published Sep 06, 2026 — last modified Sep 06, 2026 07:06 AM — filed under: Year 11, Year 12 Introduces what counts as a genuine logical statement, then practices evaluating the truth values of simple conjunctions, disjunctions, and conditionals built ... Located in Mathematics / … / Formal Logic / Statements, Symbolic Representation, and Tautologies Exercise 2: Evaluating Compound Well-Formed Formulas by Dr. Osama M. Khaled — published Sep 06, 2026 — last modified Sep 06, 2026 07:06 AM — filed under: Year 11, Year 12 Practices evaluating compound well-formed formulas (WFFs) built from AND, OR, and negation, given specific truth-value assignments for each variable. Located in Mathematics / … / Formal Logic / Statements, Symbolic Representation, and Tautologies Exercise 5: Logical Equivalence, Tautologies, and Applications by Dr. Osama M. Khaled — published Sep 06, 2026 — last modified Sep 06, 2026 07:06 AM — filed under: Year 11, Year 12 Covers testing logical equivalence, identifying the contrapositive of a conditional, verifying tautologies, and applying propositional logic to search-engine ... Located in Mathematics / … / Formal Logic / Statements, Symbolic Representation, and Tautologies Exercise 6: Functional Completeness, Multi-Valued Logic, and Logic Puzzles by Dr. Osama M. Khaled — published Sep 06, 2026 — last modified Sep 06, 2026 07:06 AM — filed under: Year 11, Year 12 Covers which sets of logical connectives are functionally complete, extending truth tables to three-valued logic, and solving classic self-referential logic ... Located in Mathematics / … / Formal Logic / Statements, Symbolic Representation, and Tautologies Logical Connectives in the Real World by Dr. Osama M. Khaled — published Sep 03, 2026 — last modified Sep 06, 2026 07:06 AM — filed under: Year 11, Year 12 This quiz tests your understanding of practical applications of formal logic. It covers how search engines utilize logical connectives (AND, OR, NOT) to refine ... Located in Mathematics / … / Formal Logic / Statements, Symbolic Representation, and Tautologies Algorithms in Formal Logic by Dr. Osama M. Khaled — published Sep 04, 2026 — last modified Sep 06, 2026 07:06 AM — filed under: Year 11, Year 12 The foundational concepts of algorithms in logic, including truth table scaling, pseudocode structure, shortcut tautology testing for conditional expressions, ... Located in Mathematics / … / Formal Logic / Statements, Symbolic Representation, and Tautologies Exercise 3: Translating Conditionals and Basic Connectives by Dr. Osama M. Khaled — published Sep 06, 2026 — last modified Sep 06, 2026 07:06 AM — filed under: Year 11, Year 12 Covers translating everyday phrases such as "sufficient condition," "necessary condition," and "only if" into symbolic conditional statements, along with ... Located in Mathematics / … / Formal Logic / Statements, Symbolic Representation, and Tautologies Definitions by Dr. Osama M. Khaled — published Jun 09, 2022 — last modified Sep 06, 2026 07:06 AM — filed under: Year 11, Year 12 Essential definitions to understand formal logic Located in Mathematics / … / Formal Logic / Statements, Symbolic Representation, and Tautologies Connectives and Truth Values by Dr. Osama M. Khaled — published Jun 09, 2022 — last modified Sep 06, 2026 07:06 AM — filed under: Year 11, Year 12 In English, simple statements are combined with connecting words like and to make more interesting compound statements. Located in Mathematics / … / Formal Logic / Statements, Symbolic Representation, and Tautologies < Previous 10 items 1 2 3 4 5 6 7 8 Next 10 items > Subscribe to an always-updated RSS feed.
