Search for tag: "negations"

Thumbnail for entry CL - 11b - CNF by Boolean algebra

CL - 11b - CNF by Boolean algebra

duration 9 minutes 29 seconds

CL - 11b - CNF by Boolean algebra

CL - 11b - CNF by Boolean algebra

CL - 11b - CNF by Boolean algebra

Description Pending

inf1a
introduction to computation
informatics 1
computation and logic
times
cnf
thing
things
lists
stage
function
thinking
side
g.
law
arguments
bottom
literals
negations
language
haskell
languages
property
library
From  Haoran Peng 0 likes 268 plays 0  
Course Code
INFR08025
Licence Type
All rights reserved The University of Edinburgh
Language
English
Thumbnail for entry CL - Lecture 3j - Aristotle's Syllogisms

CL - Lecture 3j - Aristotle's Syllogisms

duration 3 minutes 22 seconds

CL - Lecture 3j - Aristotle's Syllogisms

CL - Lecture 3j - Aristotle's Syllogisms

CL - Lecture 3j - Aristotle's Syllogisms

We describe the traditional presentation of the syllogisms, and introduce Aristotle's existential assumption, on the basis of which he derives nine more syllogisms. These are not sound in our…

inf1a
introduction to computation
informatics 1
computation and logic
syllogism
existential assumption
rules
logic
aristotle
assumption
rule
things
srp
conclusion
p.
bottom
summary
negations
predicates
syllogisms
geeks
fats
pen
srs
proof
fs
From  Haoran Peng 0 likes 460 plays 0  
Course Code
INFR08025
Licence Type
All rights reserved The University of Edinburgh
Language
English