Logic with Bo
1.09K subscribers
Tags
quantifier
scope
ambiguity
logic
reason
argument
Tarski
language proof and logic
proof
philosophy
valid
true
language
onlinelearning
UofT
translation
reasoning
sentence
proposition
truth
University of Toronto
teaching
first order logic
university
online education
university of toronto
functions
math
intro
introduction
function
maths
arithmetic
set theory
first order language
online learning
teaching online
first order
deduction
identity
computer science
Fitch
predicate
2 Comments