�Utsagnslogikk
�Resonnmenter
som kan gjennomf�res bare ved � vite betydningen av (utsagnslogiske)
konnektiver
�Konnektiver:
�Sm�ord
som knytter sammen hele setninger/utsagn til nye hele
setninger/utsagn. (dette er ikke hele sannheten�)
Eksempel:
Himmelen er gr� hvis det regner
Det regner
----------------------------------------
Himmelen er gr�
Eksempler:���� hvis
����������������������
Hvis �. s�
���������������������
og
���������������������
eller
���������������������
ikke