Negarea unei declarații în logica propozițională
Dacă două declarații sunt întotdeauna în acord în ceea ce privește valoarea adevărului, ele sunt echivalente. Acum vom defini un termen pentru două declarații care întotdeauna nu sunt în acord în ceea ce privește valoarea adevărului. Aceasta va oficializa noțiunea … Citeşte mai mult