

Attila's profile and their contact details have been verified by our experts
Attila
- Price $26
- Answer 8h
-
Students1
Number of students Attila has accompanied since arriving at Superprof
Number of students Attila has accompanied since arriving at Superprof

$26/h
1st lesson free
- Maths
- Algebra
- Logic
Classical propositional & predicate logic questions eg. formalisation, proofs, proof trees (tableaux), solving problems and grasping concepts
- Maths
- Algebra
- Logic
Lesson location
About Attila
BSc mathematics student with growth mindset & multi-perspective approach.
I tutor classical propositional & predicate logic—my current strength and joy.
I explore abstract mathematics & logic: non-classical logics, category theory, topology, types, topos theory, tilings, pedagogy, creative perspectives, mathematics as pattern & analogy, Lean4, etc.
About the lesson
- All Levels
- English
All languages in which the lesson is available :
English
I help with your questions—concepts, problems, exams,
E.g. propositions, predicates, arguments, and logical consequence to truth tables, connectives (¬, ∧, ∨, →, ), and formal proofs.
Formalisition, translate English into PL (Propositional Logic), analyze validity,
Syntax, WFFs (well-formed formulas) built from atoms (P, Q) + connectives (¬, ∧, ∨, →, )
Semantics, truth tables; testing validity, tautologies, equivalence (e.g., P→Q ≡ ¬P∨Q).
Proofs, tableaux, tree rules for ¬, ∧, ∨, →; test valid/invalid, tautology, contradiction, satisfiable/non/satisfiable
Glossaries, recursive WFF definitions, models, basic categories and set view
Translation: English to PL
PL, MPL, GPL, identity
Connectives as functions, as morphisms, proof as path
Intuitition, analogies, everyday examples, connections, relevance, relationships, motivation,
Patterns, links across mathematics, other fields & life ,
Why & how of concepts, multiple perspectives
Bring a question—I research it & explore solutions with you
I also draw on textbooks, e.g., Nicholas J. J. Smith – Logic: The Laws of Truth, to give structured, clear explanations.
Rates
Price
- $26
Pack prices
- 5h: $131
- 10h: $262
online
- $26/h
free lessons
The first lesson with Attila will allow you to get to know each other and discuss your needs for future lessons.
- 30mins
Details
30min £7
45min £10.50
60min £14
Similar Maths tutors in London
Tania
London & online
- $30/h
- 1st lesson free
Lyle
South Penrith & online
- $36/h
- 1st lesson free
Dr Chintan
Annerley & online
- $70/h
Nainesh
Annerley & online
- $40/h
- 1st lesson free
Jhon
Newtown & online
- $70/h
- 1st lesson free
Qasim
Fortitude Valley & online
- $15/h
Mridul
Hillsborough & online
- $50/h
- 1st lesson free
Melvin
Melbourne & online
- $45/h
- 1st lesson free
Mohsen
Herne Hill & online
- $55/h
- 1st lesson free
Jon
Perth & online
- $80/h
Carolina Odile
Sydney & online
- $100/h
Jed
Melbourne & online
- $65/h
Saeid
Doncaster & online
- $130/h
Sahabe
Shelley & online
- $80/h
Neha
Sydney & online
- $75/h
James
North Melbourne & online
- $90/h
Caroline
Brisbane & online
- $60/h
Levi
Toowoomba & online
- $79/h
- 1st lesson free
Anusha
Sydney & online
- $30/h
- 1st lesson free
MAYANK MNSB
Melbourne & online
- $50/h
- 1st lesson free
-
More Maths teachers
