Kell-e egy informatika szakosnak tudnia/ismernie a formális logika megfogalmazásokat?

Értem.

És az informatikában milyen gyakorlati haszna van a formális logikai megfogalmazásoknak?

Mert nekem a filozófiához kell, hogy az egyes állítások és érvek logikáját jobban elemezni tudjam.

P1, Az emberek halandók.

P2, A görögök emberek.

K: Ezért a görögök halandók.

Ez ugye a filozófiában előszeretettel használt propozícionális logika.

Viszont ha így fogalmazzuk meg:

P1: H(x) : x halandó

P2: G(x) : x görög

K: ∀x(G(x) → H(x))

Segít jobban belelátni és elemezni az állítások és konklúzió logikai összefüggéseit és tartalmát. Így könnyebben ki lehet szűrni a logikailag hamis állításokat és következtetéseket.

Na de az informatikában mi haszna a formális logikai megfogalmazásnak?

Gondolom nem azzal töltik az informatikusok a munkaidőt, hogy vitáznak. Egymásnak állításokat érveket fogalmaznak meg, majd cáfolgatják a másik érveit.