TY - JOUR T1 - Váha logického důsledku formule s neurčitými předpoklady pravdivosti A1 - Půlpán, Zdeněk JA - Obzory matematiky, fyziky a informatiky Y1 - 2017 VL - 46 IS - 2 SP - 25 EP - 34 SN - 1335-4981 N2 - The theory of the logic serves as the facilitating of the correct thinking. The aim of the paper is to demonstrate how our considerations we can formalized with the respect of our experiences. ER - |