{"id":3111,"date":"2019-06-12T15:12:57","date_gmt":"2019-06-12T15:12:57","guid":{"rendered":"http:\/\/softlect.in\/?p=3111"},"modified":"2019-06-20T12:38:41","modified_gmt":"2019-06-20T12:38:41","slug":"logical-symbols","status":"publish","type":"post","link":"http:\/\/softlect.com\/index.php\/logical-symbols\/","title":{"rendered":"Logical Symbols"},"content":{"rendered":"<h1>Logic symbols<\/h1>\n<div class=\"myTable\">\n<div class=\"myTR\">\n<div class=\"myTCI\"><strong>Symbol<\/strong><\/div>\n<div class=\"myTCB\"><strong>Meaning \/ definition<\/strong><\/div>\n<div class=\"myTCB\"><strong>Example<\/strong><\/div>\n<div class=\"myTCB\"><strong>&nbsp;&nbsp;<\/strong><\/div>\n<\/div>\n<div class=\"myTR\">\n<div class=\"myTCI\"><strong>\u00b7<\/strong><\/div>\n<div class=\"myTCB\">and<\/div>\n<div class=\"myTCB\">and<\/div>\n<div class=\"myTCB\"><em>x<\/em><em>y<\/em><\/div>\n<\/div>\n<div class=\"myTR\">\n<div class=\"myTCI\">^<\/div>\n<div class=\"myTCB\">caret \/ circumflex<\/div>\n<div class=\"myTCB\">and<\/div>\n<div class=\"myTCB\"><em>x<\/em> ^ <em>y<\/em><\/div>\n<\/div>\n<div class=\"myTR\">\n<div class=\"myTCI\">&amp;<\/div>\n<div class=\"myTCB\">ampersand<\/div>\n<div class=\"myTCB\">and<\/div>\n<div class=\"myTCB\"><em>x<\/em> &amp; <em>y<\/em><\/div>\n<\/div>\n<div class=\"myTR\">\n<div class=\"myTCI\">+<\/div>\n<div class=\"myTCB\">plus<\/div>\n<div class=\"myTCB\">or<\/div>\n<div class=\"myTCB\"><em>x<\/em> + <em>y<\/em><\/div>\n<\/div>\n<div class=\"myTR\">\n<div class=\"myTCI\">\u2228<\/div>\n<div class=\"myTCB\">reversed caret<\/div>\n<div class=\"myTCB\">or<\/div>\n<div class=\"myTCB\"><em>x<\/em> \u2228 <em>y<\/em><\/div>\n<\/div>\n<div class=\"myTR\">\n<div class=\"myTCI\">|<\/div>\n<div class=\"myTCB\">vertical line<\/div>\n<div class=\"myTCB\">or<\/div>\n<div class=\"myTCB\"><em>x<\/em> | <em>y<\/em><\/div>\n<\/div>\n<div class=\"myTR\">\n<div class=\"myTCI\"><em>x<\/em>&#8216;<\/div>\n<div class=\"myTCB\">single quote<\/div>\n<div class=\"myTCB\">not &#8211; negation<\/div>\n<div class=\"myTCB\"><em>x<\/em>&#8216;<\/div>\n<\/div>\n<div class=\"myTR\">\n<div class=\"myTCI\">x<\/div>\n<div class=\"myTCB\">&nbsp;&nbsp;<\/div>\n<div class=\"myTCB\">&nbsp;&nbsp;<\/div>\n<div class=\"myTCB\">&nbsp;&nbsp;<\/div>\n<\/div>\n<div class=\"myTR\">\n<div class=\"myTCI\">\u00ac<\/div>\n<div class=\"myTCB\">not<\/div>\n<div class=\"myTCB\">not &#8211; negation<\/div>\n<div class=\"myTCB\">\u00ac <em>x<\/em><\/div>\n<\/div>\n<div class=\"myTR\">\n<div class=\"myTCI\">!<\/div>\n<div class=\"myTCB\">exclamation mark<\/div>\n<div class=\"myTCB\">not &#8211; negation<\/div>\n<div class=\"myTCB\">! <em>x<\/em><\/div>\n<\/div>\n<div class=\"myTR\">\n<div class=\"myTCI\">\u2295<\/div>\n<div class=\"myTCB\">circled plus \/ oplus<\/div>\n<div class=\"myTCB\">exclusive or &#8211; xor<\/div>\n<div class=\"myTCB\"><em>x<\/em> \u2295 <em>y<\/em><\/div>\n<\/div>\n<div class=\"myTR\">\n<div class=\"myTCI\">~<\/div>\n<div class=\"myTCB\">tilde<\/div>\n<div class=\"myTCB\">negation<\/div>\n<div class=\"myTCB\">~ <em>x<\/em><\/div>\n<\/div>\n<div class=\"myTR\">\n<div class=\"myTCI\">\u21d2<\/div>\n<div class=\"myTCB\">implies<\/div>\n<div class=\"myTCB\">&nbsp;&nbsp;<\/div>\n<div class=\"myTCB\">&nbsp;&nbsp;<\/div>\n<\/div>\n<div class=\"myTR\">\n<div class=\"myTCI\">\u21d4<\/div>\n<div class=\"myTCB\">equivalent<\/div>\n<div class=\"myTCB\">if and only if<\/div>\n<div class=\"myTCB\">&nbsp;&nbsp;<\/div>\n<\/div>\n<div class=\"myTR\">\n<div class=\"myTCI\">\u2200<\/div>\n<div class=\"myTCB\">for all<\/div>\n<div class=\"myTCB\">&nbsp;&nbsp;<\/div>\n<div class=\"myTCB\">&nbsp;&nbsp;<\/div>\n<\/div>\n<div class=\"myTR\">\n<div class=\"myTCI\">\u2203<\/div>\n<div class=\"myTCB\">there exists<\/div>\n<div class=\"myTCB\">&nbsp;&nbsp;<\/div>\n<div class=\"myTCB\">&nbsp;&nbsp;<\/div>\n<\/div>\n<div class=\"myTR\">\n<div class=\"myTCI\">\u2204<\/div>\n<div class=\"myTCB\">there does not exists<\/div>\n<div class=\"myTCB\">&nbsp;&nbsp;<\/div>\n<div class=\"myTCB\">&nbsp;&nbsp;<\/div>\n<\/div>\n<div class=\"myTR\">\n<div class=\"myTCI\">\u2234<\/div>\n<div class=\"myTCB\">therefore<\/div>\n<div class=\"myTCB\">&nbsp;&nbsp;<\/div>\n<div class=\"myTCB\">&nbsp;&nbsp;<\/div>\n<\/div>\n<div class=\"myTR\">\n<div class=\"myTCI\">\u2235<\/div>\n<div class=\"myTCB\">because \/ since<\/div>\n<div class=\"myTCB\">&nbsp;&nbsp;<\/div>\n<div class=\"myTCB\">&nbsp;&nbsp;<\/div>\n<\/div>\n<\/div>\n<p>&nbsp;<\/p>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Logic symbols Symbol Meaning \/ definition Example &nbsp;&nbsp; \u00b7 and and xy ^ caret \/ circumflex and x ^ y &amp; ampersand and x &amp; y + plus or x&hellip; <\/p>\n","protected":false},"author":1,"featured_media":3131,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":[],"categories":[34],"tags":[],"aioseo_notices":[],"amp_enabled":true,"_links":{"self":[{"href":"http:\/\/softlect.com\/index.php\/wp-json\/wp\/v2\/posts\/3111"}],"collection":[{"href":"http:\/\/softlect.com\/index.php\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"http:\/\/softlect.com\/index.php\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"http:\/\/softlect.com\/index.php\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"http:\/\/softlect.com\/index.php\/wp-json\/wp\/v2\/comments?post=3111"}],"version-history":[{"count":5,"href":"http:\/\/softlect.com\/index.php\/wp-json\/wp\/v2\/posts\/3111\/revisions"}],"predecessor-version":[{"id":3495,"href":"http:\/\/softlect.com\/index.php\/wp-json\/wp\/v2\/posts\/3111\/revisions\/3495"}],"wp:featuredmedia":[{"embeddable":true,"href":"http:\/\/softlect.com\/index.php\/wp-json\/wp\/v2\/media\/3131"}],"wp:attachment":[{"href":"http:\/\/softlect.com\/index.php\/wp-json\/wp\/v2\/media?parent=3111"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"http:\/\/softlect.com\/index.php\/wp-json\/wp\/v2\/categories?post=3111"},{"taxonomy":"post_tag","embeddable":true,"href":"http:\/\/softlect.com\/index.php\/wp-json\/wp\/v2\/tags?post=3111"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}