Kas yra Teisybė?

Matematikų teoremos išrodo šitaip:

Jei A, tai B.

A ir B - teiginiai.

Matematikai vengia žodžių:

A -> B.

Implikacija.

Teorema vadinama įrodyta, jei implikacija teisinga.

Matematinėje logikoje teisybė žymima vienetu, 1, o netiesa, melas - nuliu, 0.

Toje logikoje implikacija vadinama klaidinga vieninteliu atveju iš keturių galimų:

1 -> 0.

SuperTeorema. 0 -> A.

Teorema teisinga, koks bebūtų teiginys A.

Žodžiais formuluojama šitaip: jei netiesa, tai - bet kas.

Negi viskas atsirado iš neteisybės?

Teisybės Teorema. 1 -> A.

Ji teisinga tik kai A - teisingas.

Tai kodėl jaunimas sako, kad teisybės nėra?

Ar sykiais ne todėl?

AB "Kalnapilio-Tauro grupės" teisėta teisybė?


Darbas - tai užsiėmimas žmonių,
kurie daugiau nebeturi ką veikti?