Exemplele de mai sus ne permit să formulăm câteva reguli pentru înregistrarea judecăților complexe. Atunci când scrieți propoziții complexe, trebuie să fiți atenți la faptul că nu există două linii logice adiacente în formule - ele trebuie separate prin formule sau simboluri auxiliare și nu au existat două formule în apropiere - acestea ar trebui deconectate printr-o legătură logică.
Când scrieți formule complexe, amintiți-vă
1) fiecare apariție a unei conexiuni logice "ù"Se referă la o variabilă propozițională sau o formulă imediat după conexiunea logică din dreapta;
2) fiecare apariție a conexiunii logice "" după ce parantezele sunt aliniate leagă variabilele propoziționale sau formulele care înconjoară direct legătura logică;
3) fiecare apariție a unei conexiuni logice "Ú "După ce sunt aranjate parantezele, ele conectează variabilele propoziționale sau formulele care înconjoară direct acest pachet și așa mai departe.
Atunci când utilizați aceste reguli la aceeași formulă, parantezele trebuie plasate treptat, trecând de la stânga la dreapta.
Legăturile logice din punct de vedere al puterii și al semnificației pot fi aranjate după cum urmează: ù; ; Ú; ®; “. Adică, cea mai puternică legătură este negarea, apoi conjuncțiile, disjuncția, implicarea și, în final, o echivalență. Cunoscând regulile cu privire la puterea conectorilor logici, puteți omite acele perechi de paranteze, fără care ordinea execuției operațiilor logice este clară.
Un exemplu. formula F = (((F1Ú(ùF2)) F3) «F4).
Trebuie să scoateți parantezele.
1) eliminați parantezele exterioare pentru formula, deoarece nu definesc prioritatea oricăror operații:
2) eliminați parantezele din jurul formulei de implicare, deoarece operația echivalentă va fi executată numai după ce se efectuează operația de implicare:
3) scoateți parantezele din jurul formulei de disjuncție, deoarece operația de implicare va fi executată numai după executarea operației de disjuncție:
4) scoateți brațele din jurul formulei de negare, deoarece operația de disjuncție va fi executată numai după executarea operației de negare:
Deci, succesiunea operațiilor după specificarea valorilor variabilelor pro-naționale este după cum urmează: mai întâi trebuie să determinați valoarea formulei (ùF2), apoi (F1Ú(ùF2)) apoi ((F1Ú(ùF2)) ®F3) și, în sfârșit, (((F1Ú(ùF2)) F3) «F4)
Exemplu: Având formula F = F1F2F3ÚùF1®F3 "F1. Toate parantezele trebuie plasate.
1) puneți paranteze pe formula care realizează operația de negare:
2) puneți paranteze pe formula care realizează operația de conjuncție:
3) puneți paranteze pe formula care implementează operația de disjuncție:
4) pune paranteze pe formula care realizează operația implicării:
5) puneți paranteze pe formula care implementează operația echivalentă:
Trimiteți-le prietenilor: