Logika

From Benpedia

Y logika jest učelsen je y spraví fonuvning. Uggiuče sim formel mint onformel logika. Formele logike jest vede je deduktivum guldyg inferencas vaj logisk prades.

Symbolisk logika[redir]

Ipyn symbols til opisar logisce fonuvninge u enn afareslig tropon. Ap.:

  • jest čitio ahoján “si”, da betude da oba odsagelses ansogyn.
  • jest čitio ahoján “vaj”, da betude da u manje jedyn odsagelse ansoge.
  • jest čitio ahoján “ansoge”, “synd” vaj “Li … onda …”. Hevisene y eredning je enn logisk odsagelse.
  • jest čitio ahoján “ne” vaj “ne jest sagen da…”
  • jest čitio ahoján “vetasti”, somej jest bruo til jæller zaglucene je enn logisk odsagelse.
  • slúbe til gruppur logisk odsagelses.