b'\n_START_ARTICLE_\nT\xc3\xb5ev\xc3\xa4\xc3\xa4rtus\n_START_PARAGRAPH_\nT\xc3\xb5ev\xc3\xa4\xc3\xa4rtus on loogikas v\xc3\xa4\xc3\xa4rtus, mis iseloomustab propositsiooni suhet t\xc3\xb5esse._NEWLINE_Klassikaline loogika eeldab kahte t\xc3\xb5ev\xc3\xa4\xc3\xa4rtust (t\xc3\xb5ene ja v\xc3\xa4\xc3\xa4r); see on seotud v\xc3\xa4listatud kolmanda reegli tunnustamisega._NEWLINE_Intuitsionistlik loogika ja multivalentne loogika (sealhulgas h\xc3\xa4gusloogika) kasutavad rohkemaid erinevaid t\xc3\xb5ev\xc3\xa4\xc3\xa4rtusi.'