Práca sa zaoberá rozšírením aplikácie Prieskumník sémantiky logiky prvého rádu o nové súčasti, ktoré predstavujú úplne iný pohľad na precvičovanie štruktúr logiky prvého rádu ako doteraz ponúkala pôvodná aplikácia. Aplikácia je rozšírená hlavne o grafový pohľad, v ktorom sú prvky domény, symboly konštánt, ternárne a kvaternárne vzťahy vyjadrené pomocou vrcholov grafu a binárne vzťahy sú vyjadrené pomocou hrán. Následne je možné si definovať výrazy (formuly a termy), ktoré aplikácia vyhodnocuje podľa vytvorenej štruktúry. Pôvodný pohľad na štruktúry je v aplikácii zachovaný a je možné ľahko prepínať medzi starým a novým pohľadom. Na to bolo nutné zabezpečiť konzistenciu údajov medzi pohľadmi. Aplikácia je primárne naprogramovaná pomocou knižníc React, Redux a React Diagrams. Bola testovaná študentami predmetu Matematika 4 – Logika pre informatikov. Kľúčové slová: logika prvého rádu, splnenie v konečnej štruktúre, webová aplikácia na strane klienta

The work deals with the extension of the Explorer of Semantics of First-Order Logic with new components, which represent a completely different view of practicing the structures of first-order logic than the original application offered so far. The application is extended mainly by a graph view, in which the elements of the domain, symbols of constants, ternary and quaternary relations are expressed by means of graph vertices and binary relations are expressed by means of edges. Subsequently, it is possible to define expressions (formulas and terms), which the application evaluates according to the created structure. The original view of the structures is preserved in the application and it is possible to easily switch between the old and the new view. To do this, it was necessary to ensure consistency of data between views. The application is primarily programmed using the React, Redux and React Diagrams libraries. It was tested by students of the subject Mathematics (4) - Logic for computer science. Keywords: first-order logic, satisfaction in finite structure, client-side web application