Dovezi și cele opt forme valide de inferență în logică

|

Deși tabelele de adevăr sunt singura noastră metodă formală de a decide dacă un argument este valid sau invalid în logica propozițională, există o altă metodă formală de a demonstra că un argument este valid: metoda dovezii. Deși nu puteți … Citeşte mai mult

Mărţişorul

|

Pe 1 martie avem una din cele mai frumoase, delicate şi vechi sărbători specifice, Mărţişorul. Semnificaţiile cumulate sunt multiple, dar toate au trei trăsături specifice: renaşterea, sensibilitatea, şi atenţia specială acordată femeilor. Mărţişorul oferit cu această ocazie femeilor se consideră … Citeşte mai mult