1st lesson free
Attila's profile and their contact details have been verified by our experts
Attila
- Rate ₱1,146
- Response 8h
-
Students1
Number of students Attila has taught since their arrival at Superprof
Number of students Attila has taught since their arrival at Superprof
₱1,146/h
Contact
1st lesson free
- Maths
- Algebra
- Logic
- STEM
Classical propositional & predicate logic questions eg. formalisation, proofs, proof trees (tableaux), solving problems and grasping concepts
- Maths
- Algebra
- Logic
- STEM
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.
See more
About the lesson
- Elementary School
- Junior High School
- Senior High School
- +7
levels :
Elementary School
Junior High School
Senior High School
Technical Vocational Education And Training
Adult Education
Bachelor
Master
Doctoral
MBA
Early Childhood Education
- 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.
See more
Rates
Rate
- ₱1,146
Pack rates
- 5h: ₱5,728
- 10h: ₱11,457
online
- ₱1,146/h
free lessons
This first lesson offered with Attila will allow you to get to know each other and clearly specify your needs for your next lessons.
- 30mins
Details
30min £7
45min £10.50
60min £14
Other tutors in Maths
Tristan
Magallanes & online
- ₱200/h
- 1st lesson free
Earl Jhon
Quezon City & online
- ₱300/h
- 1st lesson free
Sophia
Lungsod ng Dabaw & online
- ₱500/h
- 1st lesson free
Jenny Mae
Tagbilaran & online
- ₱300/h
- 1st lesson free
Kacey(Kia)
Tarlac City & online
- ₱250/h
- 1st lesson free
Edward
Quezon City & online
- ₱964/h
- 1st lesson free
Kenny Jay
Castillejos & online
- ₱300/h
- 1st lesson free
MARVIN SAGRADO
Bacolod & online
- ₱499/h
- 1st lesson free
Danniel Raphael
San Pedro & online
- ₱750/h
- 1st lesson free
Christian Mhel
Pasig & online
- ₱850/h
- 1st lesson free
Lynneth Love
Taguig & online
- ₱500/h
- 1st lesson free
Kynt Nathaniel
Cabatuan & online
- ₱500/h
- 1st lesson free
Mary Grace
Manila & online
- ₱400/h
- 1st lesson free
Arvin Bryle
Pasig & online
- ₱300/h
- 1st lesson free
Romel
San Juan City & online
- ₱350/h
- 1st lesson free
Kim
Manila
- ₱200/h
- 1st lesson free
Lovely
Manila & online
- ₱350/h
- 1st lesson free
Whey
Mandaluyong City & online
- ₱350/h
- 1st lesson free
Lance Phillip
Mangatarem & online
- ₱200/h
- 1st lesson free
Joemart
General Mariano Alvarez & online
- ₱749/h
- 1st lesson free
-
See Maths tutors
