უარყოფა (მათემატიკაში)

NPLG Wiki Dictionaries გვერდიდან
გადასვლა: ნავიგაცია, ძიება

უარყოფა - A გამონათქვამის უარყოფა – ახალი გამონათქვამი, რომელიც ჭეშმარიტია მაშინ და მხოლოდ მაშინ, როცა A მცდარია და მცდარია მაშინ და მხოლოდ მაშინ, როცა A ჭეშმარიტია. გამონათქვამის უარყოფა აღინიშნება ˥A (ან Ā) ნიშნით (იკითხება „არა A“). განსაზღვრების თანახმად, ˥A გამონათქვამი ჭეშმარიტია მაშინ, როცა A მცდარია.


წყარო

მათემატიკის ენციკლოპედიური ლექსიკონი

მოძიებულია „https://www.nplg.gov.ge/wikidict/index.php?title=%E1%83%A3%E1%83%90%E1%83%A0%E1%83%A7%E1%83%9D%E1%83%A4%E1%83%90_(%E1%83%9B%E1%83%90%E1%83%97%E1%83%94%E1%83%9B%E1%83%90%E1%83%A2%E1%83%98%E1%83%99%E1%83%90%E1%83%A8%E1%83%98)&oldid=219552“-დან
პირადი ხელსაწყოები
სახელთა სივრცე

ვარიანტები
მოქმედებები
ნავიგაცია
ხელსაწყოები