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
