2-4 CHAPTER 2. x�@Xe�@]a��9d�0AD�:�Oc�ؒ�Vf��@/�C��o�U+k� 0.3. “Logic” is “the study of the principles of reasoning, especially of the structure of propositions as distinguished Sun rises from West. X > 3. ! First, we’ll look at it in the propositional case, then in the first-order case. Table 1.1.1: Examples of propositions: Statements that are either true or false. logic can be used to specify precisely the conditions under which a particular diagnosis would apply. It must be either TRUE or FALSE. 7 13 Rules of Inference A rule of inference is a rule of reasoning consisting of one set of sentence patterns, called premises, and a second set of sentence patterns, called conclusions. �II� 2�
@K3`H=�Ч�U��_�bf��DR��n��3�84Lo�ӕ�D�m�)�ֱ�]f�JH��v��=Ł�Y�oQ��b�\����|�v�/"���ۄ��17��d�̫&�F�b2]Qě}/�Y2�����u�A�g�غ�_*�. x��Zݏ۸߿B����X'R$%����} �i��C�Z�^�%�$g����AR��$
��-P k�C�p8��8J��L�����?5�q�-r� Toronto is the capital of Canada. << Propositional Logic Exercise 2.6. /Length 3645 All men are mortal. c prns nd l ives An ic prn is a t or n t t be e or f. s of ic s e: “5 is a ” d am . 2 + 3 . !���_' '�aI� ҁ�t �X� �Ҍ�� ���/kF����pq*�nRۏC� �2�n �]� �`_�fR�*���u1��>�[8w�s�熗~�o�*|��*%�[�7;4hO�* P�=K���Ѐ{�a-�9n0 �����d� Propositional Logic. 48 0 obj A proposition is the basic building block of logic. 2 Propositional Logic The simplest, and most abstract logic we can study is called propositional logic. It cannot be both TRUE and FALSE. It will actually take two lectures to get all the way through this. Propositional Logic Denition Apropositionis a declarative statement. /Filter /FlateDecode It is defined as a declarative sentence that is either True or False, but not both. The following are propositions: – the reactor is on; – the wing-flaps are up; – John Major is prime minister. �$B���t�k��h�[x����4�B��TR ����E�Q:� �k� ,���[*���h�@��r�w� \*e�TJw��&��2�e�ݤ�S�+�Av�!��'LdGP
/�ez�`ҳq�$ΘK��9���r茒�٧��k��G�Y�&�ʢR.�FY���:��[�T���x��/������5Dra���I�H��Bc�y`4�jwK��rd$X>��cݸ�=�)��fn�����*�]
��d{|��=�3�nH\#Dd���偻���2���T��Q������v�|=l�.����G�S#�U�mN�tUÄ�k=� 2+3=5. A proposition is a statement that is either true or false. << Let p be a proposition. 2+3=8. @��ඃ�xl�,
?o��?�V;�I/�A�Ӎ��R���ؾ �Ϋ��ؑmGK�nr*؉E�]�t�8�>?�k�"�p�VNӞ�R#���kȡṏ�Ǹ�ZQ��\�����}"t��1��
~���>)}�h�!�G���r� �I����*9=�]w���؎`H���螧�x��k���e�m�O�ĐHP���<�8�~�N�E;�c-�����Z�{��j�g�� �j��]��f������f��+P@�Z�' S:%,^m+ڲ4K��`��3���M�B�^�oM��O]0f���i]�:�� . A proposition is a declarative sentence that is either true or false. EXAMPLES. 1 + 0 = 1 0 + 0 = 2 Examples that are not propositions. 65 0 obj Some trees have needles. Trenton is the capital of New Jersey. ��VpPk���g�xH���6�L�(l���@��� g���W @Y��_�(�����8˹(�]�@�r=�~� 4��K�L��$� �ÿI��� ɀ�*=f�[0$y)B^� �� We use T to denote TRUE and F to denote FALSE. 2+3=5. endstream Some statements cannot be expressed in propositional logic, such as: ! )��X�� �%��|�Gt��
n�;�A=�/�8\��DB����o�UU��pu�+��� >> Stated differently but equivalently, an inference is valid if it has no ‘counter-examples’: >> 1. Sit down! Propositional Logic Denition Apropositionis a declarative statement. What is a proposition? What time is it? NB�e'��4Y�\l�0R~$��[�#�tN�]�/�����n/��v�>�Ԗ��x�r��J��Rav2I�+��(yda׀g�K4�]C����{��D�A���;�gk��u4����:������]��c�2}�;]�͙u��cƨ��&_Kt�\�г�������
�����_���m!�o&C�m=e�r�_o߯�:zU,�8��F��F��w
H�����]�%���5>p��/�u�b�ڍ;6#� ��r��U�4c��dB�����v~���Z�����\q �K�k|_��k���*���9��`�f��C
ګEAW�RW������{�A�7��iOGi3��R�'0��_�5f��v7�us��S�u�W.����)�]��=�C ��s���bЁ}�w�zj7����4����5�����m$� ��ڊ Definition: A proposition is a statement that can be either true or false; it must be one or the other, and it cannot be both. J��|?��0}��N]Oŗ2ae�ǭ��Â��T��� �i��w$\4���$��ke��mN�h>��*fy���l���NJ�����(MP.��3����0�Y�/�J#e�ʫz��Hw��3ǰ�Q'�p����ƿ'�HY����Sr (��og� ��cc��Nys�������d�%���^�J�ѝ%[ge뻋*�u�W!y�Y��#�0�. x��[m��6����ȗ�Y�o������%��A(me[�,m$;�ܯ��[�w�= �dR$g�Ùg���,��W�?�����JB3��\ܮ�a¤�Dr&U��]-~����2����by}��8���)����u�R[V������9��Oewe�^�v��g/҅e�H���ō�,��V�����2��f�7����D��*�e�ϩ��A�۶�u�>��XD��qNc�����B7�~�5N��n���S��ο��j=)k��˛u��jC�YS췻|�b����D��`6��o����u�XT& ,*C,�s�m�%g��y�F�ߚ���ۜ��&/��F�� ��^���m�UK�����b�;J��.�����@��&jN7U*�����IZ,��
Rj$t�t���rhr�v҄��{�J���Q3�-�����}��k��}����y�&�� v�̊G24ǎ���b���g� ʾ�����>/��؏zyhh�N�q���ˬ��:(.�Tj*��|��s�=M�Ϊ�{jq*���ޏ%�f���*�ɱgHqg^�e;�]$L%�h�:G�+'M:�
rn&�